Closed loop analysis of control command software

DOI10.1145/2728606.2728623zbMath1364.93504OpenAlexW1976043036MaRDI QIDQ2988922

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

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

static analysisclosed-loop stabilityquadratic invariantsoftware analysisunbounded timeautomatic invariant synthesisfloating-point rounding errors

Mathematics Subject Classification ID

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

Related Items (1)

Automated formal synthesis of provably safe digital controllers for continuous plants

Cites Work

• Unnamed Item
• Unnamed Item
• On Fixed Points of Strictly Causal Functions
• Requirements for hybrid cosimulation standards
• THEORY OF QUANTIZED SYSTEMS: DEVS SIMULATION OF PERCEIVING AGENTS
• Hybrid Systems: Computation and Control

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