DocumentCode
1627703
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
Volume
1
fYear
1994
Firstpage
957
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/CDC.1994.410933
Filename
410933
Link To Document