Closed loop analysis of control command software
DOI10.1145/2728606.2728623zbMATH Open1364.93504OpenAlexW1976043036MaRDI QIDQ2988922FDOQ2988922
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
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
quadratic invariantstatic analysisclosed-loop stabilitysoftware analysisunbounded timeautomatic invariant synthesisfloating-point rounding errors
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)
Cites Work
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)