Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Sufficient conditions for forward invariance and contractivity in hybrid
  inclusions using barrier functions   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.

35
The categories of this paper are: mtrl-th
23
The categories of this paper are: solv-int
26
The categories of this paper are: bayes-an
32
The categories of this paper are: atom-ph
19
The categories of this paper are: eess
4
The categories of this paper are: cond-mat
20
The categories of this paper are: acc-phys
5
The categories of this paper are: gr-qc
21
The categories of this paper are: adap-org
30
The categories of this paper are: q-alg
33
The categories of this paper are: plasm-ph
29
The categories of this paper are: funct-an
8
The categories of this paper are: hep-ex
11
The categories of this paper are: hep-lat
27
The categories of this paper are: comp-gas
24
The categories of this paper are: dg-ga