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)

(More)

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)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

- Alberto Bemporad, Giancarlo Ferrari-Trecate, Manfred Morari
- IEEE Trans. Automat. Contr.
- 2000

In this paper we prove, in a constructive way, the equivalence between hybrid and piecewise afine systems. By focusing our… (More)

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)

Is this relevant?

Highly Cited

1997

Highly Cited

1997

- Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
- International Journal on Software Tools for…
- 1997

A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a… (More)

Is this relevant?

Highly Cited

1997

Highly Cited

1997

Complex natural and engineered systems typically possess a hierarchical structure, characterized by continuousvariable dynamics… (More)

Is this relevant?

Highly Cited

1997

Highly Cited

1997

- Mikael Johansson, Anders Rantzer
- 1997 European Control Conference (ECC)
- 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

- Thomas A. Henzinger
- LICS
- 1996

A hybrid automaton is a formalmodel for a mixed discrete-continuous system. We classify hybrid automata acoording to what… (More)

Is this relevant?

Highly Cited

1995

Highly Cited

1995

- Rajeev Alur, Costas Courcoubetis, +6 authors Sergio Yovine
- Theor. Comput. Sci.
- 1995

We present a general framework for the formal specification and algorithmic analysis of hybrid systems. A hybrid system consists… (More)

Is this relevant?

Highly Cited

1992

Highly Cited

1992

- Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho
- Hybrid Systems
- 1992

We introduce the framework of hybrid automata as a model and speci cation language for hybrid systems. Hybrid automata can be… (More)

Is this relevant?