Nicolas Halbwachs, Pascal Raymond, Yann-Eric Proy  Home/Search
Context Related
Links: DBLP | verimag.imag.fr/~raymond...hybrid.ps.gz 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: verimag.imag.fr/~raymond...hybrid (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a new application of the abstract interpretation by means of convex polyhedra, to a class of hybrid systems, i.e., systems involving both discrete and continuous variables. The result is an efficient automatic tool for approximate, but conservative, verification of reachability properties of these systems. 1 Introduction Timed automata [AD90] have been recently introduced to model real-time systems. A timed automaton is a finite automaton associated with a finite set of clocks,... (Update)
Cited by: More
Studies in Computer Aided Verification of Protocols - Griffioen (2000) (Correct)
Analyse Statique De Programmes : Fondements Et Applications - Jensen (1999) (Correct)
Precise Widening Operators for Convex Polyhedra - Bagnara, Hill, Ricci, Zaffanella (2003) (Correct)
Similar documents (at the sentence level):
31.0%: Verification of Real-Time Systems using Linear Relation.. - Halbwachs, Proy, Roumanoff (1997) (Correct)
Active bibliography (related documents): More All
0.3: The Algorithmic Analysis of Hybrid Systems - Alur, Courcoubetis, Halbwachs.. (1995) (Correct)
0.2: Verification of Real-Time Systems by Successive Over and.. - Dill, Wong-Toi (1995) (Correct)
0.1: Widening Operators for Powerset Domains - Roberto Bagnara Patricia (2004) (Correct)
Similar documents based on text: More All
0.4: From Discrete Duration Calculus to Symbolic Automata - Gonnord, Halbwachs, Raymond (2004) (Correct)
0.3: A Tutorial Of Lustre - Halbwachs, Raymond (2001) (Correct)
0.2: Dynamic Partitioning in Analyses of Numerical Properties - Jeannet, Halbwachs, Raymond (1999) (Correct)
Related documents from co-citation: More All
36: Automatic Discovery of Linear Restraints among Variables of a Program - Cousot, Halbwachs - 1978
34: Abstract interpretation: a unified lattice model for static analysis of programs.. (context) - Cousot, Cousot - 1977
25: The algorithmic analysis of hybrid systems - Alur, Coucoubetis et al. - 1995
BibTeX entry: (Update)
N. Halbwachs. Verification of Linear Hybrid Systems by Means of Convex Approximations. In Proceedings of SAS'94, Lecture Notes in Computer Science 864, pages 223--237, 1994. http://citeseer.ist.psu.edu/halbwachs94verification.html More
@inproceedings{ halbwachs94verification,
author = "Nicolas Halbwachs and Yann-Eric Proy and Pascal Raymond",
title = "Verification of Linear Hybrid Systems by Means of Convex Approximations",
booktitle = "Static Analysis Symposium",
pages = "223-237",
year = "1994",
url = "citeseer.ist.psu.edu/halbwachs94verification.html" }
Citations (may not include all citations):815 Abstract interpretation: a unified lattice model for static .. (context) - Cousot, Cousot - 1977
404 Symbolic model-checking for real-time systems - Henzinger, Nicollin et al. - 1992
299 Model checking of real-time systems (context) - Alur, Courcoubetis et al. - 1990
250 Automatic discovery of linear restraints among variables of .. - Cousot, Halbwachs - 1978 ACM DBLP
232 Hybrid automata: an algorithmic approach to the specificatio.. - Alur, Courcoubetis et al. - 1993
184 Automata for modeling real-time systems (context) - Alur, Dill - 1990
167 Automatic symbolic verification of embedded systems - Alur, Henzinger et al. - 1993
148 A fast mutual exclusion algorithm - Lamport - 1987
139 From timed to hybrid systems - Maler, Manna et al. - 1991 ACM DBLP
80 Delay analysis in synchronous programs - Halbwachs - 1993 ACM DBLP
80 An approach to the description and analysis of hybrid system.. - Nicollin, Olivero et al. - 1993 ACM DBLP
75 Integration graphs: a class of decidable hybrid systems - Kesten, Pnueli et al. - 1993 DBLP
71 Techniques for automatic verification of real-time systems (context) - Alur - 1991
44 An implementation of three algorithms for timing verificatio.. - Alur, Courcoubetis et al. - 1992
21 Algorithm for discovering the set of all solutions of a line.. (context) - Chernikova - 1968
19 A note on Chernikova's algorithm - LeVerge - 1992
17 D'etermination automatique de relations lin'eaires v'erifi'e.. (context) - Halbwachs - 1979
4 Model checking strategies for hybrid systems (context) - Henzinger, Ho - 1994
1 Comparing the Galois connection and widenning/narrowing appr.. (context) - Cousot, Cousot - 1992
1 Using iterative approximations for timing verification (context) - Wong-Toi, Dill - 1993
The graph only includes citing articles where the year of publication is known.
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