Static Analysis for State-Space Reduction of Polygonal Hybrid Systems

DOI10.1007/11867340_22zbMath1141.68438OpenAlexW2151643591MaRDI QIDQ3511244

Gerardo Schneider, Gordon J. Pace

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)

Related Items (3)

Algorithmic analysis of polygonal hybrid systems. I: Reachability ⋮ Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools ⋮ Relaxing Goodness Is Still Good

Uses Software

• SPeeDI

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