# Hybrid automaton

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2008

Highly Cited

2008

- IEEE Transactions on Industrial Electronics
- 2008

A new switching control algorithm based on state trajectory approximation is proposed to regulate the output voltage of aâ€¦Â (More)

Is this relevant?

Highly Cited

2007

Highly Cited

2007

- CoNEXT
- 2007

Deterministic finite automata (DFAs) are widely used to perform regular expression matching in linear time. Several techniquesâ€¦Â (More)

Is this relevant?

Highly Cited

2007

Highly Cited

2007

- 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)

Is this relevant?

Highly Cited

2003

Highly Cited

2003

- IEEE Trans. Automat. Contr.
- 2003

Hybrid automata provide a language for modeling and analyzing digital and analogue computations in real-time systems. Hybridâ€¦Â (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- 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

- LICS
- 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

- STOC
- 1995

Hybrid automata model systems with both digital and analog components, such az embedded control programs. Many verification tasksâ€¦Â (More)

Is this relevant?

Highly Cited

1995

Highly Cited

1995

- ICALP
- 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

- CAV
- 1995

Hybrid systems are digital real-time systems that are embedded in analog environments. Model-checking tools are available for theâ€¦Â (More)

Is this relevant?

Highly Cited

1992

Highly Cited

1992

- 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?