Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Formal Verification of Hybrid Systems Rajeev Alur

Summary: Formal Verification of Hybrid Systems
Rajeev Alur
University of Pennsylvania
In formal verification, a designer first constructs a model,
with mathematically precise semantics, of the system un-
der design, and performs extensive analysis with respect
to correctness requirements. The appropriate mathemati-
cal model for embedded control systems is hybrid systems
that combines the traditional state-machine based models
for discrete control with classical differential-equations based
models for continuously evolving physical activities. In this
article, we briefly review selected existing approaches to for-
mal verification of hybrid systems, along with directions for
future research.
Categories and Subject Descriptors
D.2.4 [Software Engineering]: Software/Program Verifi-
cation; J.7 [Computers in other systems]: Real time,
Process control


Source: Alur, Rajeev - Department of Computer and Information Science, University of Pennsylvania


Collections: Computer Technologies and Information Sciences