Using Abstractions for the Verification of Linear Hybrid Systems (1994)
Cached
Download Links
- [www-verimag.imag.fr]
- [www-verimag.imag.fr]
- DBLP
Other Repositories/Bibliography
| Venue: | Proceedings of the 6th Annual Conference on Computer-Aided Verification, Lecture Notes in Computer Science 818 |
| Citations: | 18 - 5 self |
BibTeX
@INPROCEEDINGS{Sifakis94usingabstractions,
author = {Olivero Sifakis and A. Olivero and J. Sifakis and S. Yovine},
title = {Using Abstractions for the Verification of Linear Hybrid Systems},
booktitle = {Proceedings of the 6th Annual Conference on Computer-Aided Verification, Lecture Notes in Computer Science 818},
year = {1994},
pages = {81--94},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
ions for the Verification of Linear Hybrid Systems ? A. Olivero, J. Sifakis and S. Yovine VERIMAG ?? Miniparc-Zirst rue Lavoisier 38330 Montbonnot St. Martin, France 1 Introduction Hybrid systems are dynamical systems consisting of interacting discrete and continuous components [NSY91, MMP91]. They are used to model the combined behavior of embedded real-time systems and their physical environments. Recently, there have been attempts to develop verification methods for hybrid systems by working in two complementary directions: -- The first direction concerns the identification of subclasses of hybrid systems for which there exist decidability results and effective verification methods for various classes of properties. The main decidability results concern very restricted classes of hybrid systems like timed automata [AD90, ACD90, Alu91, NSY91] and integration graphs [KPSY93]. -- The second direction concerns the elaboration of a general verification methodology for classes of s...
