921 search results - page 4 / 185 » On Interleaving in Timed Automata |
VTC
2010
IEEE
13 years 5 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
14 years 20 days 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
14 years 1 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...
LATA
2009
Springer
14 years 2 months ago
2009
Springer
HYBRID
1997
Springer
13 years 11 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...