@inproceedings{7a1bb96f5dd841caa1b9996fa6c9d9cb,
title = "Timed and hybrid statecharts and their textual representation",
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 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.",
keywords = "Hybrid systems, Real-time, Statecharts, Structured operational semantics, Timed transitions system",
author = "Y. Kesten and A. Pnueli",
note = "Funding Information: *This research was supported in part by the France-Israel project for cooperation in Computer Science, and by the European Community ESPRIT Basic Research Action Project 3096 (SPEC). tDepartment of Applied Mathematics, Weizmann Institute, Rehovot, Israel Publisher Copyright: {\textcopyright} 1991, Springer Verlag. All rights reserved.; 2nd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992 ; Conference date: 08-01-1992 Through 10-01-1992",
year = "1991",
month = jan,
day = "1",
doi = "10.1007/3-540-55092-5_32",
language = "English",
isbn = "9783540550921",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "591--620",
editor = "Jan Rombach and Jan Rombach",
booktitle = "Formal Techniques in Real-Time and Fault-Tolerant Systems - 2nd International Symposium, Proceedings",
address = "Germany",
}