The theory of hybrid automata

20021,841 citationsJournal Article

Authors

Thomas A. Henzinger · University of California, Berkeley

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.

Topics & Keywords

Formal Methods in Verification Petri Nets in System Modeling semigroups and automata theory

Publication Details

DOI: 10.1109/lics.1996.561342

Field-Weighted Citation Impact: 79.80

Command Palette

The theory of hybrid automata

Authors

Abstract

Topics & Keywords

Publication Details