Towards an efficient path-oriented tool for bounded reachability analysis of linear hybrid systems using linear programming
DOI10.1016/J.ENTCS.2006.12.023zbMATH Open1277.68139OpenAlexW2025886420MaRDI QIDQ2864385FDOQ2864385
Authors: Xuandong Li, Sumit Jha Aanand, Lei Bu 
Publication date: 6 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2006.12.023
Recommendations
- SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata
- Path-oriented reachability verification of a class of nonlinear hybrid automata using convex programming
- Symbolic Reachability Analysis of Lazy Linear Hybrid Automata
- Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction
- scientific article; zbMATH DE number 2085314
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- HyTech: A model checker for hybrid systems
- Hybrid Systems: Computation and Control
- HySAT: An efficient proof engine for bounded model checking of hybrid systems
- What's decidable about hybrid automata?
- Title not available (Why is that?)
- The algorithmic analysis of hybrid systems
- Verifying industrial hybrid systems with \textsc{MathSAT}
- Algorithmic analysis of nonlinear hybrid systems
- Positive loop-closed automata: A decidable class of hybrid systems
Cited In (5)
- Rigorous simulation-based analysis of linear hybrid systems
- Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction
- SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata
- Path-oriented reachability verification of a class of nonlinear hybrid automata using convex programming
- Symbolic Reachability Analysis of Lazy Linear Hybrid Automata
Uses Software
This page was built for publication: Towards an efficient path-oriented tool for bounded reachability analysis of linear hybrid systems using linear programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2864385)
