Closed loop analysis of control command software

DOI10.1145/2728606.2728623MaRDI QIDQ2988922zbMATH OpenOpenAlexFDO

Authors Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche

Publication date 19 May 2017

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

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

zbMATH Keywords

quadratic invariantstatic analysisclosed-loop stabilitysoftware analysisunbounded timeautomatic invariant synthesisfloating-point rounding errors

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Linear systems in control theory (93C05) Stabilization of systems by feedback (93D15) Control/observation systems involving computers (process control, etc.) (93C83)

Recommendations

• Symbolic-numeric reachability analysis of closed-loop control software
• Formal Analysis of Robustness at Model and Code Level
• A generic ellipsoid abstract domain for linear time invariant systems
• Automatic synthesis of piecewise linear quadratic invariants for programs
• Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs

Cites work

• scientific article; zbMATH DE number 1638973 (Why is no real title available?)
• Continuous system simulation
• Hybrid Systems: Computation and Control
• On fixed points of strictly causal functions
• Requirements for hybrid cosimulation standards
• THEORY OF QUANTIZED SYSTEMS: DEVS SIMULATION OF PERCEIVING AGENTS

Cited in

(4)

• Proving the Correctness of the Implementation of a Control-Command Algorithm
• A generic ellipsoid abstract domain for linear time invariant systems
• Automated formal synthesis of provably safe digital controllers for continuous plants
• Symbolic-numeric reachability analysis of closed-loop control software

This page was built for publication: Closed loop analysis of control command software

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