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

DOI10.1145/3365365.3382215OpenAlexW3021880840MaRDI QIDQ5146387FDOQ5146387

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

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

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)

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)