121 search results - page 3 / 25 » Sampled Semantics of Timed Automata |
71
Voted
FORMATS
2007
Springer
15 years 6 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...
96
Voted
LICS
2003
IEEE
15 years 5 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...
FOSSACS
2006
Springer
15 years 4 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...
CONCUR
2008
Springer
15 years 2 months 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...
121
click to vote
FORMATS
2003
Springer
15 years 5 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...