Y. Kesten, Amir Pnueli  Home/Search
Context Related
| maui.theoinf.tuil...hystchart.ps.gz wisdom.weizmann.ac.il/~am...tkp92.ps.gz wisdom.weizmann.ac.il/hom...tkp92.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: maui.theoinf.tuilmenau....hybrid (more) From: wisdom.weizmann.ac.il/~...candj (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . A structured operational semantics is presented for Timed and Hybrid Statecharts, which are generalizations of the visual specification language of Statecharts intended to model real-time and hybrid systems. In order to study some of the basic features of Statecharts and the extensions necessary to treat real-time and continuous behaviors without being distracted by the graphical representation, we introduce a concurrent real-time language that can be viewed as a textual representation of... (Update)
Context of citations to this paper: More
...already existing extensions of the statecharts that could satisfy as closely as possible our needs. We found that Timed Statecharts [11] proposed by Pnueli and Kesten associate temporal limits to transition execution, moreover they assume a dense time domain (which assumes the...
Cited by: More
An Implementable Formal Language for Hard Real-Time Systems - Bradley (1995) (Correct)
Modular and Visual Specification of Hybrid Systems - An.. - Grosu, al. (1998) (Correct)
bCANDLE: Formal Modelling and Analysis of CAN Control.. - Kendall, Bradley.. (1998) (Correct)
Similar documents (at the sentence level):
10.7%: From Timed to Hybrid Systems - Maler, Manna, Pnueli (1992) (Correct)
Active bibliography (related documents): More All
0.2: On the Complexity of Verifying Concurrent Transition Systems - Harel, Kupferman, Vardi (1997) (Correct)
0.2: Workflows, Transactions, and Datalog - Bonner (1999) (Correct)
0.2: Representation and Analysis of Reactive Behaviors: - Synchronous Approach Charles (Correct)
Similar documents based on text: More All
0.0: Preemption in Concurrent Systems - Berry (1993) (Correct)
0.0: Relative Performance of Preemption-Safe Locking and.. - Michael, Scott (1997) (Correct)
0.0: Connection Preemption: Issues, Algorithms, and a Simulation .. - Peyravian, Kshemkalyani (1997) (Correct)
Related documents from co-citation: More All
28: Statecharts: A visual formalism for complex systems - Harel - 1987
11: Real-Time Object-Oriented Modeling (context) - Selic, Gullekson et al. - 1994
10: What is in a step: On the semantics of statecharts (context) - Pnueli, Shalev - 1991
BibTeX entry: (Update)
Kesten, Y. and A. Pnueli, "Timed and Hybrid Statecharts and their Textual Representation", In Formal Techniques in Real-Time and Fault-Tolerant Systems (J. Vytopil, ed.), Lecture Notes in Computer Science, Vol. 571, Springer-Verlag, Berlin, 1992, pp. 591--619. http://citeseer.ist.psu.edu/kesten92timed.html More
@inproceedings{ kesten92timed,
author = "Y. Kesten and A. Pnueli",
title = "Timed and Hybrid Statecharts and Their Textual Representation",
booktitle = "Formal Techniques in Real-Time and Fault-Tolerant Systems 2nd International Symposium",
volume = "571",
publisher = "Springer-Verlag",
address = "Nijmegen, The Netherlands",
editor = "J. Vytopil",
pages = "591--",
year = "1992",
url = "citeseer.ist.psu.edu/kesten92timed.html" }
Citations (may not include all citations):1174 Statecharts: A visual formalism for complex systems - Harel - 1987
906 A structural approach to operational semantics - Plotkin - 1981
299 Model-checking for real-time systems (context) - Alur, Courcoubetis et al. - 1990
297 Statemate: A working environment for the development of comp.. - Harel, Lachover et al. - 1990
214 An old-fashioned recipe for real time - Abadi, Lamport - 1991
194 the development of reactive systems (context) - Harel, Pnueli - 1985
172 A really temporal logic - Alur, Henzinger - 1989
118 the formal semantics of statecharts (context) - Harel, Pnueli et al. - 1986
118 Temporal Logic for Real-Time Systems (context) - Ostroff - 1989
116 From ATP to timed graphs and hybrid systems - Nicollin, Sifakis et al. - 1991
73 Temporal proof methodologies for real-time systems - Henzinger, Manna et al. - 1991
41 Applications of temporal logic to the specification of real .. (context) - Pnueli, Harel - 1988
38 Atp: an algebra for timed processes (context) - Nicollin, Richier et al. - 1990
25 Metric spaces as models for real-time concurrency (context) - Reed, Roscoe - 1987
19 Modelling statecharts behaviour in a fully abstract way (context) - Huizing, Gerth et al. - 1988
14 Semantics of reactive systems: comparison and full abstracti.. (context) - Huizing - 1991
10 What is in a step (context) - Pnueli, Shalev - 1989
9 An interleaving model for real time - Henzinger, Manna et al. - 1990
9 the power of bounded concurrency II: The pushdown automata l.. (context) - Hirst, Harel - 1990
6 A formal approach to hybrid systems (context) - Maler, Manna et al. - 1992
6 A thesis for bounded concurrency (context) - Harel - 1989
6 On statecharts with overlapping (context) - Harel, Kahana - 1989
4 Argos: un langage graphique pour la conception (context) - Maraninchi - 1990
1 Languages for reactive systems: a common framework for compa.. (context) - Maraninchi - 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 Transition Systems - Thomas Henzinger (1992) (Correct)
From Timed to Hybrid Systems - Maler, Manna, Pnueli (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