Verification of hybrid systems via mathematical programming

DOI10.1007/3-540-48983-5_7MaRDI QIDQ4249562zbMATH OpenFDO

Authors Manfred Morari, A. Bemporad

Publication date 15 February 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48983-5_7

zbMATH Keywords

hybrid systemsmixed-integer linear programmingverification procedures

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25) Linear programming (90C05) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Review text

In practice, physical systems are controlled by embedded controllers. It is necessary to be sure that such ``hybrid systems behave as desired, i.e. algorithms for verification of hybrid systems are needed. The authors propose an approach for such verification procedures based on linear and mixed-integer linear programming. For the entire collection see [Zbl 0911.00057].

Recommendations

• Verification of Hybrid Systems
• Verifying industrial hybrid systems with \textsc{MathSAT}
• Computational techniques for hybrid system verification
• scientific article; zbMATH DE number 7361375
• Formal modelling, analysis and verification of hybrid systems
• scientific article; zbMATH DE number 2163583
• Symbolic verification of hybrid systems: an algebraic approach
• Hybrid Systems: From Verification to Falsification
• A compositional approach to the verification of hybrid systems

Cited in

(18)

• Optimal control of sampled-data piecewise affine systems
• A clustering technique for the identification of piecewise affine systems
• Guest editorial: Verification of hybrid systems
• Verifying industrial hybrid systems with \textsc{MathSAT}
• Verification of Hybrid Systems
• Proving the Correctness of the Implementation of a Control-Command Algorithm
• Hybrid Control and Verification of a Pulsed Welding Process
• The Image Computation Problem in Hybrid Systems Model Checking
• Applications of MetiTarski in the Verification of Control and Hybrid Systems
• Automatic verification of a turbogas control system with the Mur verifier
• Efficient verification of a class of linear hybrid automata using linear programming
• The d/dt tool for verification of hybrid systems
• scientific article; zbMATH DE number 7361375 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems
• Simultaneous state and input estimation of hybrid systems with unknown inputs
• HySAT: An efficient proof engine for bounded model checking of hybrid systems
• Reachability analysis of linear systems using support functions

This page was built for publication: Verification of hybrid systems via mathematical programming

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