The Algorithmic Analysis of Hybrid Systems


We present a general framework for the formal specification and algorithmic analysis of hybrid systems. A hybrid system consists of a discrete program with an analog environment. We model hybrid systems as finite automata equipped with variables that evolve continuously with time according to dynamical laws. For verification purposes, we restrict ourselves… (More)
DOI: 10.1016/0304-3975(94)00202-T


11 Figures and Tables


Citations per Year

1,851 Citations

Semantic Scholar estimates that this publication has 1,851 citations based on the available data.

See our FAQ for additional information.