Reachability Problems for Hybrid Automata
From MaRDI portal
Publication:3172861
DOI10.1007/978-3-642-24288-5_4zbMATH Open1348.68108OpenAlexW1764876581MaRDI QIDQ3172861FDOQ3172861
Authors: Jean-François Raskin 
Publication date: 7 October 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-24288-5_4
Recommendations
- On reachability for hybrid automata over bounded time
- Formal Modeling and Analysis of Timed Systems
- Some problems of analysis of hybrid automata
- Hybrid automata and bisimulations
- scientific article; zbMATH DE number 1444354
- scientific article; zbMATH DE number 2085340
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction
- scientific article; zbMATH DE number 1429791
- Time-bounded reachability for monotonic hybrid automata: complexity and fixed points
Cited In (19)
- Reachability problems on reliable and lossy queue automata
- Hybrid Systems: Computation and Control
- Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- What's decidable about recursive hybrid automata?
- Uniformity for the decidability of hybrid automata
- The Power of Hybrid Acceleration
- Decidable hybrid systems
- Composing Semi-algebraic O-Minimal Automata
- Low dimensional hybrid systems -- decidable, undecidable, don't know
- Formal Modeling and Analysis of Timed Systems
- A new technique for reachability of states in concatenation automata
- A Decidable Class of Planar Linear Hybrid Systems
- Hybrid automata, reachability, and systems biology
- Introduction to hybrid automata
- Formal language properties of hybrid systems with strong resets
- Path-oriented reachability verification of a class of nonlinear hybrid automata using convex programming
- Title not available (Why is that?)
- Reachset Conformance Testing of Hybrid Automata
This page was built for publication: Reachability Problems for Hybrid Automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172861)
