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

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)

Cites Work

• Continuous system simulation
• Hybrid Systems: Computation and Control
• Title not available (Why is that?)
• THEORY OF QUANTIZED SYSTEMS: DEVS SIMULATION OF PERCEIVING AGENTS
• On fixed points of strictly causal functions
• Requirements for hybrid cosimulation standards

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)