Periodically Controlled Hybrid Systems

DOI10.1007/978-3-642-00602-9_28MaRDI QIDQ3624588zbMATH OpenOpenAlexDBLPWikidataFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 1444354
• scientific article; zbMATH DE number 1301611
• Hybrid Systems: Computation and Control
• scientific article; zbMATH DE number 1956640
• Verified hybrid controllers for automated vehicles

Cites work

• A Decidable Class of Planar Linear Hybrid Systems
• Dynamical systems: Stability theory and applications
• scientific article; zbMATH DE number 1263213 (Why is no real title available?)
• scientific article; zbMATH DE number 1303067 (Why is no real title available?)
• scientific article; zbMATH DE number 1956640 (Why is no real title available?)
• Hybrid I/O automata.
• QEPCAD B
• STORMED Hybrid Systems
• The algorithmic analysis of hybrid systems
• The theory of timed I/O automata

Cited in

(8)

• Verification of Hybrid Systems
• Proving the Correctness of the Implementation of a Control-Command Algorithm
• Verified hybrid controllers for automated vehicles
• scientific article; zbMATH DE number 1956640 (Why is no real title available?)
• Task level specification and formal verification of robotics control systems: State of the art and case study
• Automated Technology for Verification and Analysis
• Hybrid Systems: Computation and Control
• Bisimulation conversion and verification procedure for goal-based control systems

Describes a project that uses

Uses Software

• Sostools
• QEPCAD
• PVS

This page was built for publication: Periodically Controlled Hybrid Systems

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