Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics

1 December 2022

Papers citing "Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics"

2 / 2 papers shown

Title
Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions Thom S. Badings Nils Jansen Licio Romao Alessandro Abate 25 0 0 16 Nov 2023
Correct-by-construction reach-avoid control of partially observable linear stochastic systems Thom S. Badings Hasan A. Poonawala Marielle Stoelinga N. Jansen 19 1 0 03 Mar 2021