Hybrid Systems: Computation and Control

DOI10.1007/11730637MaRDI QIDQ5898982zbMATH OpenOpenAlexFDO

Authors Yan Gao, John Lygeros, Marc Quincampoix

Publication date 2 May 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11730637

Mathematics Subject Classification ID

Applications of game theory (91A80) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• On the Reachability Problem for Uncertain Hybrid Systems
• A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems
• Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
• Hybrid Systems: Computation and Control
• Stochastic reachability analysis of hybrid systems.
• Safe \& robust reachability analysis of hybrid systems
• Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
• Reachability Analysis of Stochastic Hybrid Systems by Optimal Control
• Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems

Cited in

(6)

• A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems
• Trajectory-based theory for hybrid systems
• Bracketing backward reach sets of a dynamical system
• Robust viability of hybrid systems
• Automated verification and synthesis of stochastic hybrid systems: a survey
• On the Reachability Problem for Uncertain Hybrid Systems

This page was built for publication: Hybrid Systems: Computation and Control

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