Tightened reachability constraints for the verification of linear hybrid systems
From MaRDI portal
Publication:1026401
DOI10.1016/J.NAHS.2008.09.013zbMATH Open1163.93006OpenAlexW2041656005MaRDI QIDQ1026401FDOQ1026401
Authors: Zhikun She, Zhiming 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
Recommendations
Attainable sets, reachability (93B03) Eigenvalue problems (93B60) Linear systems in control theory (93C05)
Cites Work
- Hybrid Systems: Computation and Control
- Constraints for Continuous Reachability in the Verification of Hybrid Systems
- 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
- Title not available (Why is that?)
- Constraint propagation with interval labels
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (10)
- Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints
- Constraints for Continuous Reachability in the Verification of Hybrid Systems
- Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis
- Span-reachability and observability of bilinear hybrid systems
- Hybrid Systems: Computation and Control
- Using redundant constraints for refinement
- Rigorous constraint satisfaction for sampled linear systems
- Discovering polynomial Lyapunov functions for continuous dynamical systems
- Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata
- A semi-algebraic approach for asymptotic stability analysis
Uses Software
This page was built for publication: Tightened reachability constraints for the verification of linear hybrid systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1026401)
