Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Smooth Converse Lyapunov-Barrier Theorems for Asymptotic Stability with
  Safety Constraints and Reach-Avoid-Stay Specifications   Stability and safety are two important aspects in safety-critical control of
dynamical systems. It has been a well established fact in control theory that
stability properties can be characterized by Lyapunov functions. Reachability
properties can also be naturally captured by Lyapunov functions for finite-time
stability. Motivated by safety-critical control applications, such as in
autonomous systems and robotics, there has been a recent surge of interests in
characterizing safety properties using barrier functions. Lyapunov and barrier
functions conditions, however, are sometimes viewed as competing objectives. In
this paper, we provide a unified theoretical treatment of Lyapunov and barrier
functions in terms of converse theorems for stability properties with safety
guarantees and reach-avoid-stay type specifications. We show that if a system
(modeled as a dynamical system with measurable perturbations) possesses a
stability with safety property, then there exists a smooth Lyapunov function to
certify such a property. This Lyapunov function is shown to be defined on the
entire set of initial conditions from which solutions satisfy this property. A
similar but slightly weaker statement is made for reach-avoid-stay
specifications. We show by a simple example that the latter statement cannot be
strengthened without additional assumptions. We further extend the results for
systems with control inputs and prove existence of converse Lyapunov-barrier
functions for reach-and-avoid specifications. While the converse
Lyapunov-barrier theorems are not constructive, as with classical converse
Lyapunov theorems, we believe that the unified necessary and sufficient
conditions with a single Lyapunov-barrier function are of theoretical interest
and can hopefully shed some light on computational approaches.

13
The categories of this paper are: quant-ph
27
The categories of this paper are: comp-gas
22
The categories of this paper are: chao-dyn
9
The categories of this paper are: nlin
21
The categories of this paper are: adap-org
18
The categories of this paper are: econ
37
The categories of this paper are: supr-con
11
The categories of this paper are: hep-lat
23
The categories of this paper are: solv-int
31
The categories of this paper are: ao-sci
5
The categories of this paper are: gr-qc
34
The categories of this paper are: chem-ph
4
The categories of this paper are: cond-mat
8
The categories of this paper are: hep-ex
0
The categories of this paper are: hep-ph
25
The categories of this paper are: patt-sol