Hybrid system

Known as: Hybrid dynamical system, Hybrid systems 
A hybrid system is a dynamic system that exhibits both continuous and discrete dynamic behavior – a system that can both flow (described by a… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1967-2018
020040019672018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2005
Highly Cited
2005
  • Goran Frehse
  • International Journal on Software Tools for…
  • 2005
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
2000
Highly Cited
2000
In this paper we prove, in a constructive way, the equivalence between hybrid and piecewise afine systems. By focusing our… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2000
Highly Cited
2000
A uni ed approach to decidability questions for veri cation algorithms of hybrid systems is obtained by the construction of a… (More)
Is this relevant?
Highly Cited
1998
Highly Cited
1998
In this paper, we introduce some analysis tools for switched and hybrid systems. We first present work on stability analysis. We… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
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… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Complex natural and engineered systems typically possess a hierarchical structure, characterized by continuousvariable dynamics… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1997
Highly Cited
1997
This paper presents a computational approach to stability analysis of nonlinear and hybrid systems. The search for a piecewise… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
A hybrid automaton is a formalmodel for a mixed discrete-continuous system. We classify hybrid automata acoording to what… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 8
Is this relevant?
Highly Cited
1995
Highly Cited
1995
We present a general framework for the formal specification and algorithmic analysis of hybrid systems. A hybrid system consists… (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?