Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools

DOI10.1016/J.TCS.2007.09.025MaRDI QIDQ2474069zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

verificationdifferential inclusionshybrid systemsphase portrait

Mathematics Subject Classification ID

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)

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

Cites work

• scientific article; zbMATH DE number 3855514 (Why is no real title available?)
• scientific article; zbMATH DE number 42964 (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 1952947 (Why is no real title available?)
• scientific article; zbMATH DE number 1794363 (Why is no real title available?)
• scientific article; zbMATH DE number 1794379 (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 2085338 (Why is no real title available?)
• scientific article; zbMATH DE number 1905117 (Why is no real title available?)
• scientific article; zbMATH DE number 1444368 (Why is no real title available?)
• A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems
• A Survey of Viability Theory
• A theory of timed automata
• Algorithmic analysis of polygonal hybrid systems. I: Reachability
• HyTech: A model checker for hybrid systems
• Qualitative theory of hybrid dynamical systems.
• Static Analysis for State-Space Reduction of Polygonal Hybrid Systems
• Symbolic reachability computation for families of linear vector fields

Cited in

(10)

• scientific article; zbMATH DE number 2085315 (Why is no real title available?)
• Tracking differentiable trajectories across polyhedra boundaries
• Algorithmic analysis of polygonal hybrid systems. I: Reachability
• Relaxing Goodness Is Still Good
• scientific article; zbMATH DE number 2147040 (Why is no real title available?)
• Computation and Visualisation of Phase Portraits for Model Checking SPDIs
• scientific article; zbMATH DE number 1905117 (Why is no real title available?)
• 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

Describes a project that uses

Uses Software

• HyTech
• Haskell
• SPeeDI

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)