19 citations · 33 across the 10 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2017
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…
eess.SY2016★ 19 cited
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…