Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Automatic Synthesis of Switching Controllers for Linear Hybrid Automata   In this paper we study the problem of automatically generating switching
controllers for the class of Linear Hybrid Automata, with respect to safety
objectives. We identify and solve inaccuracies contained in previous
characterizations of the problem, providing a sound and complete symbolic
fixpoint procedure, based on polyhedral abstractions of the state space. We
also prove the termination of each iteration of the procedure. Some promising
experimental results are presented, based on an implementation of the fixpoint
procedure on top of the tool PHAVer.

0
The categories of this paper are: hep-ph
30
The categories of this paper are: q-alg
18
The categories of this paper are: econ
10
The categories of this paper are: q-bio
19
The categories of this paper are: eess
14
The categories of this paper are: math-ph
35
The categories of this paper are: mtrl-th
26
The categories of this paper are: bayes-an
28
The categories of this paper are: alg-geom
34
The categories of this paper are: chem-ph
9
The categories of this paper are: nlin
17
The categories of this paper are: q-fin
12
The categories of this paper are: nucl-th
31
The categories of this paper are: ao-sci
16
The categories of this paper are: stat
32
The categories of this paper are: atom-ph