Static Analysis for State-Space Reduction of Polygonal Hybrid Systems

DOI10.1007/11867340_22MaRDI QIDQ3511244zbMATH OpenOpenAlexFDO

Authors Gordon J. Pace, Gerardo Schneider

Publication date 8 July 2008

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

Full work available at URL https://www.um.edu.mt/library/oar//handle/123456789/24415

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools
• 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
• Relaxing Goodness Is Still Good

Cited in

(7)

• Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools
• Algorithmic analysis of polygonal hybrid systems. I: Reachability
• Relaxing Goodness Is Still Good
• Computation and Visualisation of Phase Portraits for Model Checking SPDIs
• scientific article; zbMATH DE number 2085315 (Why is no real title available?)
• scientific article; zbMATH DE number 1905117 (Why is no real title available?)
• A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems

Describes a project that uses

Uses Software

• SPeeDI

This page was built for publication: Static Analysis for State-Space Reduction of Polygonal Hybrid Systems

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