Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools
DOI10.1016/J.TCS.2007.09.025zbMATH Open1134.68026OpenAlexW2142520160MaRDI QIDQ2474069FDOQ2474069
Authors: Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine 
Publication date: 5 March 2008
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2007.09.025
Recommendations
- scientific article; zbMATH DE number 2085315
- Static Analysis for State-Space Reduction of Polygonal Hybrid Systems
- scientific article; zbMATH DE number 1905117
- Algorithmic analysis of polygonal hybrid systems. I: Reachability
- A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems
Formal languages and automata (68Q45) Controllability (93B05) Ordinary differential inclusions (34A60) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cites Work
- HyTech: A model checker for hybrid systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- A theory of timed automata
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Qualitative theory of hybrid dynamical systems.
- Algorithmic analysis of polygonal hybrid systems. I: Reachability
- Title not available (Why is that?)
- A Survey of Viability Theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- Symbolic reachability computation for families of linear vector fields
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Static Analysis for State-Space Reduction of Polygonal Hybrid Systems
- A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems
- Title not available (Why is that?)
Cited In (10)
- Tracking differentiable trajectories across polyhedra boundaries
- Algorithmic analysis of polygonal hybrid systems. I: Reachability
- Relaxing Goodness Is Still Good
- Title not available (Why is that?)
- Computation and Visualisation of Phase Portraits for Model Checking SPDIs
- Title not available (Why is that?)
- Static Analysis for State-Space Reduction of Polygonal Hybrid Systems
- A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems
- ParaPlan: a tool for parallel reachability analysis of planar polygonal differential inclusion systems
- Title not available (Why is that?)
Uses Software
This page was built for publication: Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2474069)
