Formal Analysis of Robustness at Model and Code Level

DOI10.1145/2883817.2883824MaRDI QIDQ2988970zbMATH OpenOpenAlexFDO

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

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 programmingstatic analysisformal verificationrobustness marginscontrol softwaresingle-input single-output (SISO) linear systems

Mathematics Subject Classification ID

Semidefinite programming (90C22) Sensitivity (robustness) (93B35) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Feasibility analysis for robustness quantification by symbolic model checking
• Formal dependability modeling and analysis: a survey
• Robust verification analysis
• scientific article; zbMATH DE number 2033525
• Modeling and Verification of High-Assurance Properties of Safety-Critical Systems
• Formal analysis and verification of Statemate designs
• scientific article; zbMATH DE number 1905113

Cited in

(3)

• Closed loop analysis of control command software
• Feasibility analysis for robustness quantification by symbolic model checking
• Automated formal synthesis of provably safe digital controllers for continuous plants

Describes a project that uses

Uses Software

• LUSTRE
• Simulink

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2988970)