articleDec 24, 2002Closed access

The theory of hybrid automata

TAThomas A. Henzinger

University of California, Berkeley

Indexed incrossref

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.

Citation impact

1,853
total citations
FWCI
79.80
Percentile
100%
References
58
Citations per year

Authors

1

Topics & keywords

Topics
Keywords
  • Uncountable set
  • Automaton
  • Computer science
  • Finite-state machine
  • Theoretical computer science
  • Hybrid system
  • Automata theory
  • State (computer science)
No related works found for this paper.