A. Olivero, J. Sifakis, S. Yovine  Home/Search
Context Related
| gaspard.imag.fr//PEOPLE/Jose...cav94.ps verimag.imag.fr/PEOPLE/Josep...cav94.ps verimag.imag.fr/~sifakis/REC...cav94.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: gaspard.imag.fr//PE...abst_biblio (more) From: verimag.imag.fr/PEO...abst_biblio (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ions for the Verification of Linear Hybrid Systems A. Olivero J. Sifakis S. Yovine VERIMAG y 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 ... (Update)
Context of citations to this paper: More
...be constructed, abstractions whose properties are sufficient to check can be useful. This approach is taken in [18] 21] 30] 34] [60], 61] 63] 67] and [70] where reachable sets of differential equations are over or underapproximated. This line of work often allows...
...Recently, there has been a large interest in the verification of continuous systems. Much of this is based on linear automata models [OSY94] which cannot be applied directly to the non linear models of VLSI circuits. Henzinger and Ho [HH95] showed how these methods could be...
Cited by: More
Analyse Algorithmique de Systèmes Hybrides Polygonaux - Schneider (2002) (Correct)
Abstractions for Hybrid Systems - Tiwari (Correct)
Discrete Abstractions of Hybrid Systems - Alur, Henzinger, Lafferriere.. (2000) (Correct)
Similar documents (at the sentence level):
32.0%: Using Abstractions for the Verification of Linear Hybrid Systems - Olivero Sifakis (1994) (Correct)
Active bibliography (related documents): More All
0.5: Model Checking Strategies for Linear Hybrid Systems (Extended.. - Henzinger, Ho (1994) (Correct)
0.1: Automatic Symbolic Verification of Embedded Systems - Alur, Henzinger, Ho (1996) (Correct)
0.1: Verifying ET-LOTOS programs with KRONOS - Daws, Olivero, Yovine (1994) (Correct)
Similar documents based on text: More All
0.8: Decidability of Hybrid Systems with Rectangular Differential.. - Puri, Varaiya (1994) (Correct)
0.4: From ATP to Timed Graphs and Hybrid Systems - Xavier Nicollin Joseph (1992) (Correct)
0.3: An Approach to the Description and Analysis of Hybrid.. - Nicollin, Olivero.. (Correct)
Related documents from co-citation: More All
15: Algorithmic analysis of nonlinear hybrid systems - Henzinger, Ho et al. - 1996
15: Symbolic model checking for realtime systems - Henzinger, Nicollin et al. - 1992
14: Decidability of hybrid systems with rectangular differential inclusions - Puri, Varaiya - 1994
BibTeX entry: (Update)
A. Olivero, J. Sifakis, and S. Yovine. Using abstractions for the verification of linear hybrid systems. In Proc. 6th CAV, pages 81--94. LNCS 818, 1994. http://citeseer.ist.psu.edu/article/olivero94using.html More
@inproceedings{ olivero94using,
author = "{J. Sifakis} {A. Olivero} and {S. Yovine}",
title = "Using Abstractions for the Verification of Linear Hybrid Systems",
booktitle = "Proceedings of the sixth International Conference on Computer-Aided Verification {CAV}",
volume = "818",
publisher = "Springer-Verlag",
address = "Standford, California, USA",
editor = "{David L. Dill}",
pages = "81--94",
year = "1994",
url = "citeseer.ist.psu.edu/article/olivero94using.html" }
Citations (may not include all citations):1097 Automatic verification of finite-state concurrent systems us.. (context) - Clarke, Emerson et al. - 1986
404 Symbolic model-checking for real-time systems - Henzinger, Nicollin et al. - 1992
299 Model-checking for real-time systems (context) - Alur, Courcoubetis et al. - 1990
232 Hybrid automata: an algorithmic approach to the specificatio.. - Alur, Courcoubetis et al. - 1993
167 Automatic symbolic verification of embedded systems - Henzinger, Ho - 1993
139 From timed to hybrid systems - Maler, Manna et al. - 1991
116 From ATP to timed graphs and hybrid systems - Nicollin, Sifakis et al. - 1991
80 Delay analysis in synchronous programs - Halbwachs - 1993
80 An approach to the description and analysis of hybrid system.. - Nicollin, Olivero et al. - 1993
75 Integration graphs: a class of decidable hybrid systems - Kesten, Pnueli et al. - 1993
71 Techniques for automatic verification of real-time systems (context) - Alur - 1991
71 Compiling real-time specifications into extended automata - Nicollin, Sifakis et al. - 1992
60 Software requirements analysis for real-time process-control.. (context) - Jaffe, Leveson et al. - 1991
60 Property preserving simulations (context) - Bouajjani, Bensalem et al. - 1992
40 A tool for symbolic program verification and abstraction - Graf, Loiseaux - 1993
18 On model checking for real-time properties with durations - Bouajjani, Echahed et al. - 1993
2 Using iterative symbolic approximations for timing verificat.. (context) - Wong-Toi, Dill - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://gaspard.imag.fr//PEOPLE/Joseph.Sifakis/abst_biblio.html):
Property Preserving Abstractions for the Verification of.. - Loiseaux, Graf, al. (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC