Skip to main content
Open Access Publications from the University of California

UC Santa Cruz

UC Santa Cruz Previously Published Works bannerUC Santa Cruz

Barrier Function Certificates for Forward Invariance in Hybrid Inclusions


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.

Many UC-authored scholarly publications are freely available on this site because of the UC's open access policies. Let us know how this access is important for you.

Main Content
For improved accessibility of PDF content, download the file to your device.
Current View