X. Nicollin, A. Olivero, J. Sifakis, S. Yovine  Home/Search
Context Related
Links: ACM DBLP | verimag.imag.fr/PEOPL...hs:nosy93.ps.gz verimag.imag.fr/~yovi...hs:nosy93.ps.gz verimag.imag.fr/~yovine/a...hs92a.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:nosy93 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Introduction The paper presents a model for hybrid systems, that is, systems that combine discrete and continuous components. Such systems are usually reactive real-time systems used to control an environment evolving over time. A main assumption is that a run of a hybrid system is a sequence of two-phase steps. The first phase of a step corresponds to a continuous state transformation usually described in terms of some parameter representing the time elapsed during this phase. In the second... (Update)
Cited by: More
Analyse Algorithmique de Systèmes Hybrides Polygonaux - Schneider (2002) (Correct)
Abstractions for Hybrid Systems - Tiwari (Correct)
Dense Counter Machines and Verification Problems - Xie, Dang, Ibarra, Pietro (Correct)
Similar documents (at the sentence level):
6.0%: The Algorithmic Analysis of Hybrid Systems - Alur, Courcoubetis, Halbwachs.. (1995) (Correct)
Active bibliography (related documents): More All
0.0: Using Abstractions for the Verification of Linear Hybrid.. - Olivero, Sifakis, Yovine (1994) (Correct)
0.0: A Foundation for the Design and Analysis of Robotic Systems and.. - Ying (1994) (Correct)
0.0: Design Principles for Real-Time Process Control Systems - Sima'an (1994) (Correct)
Similar documents based on text: More All
1.1: 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: Compiling Real-Time Specifications into Extended Automata - Nicollin, Sifakis, Yovine (1992) (Correct)
Related documents from co-citation: More All
53: Hybrid automata: an algorithmic approach to the specification and analysis of hy.. - Alur, Courcoubetis et al. - 1992
28: The algorithmic analysis of hybrid systems - Alur, Coucoubetis et al. - 1995
24: From timed to hybrid systems - Maler, Manna et al. - 1992
BibTeX entry: (Update)
X. Nicollin, J. Sifakis, A. Olivero, and S. Yovine. An approach to the description and analysis of hybrid systems. To appear. http://citeseer.ist.psu.edu/3170.html More
@inproceedings{ nicollin92approach,
author = "Xavier Nicollin and Alfredo Olivero and Joseph Sifakis and Sergio Yovine",
title = "An Approach to the Description and Analysis of Hybrid Systems",
booktitle = "Hybrid Systems",
pages = "149-178",
year = "1992",
url = "citeseer.ist.psu.edu/3170.html" }
Citations (may not include all citations):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. - 1992
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 ACM DBLP
103 Specifying and verifying requirements of real-time systems (context) - Hansen, Ravn et al. - 1991 ACM DBLP
75 Integration graphs: a class of decidable hybrid systems - Kesten, Pnueli et al. - 1992
75 Timed transition systems - Henzinger, Manna et al. - 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 ACM DBLP
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