Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Algebraic Invariants for Linear Hybrid Automata   We exhibit an algorithm to compute the strongest algebraic (or polynomial)
invariants that hold at each location of a given unguarded linear hybrid
automaton (i.e., a hybrid automaton having only unguarded transitions, all of
whose assignments are given by affine expressions, and all of whose continuous
dynamics are given by linear differential equations). Our main tool is a
control-theoretic result of independent interest: given such a linear hybrid
automaton, we show how to discretise the continuous dynamics in such a way that
the resulting automaton has precisely the same algebraic invariants.

17
The categories of this paper are: q-fin
35
The categories of this paper are: mtrl-th
10
The categories of this paper are: q-bio
21
The categories of this paper are: adap-org
14
The categories of this paper are: math-ph
33
The categories of this paper are: plasm-ph
18
The categories of this paper are: econ
6
The categories of this paper are: astro-ph
8
The categories of this paper are: hep-ex
0
The categories of this paper are: hep-ph
37
The categories of this paper are: supr-con
31
The categories of this paper are: ao-sci
34
The categories of this paper are: chem-ph
28
The categories of this paper are: alg-geom
29
The categories of this paper are: funct-an
13
The categories of this paper are: quant-ph