Periodically Controlled Hybrid Systems

DOI10.1007/978-3-642-00602-9_28zbMath1237.93120OpenAlexW1754811796WikidataQ59814039 ScholiaQ59814039MaRDI QIDQ3624588

Tichakorn Wongpiromsarn, Sayan Mitra, Richard M. Murray, Andrew Lamperski

Publication date: 30 April 2009

Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00602-9_28

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items

Verification of Hybrid Systems ⋮ Proving the Correctness of the Implementation of a Control-Command Algorithm

Uses Software

• QEPCAD
• Sostools
• PVS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The algorithmic analysis of hybrid systems
• Hybrid I/O automata.
• Dynamical systems: Stability theory and applications
• The Theory of Timed I/O Automata, Second Edition
• STORMED Hybrid Systems
• A Decidable Class of Planar Linear Hybrid Systems
• QEPCAD B