Sciweavers

Share
HYBRID
1997
Springer

Robust Timed Automata

9 years 11 months ago
Robust Timed Automata
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 neighboring trajectories also and if a robust timed automaton rejects a trajectory, then it must reject neighboring trajectories also. We show that the emptiness problem for robust timed automata is still decidable, by modifying the region construction for timed automata. We then show that, like timed automata, robust timed automata cannot be determinized. This result is somewhat unexpected, given that in temporal logic, the removal of real-time equality constraints is known to lead to a decidable theory that is closed under all boolean operations.
Vineet Gupta, Thomas A. Henzinger, Radha Jagadeesa
Added 07 Aug 2010
Updated 07 Aug 2010
Type Conference
Year 1997
Where HYBRID
Authors Vineet Gupta, Thomas A. Henzinger, Radha Jagadeesan
Comments (0)
books