Highly Influenced
9 Excerpts
Abstract
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)
Topics
11 Figures and Tables
Statistics
Citations per Year
1,852 Citations
Semantic Scholar estimates that this publication has 1,852 citations based on the available data.
See our FAQ for additional information.