Characterizations of safety in hybrid inclusions via barrier functions
From MaRDI portal
Publication:5239226
DOI10.1145/3302504.3311816OpenAlexW2938866734MaRDI QIDQ5239226
Mohamed Adlene Maghenem, Ricardo G. Sanfelice
Publication date: 22 October 2019
Published in: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3302504.3311816
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 (2)
Necessary and sufficient conditions for the nonincrease of scalar functions along solutions to constrained differential inclusions ⋮ Razumikhin and Krasovskii approaches for safe stabilization
This page was built for publication: Characterizations of safety in hybrid inclusions via barrier functions
