Relaxing Goodness Is Still Good

DOI10.1007/978-3-540-85762-4_19zbMath1161.93316OpenAlexW1546536933MaRDI QIDQ5505608

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 inclusionsreachability problempolygonal hybrid systems

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)

Related Items (2)

Unnamed Item ⋮ Relaxing Goodness Is Still Good

Cites Work

• O-minimal hybrid systems.
• 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
• Hybrid Systems: Computation and Control
• Relaxing Goodness Is Still Good
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Hybrid Systems: Computation and Control
• Unnamed Item
• Unnamed Item

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