The theory of hybrid automata
TA Henzinger�- Proceedings 11th Annual IEEE Symposium on�…, 1996 - ieeexplore.ieee.org
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 1996•ieeexplore.ieee.org
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.
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.
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.
ieeexplore.ieee.org
Showing the best result for this search. See all results