Y. Kesten, A. Pnueli, J. Sifakis, S. Yovine  Home/Search
Context Related
Links: DBLP | verimag.imag.fr/PEOPL...hs:kpsy93.ps.gz imag.fr//pub/SPECTRE/...hs:kpsy93.ps.gz cse.cse.bgu.ac.il/~...integration.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/PEOPL...hs:kpsy93 (more) From: gaspard.imag.fr/PEOPL...hs:kpsy93 (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Integration Graphs are a computational model developed in the attempt to identify simple Hybrid Systems with decidable analysis problems. We start with the class of constant slope hybrid systems (cshs), in which the right hand side of all differential equations is an integer constant. We refer to continuous variables whose right hand side constants are always 1 as timers. All other continuous variables are called integrators. The first result shown in the paper is that simple questions such... (Update)
Context of citations to this paper: More
...that relaxing some restrictions the reachability problem for some classes of rectangular automata become undecidable. In [4, 5, 6, 11, 90, 138] it was shown that the reachability question for many different extensions of TA with some non clock variables is undecidable under...
Cited by: More
Analyse Algorithmique de Systèmes Hybrides Polygonaux - Schneider (2002) (Correct)
Verifying Linear Duration . . . - Thai (2004) (Correct)
Discrete-Time Control for Rectangular Hybrid Automata - Henzinger, Kopke (1997) (Correct)
Similar documents (at the sentence level):
51.7%: Decidable Integration Graphs - Kesten, Pnueli, Sifakis, Yovine (Correct)
Active bibliography (related documents): More All
0.1: From Duration Calculus To Linear Hybrid Automata - Bouajjani, Lakhnech, Robbana (Correct)
0.1: Timed and Hybrid Statecharts and their Textual Representation - Kesten, Pnueli (1992) (Correct)
0.1: What Good Are Digital Clocks? - Henzinger, Manna, Pnueli (1992) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
1.0: Decidability of Hybrid Systems with Rectangular Differential.. - Puri, Varaiya (1994) (Correct)
0.3: Using Abstractions for the Verification of Linear Hybrid.. - Olivero, Sifakis, Yovine (1994) (Correct)
0.3: On the Decidability of the Reachability Problem for.. - Asarin, Schneider.. (Correct)
Related documents from co-citation: More All
30: Hybrid automata: an algorithmic approach to the specification and analysis of hy.. - Alur, Courcoubetis et al. - 1992
27: Symbolic model checking for realtime systems - Henzinger, Nicollin et al. - 1992
24: The algorithmic analysis of hybrid systems - Alur, Coucoubetis et al. - 1995
BibTeX entry: (Update)
Y. Kesten, A. Pnueli, J. Sifakis, and S. Yovine. Integration graphs: a class of decidable hybrid systems. In Workshop on Theory of Hybrid Systems, Lyngby, Denmark, October 1992. http://citeseer.ist.psu.edu/kesten93integration.html More
@inproceedings{ kesten92integration,
author = "Yonit Kesten and Amir Pnueli and Joseph Sifakis and Sergio Yovine",
title = "Integration Graphs: A Class of Decidable Hybrid Systems",
booktitle = "Hybrid Systems",
pages = "179-208",
year = "1992",
url = "citeseer.ist.psu.edu/kesten93integration.html" }
Citations (may not include all citations):1097 Automatic verification of finite state concurrent systems us.. (context) - Clarke, Emerson et al. - 1986
779 Symbolic model checking: 10 20 states and beyond - Burch, Clarke et al. - 1990
686 a Guide to the theory of NP-Completeness (context) - Garey, Johnson et al. - 1979
299 Model-checking for real-time systems (context) - Alur, Courcoubetis et al. - 1990 ACM DBLP
281 Information Processing Letters (context) - Chaochen, Hoare et al. - 1992
147 Real-time logics: Complexity and expressiveness - Alur, Henzinger - 1990 ACM DBLP
141 Timing assumptions and verification of finite-state concurre.. (context) - Dill - 1989 ACM DBLP
121 Automata for modelling real time systems (context) - Alur, Dill - 1990
116 From ATP to timed graphs and hybrid systems - Nicollin, Sifakis et al. - 1991 ACM DBLP
80 An approach to the description and analysis of hybrid system.. - Nicollin, Olivero et al. - 1993 ACM DBLP
69 What good are digital clocks - Henzinger, Manna et al. - 1992
11 Integer Programming (context) - Salkin - 1975 ACM
6 A formal approach to hybrid systems (context) - Maler, Manna et al. - 1992
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