Hybrid systems tools for compiling controllers for cyber-physical systems

DOI10.1007/S10626-011-0117-8MaRDI QIDQ434457zbMATH OpenOpenAlexFDO

Authors Patrick Martin, Magnus Egerstedt

Publication date 10 July 2012

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10626-011-0117-8

zbMATH Keywords

cyber-physical systemshybrid controlrobotics

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) Application models in control theory (93C95)

Recommendations

• Formal controller synthesis from hybrid programs
• Controllers for reachability specifications for hybrid systems
• CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems
• scientific article; zbMATH DE number 1303068
• Hybrid control synthesis for eventuality specifications using level set methods

Cites work

• scientific article; zbMATH DE number 1303234 (Why is no real title available?)
• scientific article; zbMATH DE number 2065647 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes
• Timing control of switched systems with applications to robotic marionettes
• Transition-Time Optimization for Switched-Mode Dynamical Systems

Cited in

(4)

• Consistent approximations of the Zeno behaviour in affine-type switched dynamic systems
• Sequencing of multi-robot behaviors using reinforcement learning
• Switching design for suboptimal guaranteed cost control of 2-D nonlinear switched systems in the Roesser model
• Building occupant level estimation based on heterogeneous information fusion

This page was built for publication: Hybrid systems tools for compiling controllers for cyber-physical systems

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