129 citations · 752 across the 80 of their papers we have counts for
3 papers · 2 filters
Temporal logic control of general Markov decision processes by approximate policy refinement
Sofie Haesaert, Sadegh Soudjani, Alessandro Abate
The formal verification and controller synthesis for Markov decision processes that evolve over uncountable state spaces are computationally hard and thus generally rely on the use…
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants
Alessandro Abate, Iury Bessa, Dario Cattaruzza +5
We present a sound and automated approach to synthesize safe digital feedback controllers for physical plants represented as linear, time invariant models. Models are given as dyna…
Control refinement for discrete-time descriptor systems: a behavioural approach via simulation relations
Fei Chen, Sofie Haesaert, Alessandro Abate +1
The analysis of industrial processes, modelled as descriptor systems, is often computationally hard due to the presence of both algebraic couplings and difference equations of high…