scientific article; zbMATH DE number 1303060

MaRDI QIDQ4249562zbMATH OpenFDO

Authors Manfred Morari, A. Bemporad

Publication date 15 February 2001

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)

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
• scientific article; zbMATH DE number 1956627 (Why is no real title available?)
• scientific article; zbMATH DE number 1852175 (Why is no real title available?)
• scientific article; zbMATH DE number 1905118 (Why is no real title available?)
• 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:

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