The Theory of Hybrid Automata

DMCA

The Theory of Hybrid Automata (1996)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Thomas A. Henzinger

Citations:

681 - 12 self

BibTeX

@INPROCEEDINGS{Henzinger96thetheory,
    author = {Thomas A. Henzinger},
    title = {The Theory of Hybrid Automata},
    booktitle = {},
    year = {1996},
    pages = {278--292},
    publisher = {IEEE Computer Society Press}
}

OpenURL

Abstract

A hybrid automaton is a formal model for a mixed discrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically. The classification reveals structure on mixed discrete-continuous state spaces that was previously studied on purely discrete state spaces only. In particular, various classes of hybrid automata induce finitary trace equivalence (or similarity, or bisimilarity) relations on an uncountable state space, thus permitting the application of various model-checking techniques that were originally developed for finite-state systems.

Keyphrases

hybrid automaton finitary trace equivalence finite-state system uncountable state space various class discrete state space formal model various model-checking technique mixed discrete-continuous system mixed discrete-continuous state space

DMCA