Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Formal Verification of Hybrid Systems Rajeev Alur
 

Summary: Formal Verification of Hybrid Systems
Rajeev Alur
University of Pennsylvania
alur@cis.upenn.edu
ABSTRACT
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