Publication:2474069: Difference between revisions
Created automatically from import240129110113 |
(No difference)
|
Latest revision as of 01:23, 3 February 2024
DOI10.1016/J.TCS.2007.09.025zbMATH Open1134.68026OpenAlexW2142520160MaRDI QIDQ2474069FDOQ2474069
Gerardo Schneider, Gordon J. Pace, Sergio Yovine, Eugene Asarin
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
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
- A theory of timed automata
- Qualitative theory of hybrid dynamical systems.
- Algorithmic analysis of polygonal hybrid systems. I: Reachability
- A Survey of Viability Theory
- Symbolic reachability computation for families of linear vector fields
- 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?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (2)
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)
