Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural
  Network Controllers via Semidefinite Programming   There has been an increasing interest in using neural networks in closed-loop
control systems to improve performance and reduce computational costs for
on-line implementation. However, providing safety and stability guarantees for
these systems is challenging due to the nonlinear and compositional structure
of neural networks. In this paper, we propose a novel forward reachability
analysis method for the safety verification of linear time-varying systems with
neural networks in feedback interconnection. Our technical approach relies on
abstracting the nonlinear activation functions by quadratic constraints, which
leads to an outer-approximation of forward reachable sets of the closed-loop
system. We show that we can compute these approximate reachable sets using
semidefinite programming. We illustrate our method in a quadrotor example, in
which we first approximate a nonlinear model predictive controller via a deep
neural network and then apply our analysis tool to certify finite-time
reachability and constraint satisfaction of the closed-loop system.

34
The categories of this paper are: chem-ph
29
The categories of this paper are: funct-an
24
The categories of this paper are: dg-ga
20
The categories of this paper are: acc-phys
36
The categories of this paper are: cmp-lg
10
The categories of this paper are: q-bio
30
The categories of this paper are: q-alg
9
The categories of this paper are: nlin
3
The categories of this paper are: physics
8
The categories of this paper are: hep-ex
32
The categories of this paper are: atom-ph
17
The categories of this paper are: q-fin
31
The categories of this paper are: ao-sci
4
The categories of this paper are: cond-mat
18
The categories of this paper are: econ
27
The categories of this paper are: comp-gas