Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Symbolic Simulation-Checking of Dense-Time Systems   Intuitively, an (implementation) automata is simulated by a (specification)
automata if every externally observable transition by the implementation
automata can also be made by the specification automata. In this work, we
present a symbolic algorithm for the simulation-checking of timed automatas. We
first present a simulation-checking procedure that operates on state spaces,
representable with convex polyhedra, of timed automatas. We then present
techniques to represent those intermediate result convex polyhedra with zones
and make the procedure an algorithm. We then discuss how to handle Zeno states
in the implementation automata. Finally, we have endeavored to realize the
algorithm and report the performance of our algorithm in the experiment.

7
The categories of this paper are: hep-th
17
The categories of this paper are: q-fin
0
The categories of this paper are: hep-ph
16
The categories of this paper are: stat
30
The categories of this paper are: q-alg
10
The categories of this paper are: q-bio
35
The categories of this paper are: mtrl-th
32
The categories of this paper are: atom-ph
13
The categories of this paper are: quant-ph
2
The categories of this paper are: math
8
The categories of this paper are: hep-ex
27
The categories of this paper are: comp-gas
36
The categories of this paper are: cmp-lg
4
The categories of this paper are: cond-mat
23
The categories of this paper are: solv-int
21
The categories of this paper are: adap-org