Algorithmic analysis of polygonal hybrid systems. I: Reachability

DOI10.1016/J.TCS.2007.03.055MaRDI QIDQ2373713zbMATH OpenOpenAlexFDO

Authors Eugene Asarin, Gerardo Schneider, Sergio Yovine

Publication date 16 July 2007

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2007.03.055

zbMATH Keywords

decision algorithmdifferential inclusionshybrid systemsreachability analysisverification

Mathematics Subject Classification ID

Ordinary differential inclusions (34A60) Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• scientific article; zbMATH DE number 1905117
• Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools
• Relaxing Goodness Is Still Good
• A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems
• Computation and Visualisation of Phase Portraits for Model Checking SPDIs

Cites work

• A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems
• A theory of timed automata
• Conflict resolution for air traffic management: a study in multiagent hybrid systems
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 3146217 (Why is no real title available?)
• scientific article; zbMATH DE number 3774429 (Why is no real title available?)
• scientific article; zbMATH DE number 3484411 (Why is no real title available?)
• scientific article; zbMATH DE number 1263213 (Why is no real title available?)
• scientific article; zbMATH DE number 1303062 (Why is no real title available?)
• scientific article; zbMATH DE number 1927563 (Why is no real title available?)
• scientific article; zbMATH DE number 1794363 (Why is no real title available?)
• scientific article; zbMATH DE number 2147040 (Why is no real title available?)
• scientific article; zbMATH DE number 2085315 (Why is no real title available?)
• scientific article; zbMATH DE number 1905117 (Why is no real title available?)
• scientific article; zbMATH DE number 1444338 (Why is no real title available?)
• scientific article; zbMATH DE number 1444339 (Why is no real title available?)
• scientific article; zbMATH DE number 1444340 (Why is no real title available?)
• scientific article; zbMATH DE number 1444343 (Why is no real title available?)
• scientific article; zbMATH DE number 1444352 (Why is no real title available?)
• Hybrid acceleration using real vector automata (extended abstract)
• Hybrid systems
• Hybrid systems II. 2nd workshop, Mathematical Sciences Institute (MSI), Cornell University, Ithaka, NY, USA, October 28--30, 1994. Proceedings.
• Hybrid systems V. 5th international Hybrid systems workshop held in Notre Dame, IN, USA, September 11--13, 1997. Proceedings
• Hybrid systems: computation and control. 2nd international workshop, HSCC '99. Berg en Dal, the Netherlands, March 29--31, 1999. Proceedings
• Hybrid systems: computation and control. 3rd international workshop, HSCC 2000, Pittsburgh, PA, USA, March 23--25, 2000. Proceedings
• Hybrid systems: computation and control. 4th international workshop, HSCC 2001, Rome, Italy, March 28--30, 2001. Proceedings
• Hybrid systems: computation and control. 5th international workshop, HSCC 2002, Stanford, CA, USA, March 25--27, 2002. Proceedings
• HyTech: A model checker for hybrid systems
• On some relations between dynamical systems and transition systems
• Reachability analysis of dynamical systems having piecewise-constant derivatives
• Reachability Analysis Using Polygonal Projections
• Static Analysis for State-Space Reduction of Polygonal Hybrid Systems
• Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations
• Symbolic reachability computation for families of linear vector fields
• The algorithmic analysis of hybrid systems
• Verification, Model Checking, and Abstract Interpretation

Cited in

(21)

• Tracking smooth trajectories in linear hybrid systems
• A survey of challenges for runtime verification from advanced application domains (beyond software)
• A decidable class of planar linear hybrid systems
• Computational techniques for reachability analysis of Max-Plus-Linear systems
• Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools
• Deciding concurrent planar monotonic linear hybrid systems
• Results and perspectives on fault tolerant control for a class of hybrid systems
• On the decidability and complexity of problems for restricted hierarchical hybrid systems
• ParaPlan: a tool for parallel reachability analysis of planar polygonal differential inclusion systems
• Static Analysis for State-Space Reduction of Polygonal Hybrid Systems
• STORMED Hybrid Systems
• A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems
• Interrupt Timed Automata
• Interrupt timed automata: verification and expressiveness
• scientific article; zbMATH DE number 744075 (Why is no real title available?)
• scientific article; zbMATH DE number 1905117 (Why is no real title available?)
• Qualitative fault tolerance analysis for a class of hybrid systems
• Computation and Visualisation of Phase Portraits for Model Checking SPDIs
• Relaxing Goodness Is Still Good
• Mortality and Edge-to-Edge Reachability are Decidable on Surfaces
• Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes

Describes a project that uses

Uses Software

• Charon
• HyTech
• SPeeDI

This page was built for publication: Algorithmic analysis of polygonal hybrid systems. I: Reachability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2373713)