Automated Formal Synthesis of Digital Controllers for State−Space Physical Plants
Alessandro Abate‚ Iury Bessa‚ Dario Cattaruzza‚ Lucas C. Cordeiro‚ Cristina David‚ Pascal Kesseli‚ Daniel Kroening and Elizabeth Polgreen
Book Title
CAV (1)
Pages
462–482
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
10426
Year
2017