Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Automatic Control Software Synthesis for Quantized Discrete Time Hybrid
  Systems   Many Embedded Systems are indeed Software Based Control Systems, that is
control systems whose controller consists of control software running on a
microcontroller device. This motivates investigation on Formal Model Based
Design approaches for automatic synthesis of embedded systems control software.
This paper addresses control software synthesis for discrete time nonlinear
systems. We present a methodology to overapproximate the dynamics of a discrete
time nonlinear hybrid system H by means of a discrete time linear hybrid system
L(H), in such a way that controllers for L(H) are guaranteed to be controllers
for H. We present experimental results on the inverted pendulum, a challenging
and meaningful benchmark in nonlinear Hybrid Systems control.

27
The categories of this paper are: comp-gas
5
The categories of this paper are: gr-qc
6
The categories of this paper are: astro-ph
2
The categories of this paper are: math
11
The categories of this paper are: hep-lat
33
The categories of this paper are: plasm-ph
3
The categories of this paper are: physics
25
The categories of this paper are: patt-sol
24
The categories of this paper are: dg-ga
7
The categories of this paper are: hep-th
12
The categories of this paper are: nucl-th
35
The categories of this paper are: mtrl-th
10
The categories of this paper are: q-bio
15
The categories of this paper are: nucl-ex
29
The categories of this paper are: funct-an
4
The categories of this paper are: cond-mat