Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Neural Certificates for Safe Control Policies   This paper develops an approach to learn a policy of a dynamical system that
is guaranteed to be both provably safe and goal-reaching. Here, the safety
means that a policy must not drive the state of the system to any unsafe
region, while the goal-reaching requires the trajectory of the controlled
system asymptotically converges to a goal region (a generalization of
stability). We obtain the safe and goal-reaching policy by jointly learning two
additional certificate functions: a barrier function that guarantees the safety
and a developed Lyapunov-like function to fulfill the goal-reaching
requirement, both of which are represented by neural networks. We show the
effectiveness of the method to learn both safe and goal-reaching policies on
various systems, including pendulums, cart-poles, and UAVs.

0
The categories of this paper are: hep-ph
31
The categories of this paper are: ao-sci
22
The categories of this paper are: chao-dyn
4
The categories of this paper are: cond-mat
6
The categories of this paper are: astro-ph
21
The categories of this paper are: adap-org
18
The categories of this paper are: econ
30
The categories of this paper are: q-alg
16
The categories of this paper are: stat
28
The categories of this paper are: alg-geom
13
The categories of this paper are: quant-ph
12
The categories of this paper are: nucl-th
35
The categories of this paper are: mtrl-th
17
The categories of this paper are: q-fin
15
The categories of this paper are: nucl-ex
29
The categories of this paper are: funct-an