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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
A new switching control algorithm based on state trajectory approximation is proposed to regulate the output voltage of a… (More)
  • figure 1
  • table I
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Deterministic finite automata (DFAs) are widely used to perform regular expression matching in linear time. Several techniques… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
2007
Highly Cited
2007
  • Goran Frehse
  • International Journal on Software Tools for…
  • 2007
In 1995, HyTech broke new ground as a potentially powerful tool for verifying hybrid systems. But due to practical and systematic… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Hybrid automata provide a language for modeling and analyzing digital and analogue computations in real-time systems. Hybrid… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1999
Highly Cited
1999
  • J. Lygerosy, S. Sastryyyfjohans
  • 1999
Fundamental properties of hybrid automata, such as existence and uniqueness of executions , are studied. Particular attention is… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
A hybrid automaton is a formal model for a mixed discrete-continuous system. We classify hybrid automata acoording to what… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Hybrid automata model systems with both digital and analog components, such az embedded control programs. Many verification tasks… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1995
Highly Cited
1995
The analysis, veri cation, and control of hybrid automata with nite bisimulations can be reduced to nite-state problems. We… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Hybrid systems are digital real-time systems that are embedded in analog environments. Model-checking tools are available for the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1992
Highly Cited
1992
We introduce the framework of hybrid automata as a model and speci cation language for hybrid systems. Hybrid automata can be… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?