Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Hybrid automaton

Known as: Hybrid automata 
In automata theory, a hybrid automaton (plural: hybrid automata or hybrid automatons) is a mathematical model for precisely describing systems in… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
A number of powerful and scalable hybrid systems model checkers have recently emerged. Although all of them honor roughly the… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Highly Cited
2007
Highly Cited
2007
Deterministic finite automata (DFAs) are widely used to perform regular expression matching in linear time. Several techniques… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Highly Cited
2004
Highly Cited
2004
This paper presents a computational framework for modeling hybrid systems in discrete-time. We introduce the class of discrete… Expand
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • table II
Highly Cited
2003
Highly Cited
2003
Hybrid automata provide a language for modeling and analyzing digital and analogue computations in real-time systems. Hybrid… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1998
Highly Cited
1998
Hybrid automata model systems with both digital and analog components, such as embedded control programs. Many verification tasks… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1997
Highly Cited
1997
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1996
Highly Cited
1996
  • T. A. Henzinger
  • Proceedings 11th Annual IEEE Symposium on Logic…
  • 1996
  • Corpus ID: 14272656
We summarize several recent results about hybrid automata. Our goal is to demonstrate that concepts from the theory of discrete… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 8
Highly Cited
1995
Highly Cited
1995
Hybrid automata model systems with both digital and analog components, such as embedded control programs. Many verification tasks… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1993
Highly Cited
1993
We present a model checking procedure and its implementation for the automatic verification of embedded systems. Systems are… Expand
  • figure 1
  • figure 2
Highly Cited
1992
Highly Cited
1992
We introduce the framework of hybrid automata as a model and specification language for hybrid systems. Hybrid automata can be… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5