Set invariance is characterized by minimal barrier functions, and the minimal comparison functions are fully characterized by four verifiable conditions.
Sufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
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.
fields
eess.SY 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems
Set invariance is characterized by minimal barrier functions, and the minimal comparison functions are fully characterized by four verifiable conditions.