Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Verisig: verifying safety properties of hybrid systems with neural
  network controllers   This paper presents Verisig, a hybrid system approach to verifying safety
properties of closed-loop systems using neural networks as controllers.
Although techniques exist for verifying input/output properties of the neural
network itself, these methods cannot be used to verify properties of the
closed-loop system (since they work with piecewise-linear constraints that do
not capture non-linear plant dynamics). To overcome this challenge, we focus on
sigmoid-based networks and exploit the fact that the sigmoid is the solution to
a quadratic differential equation, which allows us to transform the neural
network into an equivalent hybrid system. By composing the network's hybrid
system with the plant's, we transform the problem into a hybrid system
verification problem which can be solved using state-of-the-art reachability
tools. We show that reachability is decidable for networks with one hidden
layer and decidable for general networks if Schanuel's conjecture is true. We
evaluate the applicability and scalability of Verisig in two case studies, one
from reinforcement learning and one in which the neural network is used to
approximate a model predictive controller.

11
The categories of this paper are: hep-lat
15
The categories of this paper are: nucl-ex
30
The categories of this paper are: q-alg
3
The categories of this paper are: physics
25
The categories of this paper are: patt-sol
28
The categories of this paper are: alg-geom
23
The categories of this paper are: solv-int
10
The categories of this paper are: q-bio
17
The categories of this paper are: q-fin
27
The categories of this paper are: comp-gas
24
The categories of this paper are: dg-ga
0
The categories of this paper are: hep-ph
14
The categories of this paper are: math-ph
31
The categories of this paper are: ao-sci
20
The categories of this paper are: acc-phys
19
The categories of this paper are: eess