Tightened reachability constraints for the verification of linear hybrid systems

DOI10.1016/j.nahs.2008.09.013zbMath1163.93006OpenAlexW2041656005MaRDI QIDQ1026401

Zhikun She, Zhi Ming Zheng

Publication date: 24 June 2009

Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.nahs.2008.09.013

zbMATH Keywords

hybrid systemssafety verificationreachability constraints

Mathematics Subject Classification ID

Linear systems in control theory (93C05) Eigenvalue problems (93B60) Attainable sets, reachability (93B03)

Related Items

Discovering polynomial Lyapunov functions for continuous dynamical systems ⋮ A semi-algebraic approach for asymptotic stability analysis

Uses Software

• RSOLVER
• Benchmarks
• HSolver

Cites Work

• Constraint propagation with interval labels
• Validated solutions of initial value problems for ordinary differential equations
• Applying interval arithmetic to real, integer, and boolean constraints
• Efficient solving of quantified inequality constraints over the real numbers
• Constraints for Continuous Reachability in the Verification of Hybrid Systems
• Hybrid Systems: Computation and Control
• Unnamed Item
• Unnamed Item
• Unnamed Item