The theory of hybrid automata

T.A. Henzinger, in:, IEEE, 1996, pp. 278–292.

Download
No fulltext has been uploaded. References only!

Conference Paper | Published
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
Publishing Year
Date Published
1996-01-01
Page
278 - 292
Conference
LICS: Logic in Computer Science
IST-REx-ID

Cite this

Henzinger TA. The theory of hybrid automata. In: IEEE; 1996:278-292. doi:10.1109/LICS.1996.561342
Henzinger, T. A. (1996). The theory of hybrid automata (pp. 278–292). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.1996.561342
Henzinger, Thomas A. “The Theory of Hybrid Automata,” 278–92. IEEE, 1996. https://doi.org/10.1109/LICS.1996.561342 .
T. A. Henzinger, “The theory of hybrid automata,” presented at the LICS: Logic in Computer Science, 1996, pp. 278–292.
Henzinger TA. 1996. The theory of hybrid automata. LICS: Logic in Computer Science 278–292.
Henzinger, Thomas A. The Theory of Hybrid Automata. IEEE, 1996, pp. 278–92, doi:10.1109/LICS.1996.561342 .

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar