DocumentCode
2724547
Title
The theory of hybrid automata
Author
Henzinger, Thomas A.
Author_Institution
Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
fYear
1996
fDate
27-30 Jul 1996
Firstpage
278
Lastpage
292
Abstract
We summarize several recent results about hybrid automata. Our goal is to demonstrate that concepts from the theory of discrete concurrent systems can give insights into partly continuous systems, and that methods for the verification of finite-state systems can be used to analyze certain systems with uncountable state spaces
Keywords
automata theory; finite automata; formal verification; discrete concurrent systems; finite-state systems; hybrid automata theory; partly continuous systems; uncountable state spaces; Automata; Automatic control; Continuous time systems; Digital control; Force control; Labeling; State-space methods; Switches; Temperature control; Thermostats;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1996. LICS '96. Proceedings., Eleventh Annual IEEE Symposium on
Conference_Location
New Brunswick, NJ
ISSN
1043-6871
Print_ISBN
0-8186-7463-6
Type
conf
DOI
10.1109/LICS.1996.561342
Filename
561342
Link To Document