Local lipschitzness of reachability maps for hybrid systems with applications to safety

DOI10.1145/3365365.3382215MaRDI QIDQ5146387zbMATH OpenOpenAlexFDO

Authors Mohamed Adlene Maghenem, Ricardo G. Sanfelice

Publication date 25 January 2021

Published in Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3365365.3382215

zbMATH Keywords

hybrid systemsreachable setssafetybarrier functions

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Safe \& robust reachability analysis of hybrid systems
• On the Reachability Problem for Uncertain Hybrid Systems
• Safety and reachability of piecewise linear hybrid dynamical systems based on discrete abstractions
• Composing reachability analyses of hybrid systems for safety and stability
• Level-Set Approach for Reachability Analysis of Hybrid Systems under Lag Constraints
• Reachability analysis for hybrid systems with nonlinear guard sets
• Finite-gain \(\mathcal{L}_p\) stability for hybrid dynamical systems
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems

Cited in

(1)

• Necessary and sufficient conditions for the nonincrease of scalar functions along solutions to constrained differential inclusions

This page was built for publication: Local lipschitzness of reachability maps for hybrid systems with applications to safety

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