Automated formal synthesis of provably safe digital controllers for continuous plants

DOI10.1007/s00236-019-00359-1zbMath1441.93171WikidataQ90444312 ScholiaQ90444312MaRDI QIDQ2303883

Alessandro Abate, Cristina David, Daniel Kroening, Elizabeth Polgreen, Iury Bessa, Lucas Cordeiro, Pascal Kesseli

Publication date: 6 March 2020

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-019-00359-1

zbMATH Keywords

digital controllers; continuous plants; formal synthesis

Mathematics Subject Classification ID

93D20: Asymptotic stability in control theory

93B50: Synthesis problems

93C62: Digital control/observation systems

93C15: Control/observation systems governed by ordinary differential equations

Uses Software

• Boost
• CBMC
• Boost Interval Arithmetic
• PESSOA
• DSSynth