Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Provably Correct Training of Neural Network Controllers Using
  Reachability Analysis   In this paper, we consider the problem of training neural network (NN)
controllers for nonlinear dynamical systems that are guaranteed to satisfy
safety and liveness (e.g., reach-avoid) properties. Our approach is to combine
model-based design methodologies for dynamical systems with data-driven
approaches to achieve this target. We confine our attention to NNs with
Rectifier Linear Unit (ReLU) nonlinearity which are known to represent
Continuous Piece-Wise Affine (CPWA) functions. Given a mathematical model of
the dynamical system, we compute a finite-state abstract model that captures
the closed-loop behavior under all possible CPWA controllers. Using this
finite-state abstract model, our framework identifies a family of CPWA
functions guaranteed to satisfy the safety requirements. We augment the
learning algorithm with a NN weight projection operator during training that
enforces the resulting NN to represent a CPWA function from the provably safe
family of CPWA functions. Moreover, the proposed framework uses the
finite-state abstract model to identify candidate CPWA functions that may
satisfy the liveness properties. Using such candidate CPWA functions, the
proposed framework biases the NN training to achieve the liveness
specification. We show the efficacy of the proposed framework both in
simulation and on an actual robotic vehicle.

31
The categories of this paper are: ao-sci
24
The categories of this paper are: dg-ga
25
The categories of this paper are: patt-sol
17
The categories of this paper are: q-fin
2
The categories of this paper are: math
12
The categories of this paper are: nucl-th
6
The categories of this paper are: astro-ph
8
The categories of this paper are: hep-ex
4
The categories of this paper are: cond-mat
20
The categories of this paper are: acc-phys
0
The categories of this paper are: hep-ph
10
The categories of this paper are: q-bio
34
The categories of this paper are: chem-ph
9
The categories of this paper are: nlin
36
The categories of this paper are: cmp-lg
27
The categories of this paper are: comp-gas