The Algorithmic Analysis of Hybrid Systems

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)
DOI: 10.1016/0304-3975(94)00202-T

Topics

11 Figures and Tables

Statistics

050100'95'98'01'04'07'10'13'16
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.

Slides referencing similar topics