921 search results - page 4 / 185 » On Interleaving in Timed Automata |
VTC
2010
IEEE
14 years 7 months ago
2010
IEEE
—This paper investigates the performance of time interleaving in DVB-T2 in the context of mobile reception. By means of time interleaving it is possible to provide time diversity...
RTSS
2003
IEEE
15 years 2 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
CONCUR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. In previous work, a probabilistic notion of time divergence for p...
60
Voted
LATA
2009
Springer
15 years 4 months ago
2009
Springer
78
Voted
HYBRID
1997
Springer
15 years 1 months ago
1997
Springer
We de ne robust timed automata, which are timed automata that accept all trajectories \robustly": if a robust timed automaton accepts a trajectory, then it must accept neighbo...