UC Santa Cruz
Barrier Function Certificates for Forward Invariance in Hybrid Inclusions
- Author(s): Maghenem, M
- Sanfelice, RG
- et al.
Published Web Locationhttps://doi.org/10.1109/CDC.2018.8618998
© 2018 IEEE. This paper proposes barrier functions for the study of forward invariance in hybrid systems modeled by hybrid inclusions. After introducing an appropriate notion of a barrier function, we propose sufficient conditions to guarantee forward invariance properties of a set for hybrid systems with nonuniqueness of solutions, solutions terminating prematurely, and Zeno solutions. Our conditions involve infinitesimal conditions on the barrier certificate and Minkowski functionals. Examples illustrate the results.