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

Barrier Function Certificates for Forward Invariance in Hybrid Inclusions

  • Author(s): Maghenem, M
  • Sanfelice, RG
  • et al.
Abstract

© 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.

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
Current View