942 search results - page 8 / 189 » Interrupt Timed Automata |
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...
FORMATS
2004
Springer
14 years 27 days ago
2004
Springer
We study the model-checking problem for weighted timed automata and the weighted CTL logic by the bisimulation approach. Weighted timed automata are timed automata extended with co...
IPPS
2000
IEEE
13 years 12 months ago
2000
IEEE
: When the communication channels are subject to interruptions such as jamming, the coordination of the real time motions of distributed autonomous vehicles becomes a challenging p...
IJCSA
2007
13 years 7 months ago
2007
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...
JUCS
2010
13 years 6 months ago
2010
: The membership problems of both stack automata and nonerasing stack automata are shown to be complete for polynomial time.