Authors
Thomas A Henzinger
Publication date
1996
Conference
IEEE Symposium on Logic in Computer Science
Pages
278-292
Description
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.
Total citations
Scholar articles
TA Henzinger - Proceedings 11th Annual IEEE Symposium on Logic in …, 1996
T Henzinger - NATO ASI Series F: Computer and Systems Sciences, 2000
A Thomas, Z Henzinger - 11th Annual IEEE Symposium on Logic in Computer …, 1996
T Henzinger - 2000
TA Henzinger - IEEE Conference on Logic in Computer Science
TA Henzinger - Proceedings LICSI996: 11th Annual Symposium on …, 1996
TA Henzinger - 1996
TA Henzinger - IEEE (ed), 1996