Relaxing Goodness Is Still Good

DOI10.1007/978-3-540-85762-4_19MaRDI QIDQ5505608zbMATH OpenOpenAlexFDO

Authors Gordon J. Pace, Gerardo Schneider

Publication date 27 January 2009

Published in Theoretical Aspects of Computing - ICTAC 2008 (Search for Journal in Brave)

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

zbMATH Keywords

differential inclusionspolygonal hybrid systemsreachability problem

Mathematics Subject Classification ID

Ordinary differential inclusions (34A60) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• scientific article; zbMATH DE number 1905117
• Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools
• Algorithmic analysis of polygonal hybrid systems. I: Reachability
• Static Analysis for State-Space Reduction of Polygonal Hybrid Systems
• A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems

Cites work

• A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems
• Algorithmic analysis of polygonal hybrid systems. I: Reachability
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 1538038 (Why is no real title available?)
• scientific article; zbMATH DE number 1905117 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• O-minimal hybrid systems.
• Relaxing Goodness Is Still Good
• Static Analysis for State-Space Reduction of Polygonal Hybrid Systems

Cited in

(5)

• Algorithmic analysis of polygonal hybrid systems. I: Reachability
• ParaPlan: a tool for parallel reachability analysis of planar polygonal differential inclusion systems
• Static Analysis for State-Space Reduction of Polygonal Hybrid Systems
• scientific article; zbMATH DE number 1905117 (Why is no real title available?)
• Relaxing Goodness Is Still Good

This page was built for publication: Relaxing Goodness Is Still Good

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