UC Santa Cruz
Sufficient conditions for forward invariance and contractivity in hybrid
inclusions using barrier functions
- Author(s): Maghenem, Mohamed
- Sanfelice, Ricardo G
- et al.
This paper studies set invariance and contractivity in hybrid systems modeled by hybrid inclusions using barrier functions. After introducing the notion of a multiple barrier functions, we investigate the tightest possible sufficient conditions to guarantee different forward invariance and contractivity notions of a closed set for hybrid systems with nonuniqueness of solutions and solutions terminating prematurely. More precisely, we consider forward (pre-)invariance of sets, which guarantees solutions to stay in a set, and (pre-)contractivity, which further requires solutions that reach the boundary of the set to evolve (continuously or discretely) towards its interior. Our conditions for forward invariance and contractivity involve infinitesimal conditions in terms of multiple barrier functions. Examples illustrate the results. Keywords: Forward invariance, contractivity, barrier functions, hybrid dynamical systems.
Many UC-authored scholarly publications are freely available on this site because of the UC Academic Senate's Open Access Policy. Let us know how this access is important for you.