Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Real-Time Systems Modeling and Analysis   This paper is a survey of extensions to finite automata theory to model
real-time systems as well as systems exhibiting mixed discrete-continuous
behavior. Real-time systems maintain a continuous and timely interaction with
the environment, often adhering to some timing constraints. Therefore, the
finite automata theory is extended to measure real-time values and accept or
reject runs on a class of automata known as timed-automata, upon satisfying
some timed properties. The automata modeling the mixed discrete-continuous
behavior of hybrid systems has its continuous-time dynamics described using
ordinary differential equations for the state space and discrete-time dynamics
describing the control decisions. Based on these dynamical system models, we
likewise extend the finite automata theory to describe the behavior of hybrid
systems using Hybrid Automata. We further study some applications of this class
of systems, sometimes referred to as Cyber-physical systems and perform a
case-study on Peterson's Mutual Exclusion protocol using Uppaal.

33
The categories of this paper are: plasm-ph
16
The categories of this paper are: stat
10
The categories of this paper are: q-bio
29
The categories of this paper are: funct-an
21
The categories of this paper are: adap-org
14
The categories of this paper are: math-ph
7
The categories of this paper are: hep-th
30
The categories of this paper are: q-alg
13
The categories of this paper are: quant-ph
17
The categories of this paper are: q-fin
2
The categories of this paper are: math
9
The categories of this paper are: nlin
18
The categories of this paper are: econ
6
The categories of this paper are: astro-ph
28
The categories of this paper are: alg-geom
31
The categories of this paper are: ao-sci