SPeeDI -- a verification tool for polygonal hybrid systems

DOI10.1007/3-540-45657-0_28MaRDI QIDQ4806207zbMATH OpenFDO

Authors Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine

Publication date 21 May 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45657-0_28

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• Algorithmic analysis of polygonal hybrid systems. I: Reachability
• Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools
• Relaxing Goodness Is Still Good
• Static Analysis for State-Space Reduction of Polygonal Hybrid Systems
• Computation and Visualisation of Phase Portraits for Model Checking SPDIs

Cited in

(9)

• SPeeDI
• Algorithmic analysis of polygonal hybrid systems. I: Reachability
• Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools
• Avoiding geometric intersection operations in reachability analysis of 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
• A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems
• Computation and Visualisation of Phase Portraits for Model Checking SPDIs
• Relaxing Goodness Is Still Good

This page was built for publication: SPeeDI -- a verification tool for polygonal hybrid systems

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