Formal Analysis of Robustness at Model and Code Level

DOI10.1145/2883817.2883824zbMath1364.93249OpenAlexW2337445953MaRDI QIDQ2988970

Eric Feron, Romain Jobredeaux, Timothy Wang, Pierre-Loïc Garoche, Pierre Roux

Publication date: 19 May 2017

Published in: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2883817.2883824

zbMATH Keywords

semidefinite programmingformal verificationstatic analysisrobustness marginscontrol softwaresingle-input single-output (SISO) linear systems

Mathematics Subject Classification ID

Related Items (1)

Automated formal synthesis of provably safe digital controllers for continuous plants

Uses Software

• Simulink
• LUSTRE

This page was built for publication: Formal Analysis of Robustness at Model and Code Level