129 citations · 752 across the 80 of their papers we have counts for
4 papers · 2 filters
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants
Alessandro Abate, Iury Bessa, Dario Cattaruzza +4
Modern control is implemented with digital microcontrollers, embedded within a dynamical plant that represents physical components. We present a new algorithm based on counter-exam…
Verification of general Markov decision processes by approximate similarity relations and policy refinement
S. Haesaert, S. Esmaeil Zadeh Soudjani, A. Abate
In this work we introduce new approximate similarity relations that are shown to be key for policy (or control) synthesis over general Markov decision processes. The models of inte…
Safety Verification of Output Feedback Controllers for Nonlinear Systems
Kendra Lesser, Alessandro Abate
A high-gain observer is used for a class of feedback linearisable nonlinear systems to synthesize safety-preserving controllers over the observer output. A bound on the distance be…
Towards Scalable Synthesis of Stochastic Control Systems
Majid Zamani, Ilya Tkachev, Alessandro Abate
Formal control synthesis approaches over stochastic systems have received significant attention in the past few years, in view of their ability to provide provably correct controll…