Maghenem, Mohamed; Sanfelice, Ricardo G. Local lipschitzness of reachability maps for hybrid systems with applications to safety. (English) Zbl 07300862 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 21, 11 p. (2020). Cited in 1 Document MSC: 68Q45 Formal languages and automata 68Q60 Specification and verification (program logics, model checking, etc.) 93C30 Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) Keywords:barrier functions; hybrid systems; reachable sets; safety PDFBibTeX XMLCite \textit{M. Maghenem} and \textit{R. G. Sanfelice}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 21, 11 p. (2020; Zbl 07300862) Full Text: DOI