Oded Maler, Zohar Manna, Amir Pnueli  Home/Search
Context Related
Links: ACM DBLP | maui.theoinf.tuil...timedhybrid.ps.gz stanford.edu/pub/amir/hybridrex.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: maui.theoinf.tuilmenau....hybrid (more) From: stanford.edu (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We propose a framework for the formal specification and verification of timed and hybrid systems. For timed systems we propose a specification language that refers to time only through age functions which measure the length of the most recent time interval in which a given formula has been continuously true. We then consider hybrid systems, which are systems consisting of a non-trivial mixture of discrete and continuous components, such as a digital controller that controls a continuous... (Update)
Cited by: More
Structured Modeling of Concurrent Stochastic Hybrid Systems - Bernadsky, Sharykin, Alur (2004) (Correct)
A Formal Mathematical Framework for - Modeling Probabilistic Hybrid (Correct)
Cross-aspect Queries and Dynamic Views for Model-based.. - David Oglesby Kirk (Correct)
Similar documents (at the sentence level):
5.9%: Timed and Hybrid Statecharts and their Textual Representation - Kesten, Pnueli (1992) (Correct)
Active bibliography (related documents): More All
0.1: Formal Methods For Real-Time Systems - Stuart (1996) (Correct)
0.1: Models for Reactivity - Manna, Pnueli (1994) (Correct)
0.1: Logics and Models of Real Time: A Survey - Alur, Henzinger (1992) (Correct)
Similar documents based on text: More All
0.2: Deductive Modelchecking - Sipma (1999) (Correct)
0.1: On the Learnability of Infinitary Regular Sets - Maler, Pnueli (1994) (Correct)
0.1: On the Synthesis of Discrete Controllers for Timed.. - Maler, Pnueli, Sifakis (Correct)
Related documents from co-citation: More All
34: Hybrid automata: an algorithmic approach to the specification and analysis of hy.. - Alur, Courcoubetis et al. - 1992
31: The algorithmic analysis of hybrid systems - Alur, Coucoubetis et al. - 1995
27: From ATP to timed graphs and hybrid systems - Nicollin, Sifakis et al. - 1992
BibTeX entry: (Update)
O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In J.W. de Bakker, K. Huizing, W.-P. de Roever, and G. Rozenberg, editors, Real Time: Theory in Practice, Lecture Notes in Computer Science 600, pages 447--484. Springer-Verlag, 1992. http://citeseer.ist.psu.edu/maler92from.html More
@inproceedings{ maler91from,
author = "O. Maler and Z. Manna and A. Pnueli",
title = "From Timed to Hybrid Systems",
booktitle = "Real-Time: Theory in Practice",
volume = "600",
month = "3--7~June",
publisher = "Springer-Verlag",
address = "Mook, The Netherlands",
editor = "J. W. de Bakker and C. Huizing and W. P. de Roever and G. Rozenberg",
pages = "447--484",
year = "1991",
url = "citeseer.ist.psu.edu/maler92from.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems: Speci.. (context) - Manna, Pnueli - 1991
1174 Statecharts: A visual formalism for complex systems - Harel - 1987
299 Model checking for real-time systems (context) - Alur, Courcoubetis et al. - 1990
281 Information Processing Letters (context) - Chaochen, Hoare et al. - 1992
214 An old-fashioned recipe for real time - Abadi, Lamport - 1991 ACM DBLP
172 A really temporal logic - Alur, Henzinger - 1989 ACM DBLP
160 What good is temporal logic (context) - Lamport - 1983
147 Real-time logics: Complexity and expressiveness - Alur, Henzinger - 1990 ACM DBLP
122 Applications of temporal logic to the specification and veri.. (context) - Pnueli - 1986 ACM DBLP
119 Using branching time temporal logic to synthesize synchroniz.. (context) - Emerson, Clarke - 1982 DBLP
118 Temporal Logic for Real-Time Systems (context) - Ostroff - 1989
116 From ATP to timed graphs and hybrid systems - Nicollin, Sifakis et al. - 1991
112 Statecharts: A visual approach to complex systems (context) - Harel - 1984
103 Specifying and verifying requirements of real-time systems (context) - Hansen, Ravn et al. - 1991 ACM DBLP
82 What is in a step: On the semantics of statecharts (context) - Pnueli, Shalev - 1991
73 Temporal proof methodologies for real-time systems - Henzinger, Manna et al. - 1991 ACM DBLP
70 Verification of concurrent programs: The temporal framework (context) - Manna, Pnueli - 1981
68 The anchored version of the temporal framework - Manna, Pnueli - 1989 ACM DBLP
58 Explicit clock temporal logic (context) - Harel, Lichtenstein et al. - 1990 DBLP
44 Combining logic and differential equations for describing re.. (context) - Sandewall - 1989
43 Timed and hybrid statecharts and their textual representatio.. - Kesten, Pnueli - 1992 ACM DBLP
41 Applications of temporal logic to the specification of real .. (context) - Pnueli, Harel - 1988
40 Real-time programming and asynchronous message passing (context) - Koymans, Vytopyl et al. - 1983 ACM DBLP
38 ATP: an algebra for timed processes (context) - Nicollin, Richier et al. - 1990
37 Putting time into proof outlines - Schneider, Bloom et al. - 1991 ACM DBLP
25 Metric spaces as models for real-time concurrency (context) - Reed, Roscoe - 1987 ACM DBLP
8 Specifying message passing and real-time systems with real-t.. (context) - Koymans, Kuiper et al. - 1987
1 To appear in: Foundations of Real-Time Computing: Formal Spe.. (context) - Marzullo, Schneider et al. - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://maui.theoinf.tu-ilmenau.de/forschung/links/hybrid.html): More
Timed and Hybrid Statecharts and their Textual Representation - Kesten, Pnueli (1992) (Correct)
Timed Transition Systems - Thomas Henzinger (1992) (Correct)
Model Checking Strategies for Linear Hybrid Systems (Extended.. - Henzinger, Ho (1994) (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