Title :
Discretization of timed automata
Author :
Göllü, Aleks ; Puri, Anuj ; Varaiya, Pravin
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
Abstract :
We construct two discretizations of dense time automata which generate the same untimed language as the dense time automata
Keywords :
automata theory; discrete time systems; state-space methods; discrete time systems; discretizations; state space; time automata; Automata; Clocks; Petroleum; State-space methods; Timing; US Department of Transportation;
Conference_Titel :
Decision and Control, 1994., Proceedings of the 33rd IEEE Conference on
Conference_Location :
Lake Buena Vista, FL
Print_ISBN :
0-7803-1968-0
DOI :
10.1109/CDC.1994.410933
