Timed and hybrid statecharts and their textual representation

Y. Kesten, A. Pnueli

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

58 Scopus citations


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 Statecharts. The language contains statements for delays, preemption, and timeouts. A structured operational semantics of the language and an illustrative example of its use for specification are presented. Extensions to the specification of hybrid systems are obtained by allowing a differential equation as a statement of the extended language. Structured operational semantics is also given for the hybrid version. The same extensions are then applied to the visual Statechart language, and similar compositional semantics are defined.

Original languageEnglish
Title of host publicationFormal Techniques in Real-Time and Fault-Tolerant Systems - 2nd International Symposium, Proceedings
EditorsJan Rombach, Jan Rombach
PublisherSpringer Verlag
Number of pages30
ISBN (Print)9783540550921
StatePublished - 1 Jan 1991
Externally publishedYes
Event2nd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992 - Nijmegen, Netherlands
Duration: 8 Jan 199210 Jan 1992

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume571 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference2nd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992


  • Hybrid systems
  • Real-time
  • Statecharts
  • Structured operational semantics
  • Timed transitions system

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science (all)


Dive into the research topics of 'Timed and hybrid statecharts and their textual representation'. Together they form a unique fingerprint.

Cite this