Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Divide and Conquer: Variable Set Separation in Hybrid Systems
  Reachability Analysis   In this paper we propose an improvement for flowpipe-construction-based
reachability analysis techniques for hybrid systems. Such methods apply
iterative successor computations to pave the reachable region of the state
space by state sets in an over-approximative manner. As the computational costs
steeply increase with the dimension, in this work we analyse the possibilities
for improving scalability by dividing the search space in sub-spaces and
execute reachability computations in the sub-spaces instead of the global
space. We formalise such an algorithm and provide experimental evaluations to
compare the efficiency as well as the precision of our sub-space search to the
original search in the global space.

36
The categories of this paper are: cmp-lg
22
The categories of this paper are: chao-dyn
18
The categories of this paper are: econ
23
The categories of this paper are: solv-int
0
The categories of this paper are: hep-ph
15
The categories of this paper are: nucl-ex
2
The categories of this paper are: math
35
The categories of this paper are: mtrl-th
7
The categories of this paper are: hep-th
12
The categories of this paper are: nucl-th
17
The categories of this paper are: q-fin
3
The categories of this paper are: physics
28
The categories of this paper are: alg-geom
19
The categories of this paper are: eess
4
The categories of this paper are: cond-mat
8
The categories of this paper are: hep-ex