Static Analysis for State-Space Reduction of Polygonal Hybrid Systems

DOI10.1007/11867340_22zbMATH Open1141.68438OpenAlexW2151643591MaRDI QIDQ3511244FDOQ3511244

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

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

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)

Cited In (7)

• Algorithmic analysis of polygonal hybrid systems. I: Reachability
• Relaxing Goodness Is Still Good
• Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools
• Computation and Visualisation of Phase Portraits for Model Checking SPDIs
• Title not available (Why is that?)
• A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems
• Title not available (Why is that?)

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)