121 search results - page 3 / 25 » Sampled Semantics of Timed Automata |
59
Voted
FORMATS
2007
Springer
15 years 5 months ago
2007
Springer
We identify a class of timed automata, which we call counter-free input-determined automata, which characterize the class of timed languages definable by several timed temporal l...
81
Voted
LICS
2003
IEEE
15 years 4 months ago
2003
IEEE
We consider several questions related to the use of digitization techniques for timed automata. These very successful techniques reduce dense-time language inclusion problems to d...
80
Voted
FOSSACS
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. We introduce a denotational semantics for non-linear hybrid automata, and relate it to the operational semantics given in terms of hybrid trajectories. The semantics is d...
87
Voted
CONCUR
2008
Springer
15 years 22 days ago
2008
Springer
Abstract. We propose a model of distributed timed systems where each component is a timed automaton with a set of local clocks that evolve at a rate independent of the clocks of th...
107
Voted
FORMATS
2003
Springer
15 years 4 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...