3229 search results - page 16 / 646 » The Theory of Timed Automata |
FUIN
2008
13 years 8 months ago
2008
The aim of the work is twofold. In order to face the problem of modeling time constraints in Promela, a timed extension of the language is presented. Next, timed Promela is transla...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Topological dynamics of cellular automata (CA), inherited from classical dynamical systems theory, has been essentially studied in
CSL
2008
Springer
13 years 10 months ago
2008
Springer
Infinite-state automata are a new invention: they are automata that have an infinite number of states represented by words, transitions defined using rewriting, and with sets of in...
FORMATS
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. Simulation and bisimulation relations are widely-studied in the c...
TCS
2010
13 years 3 months ago
2010
We are interested in describing timed systems that exhibit probabilistic behaviour. To this purpose, we consider a model of Probabilistic Timed Automata and introduce a concept of ...