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

DOI10.1145/3365365.3382215OpenAlexW3021880840MaRDI QIDQ5146387

Ricardo G. Sanfelice, Mohamed Adlene Maghenem

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 systemssafetybarrier functionsreachable sets

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)

Related Items (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