DocumentCode
388808
Title
Variations on the semantics of graphical models for reactive systems
Author
André, Charles ; Rigault, Jean-Paul
Author_Institution
I3S Lab., Univ. of Nice, Sophia Antipolis, France
Volume
4
fYear
2002
fDate
6-9 Oct. 2002
Abstract
The goal of this paper is to study concepts underlying graphical instant-based models. They are useful for reactive system modeling. They should be formal models (mathematical semantics). Some are able to express in an unambiguous and concise way complex reactive behaviors. The expressiveness may be an impediment to the readability and the intuitive understanding. We analyze the influence of some primitives on the computation (compilation or interpretation) of the behavior.
Keywords
discrete event systems; embedded systems; complex reactive behaviors; formal models; graphical instant-based models; intuitive understanding; mathematical semantics; reactive system modeling; readability; Automobiles; Concurrent computing; Graphical models; Impedance; Laboratories; Mathematical model; Modeling; Process control; Real time systems; Robot programming;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man and Cybernetics, 2002 IEEE International Conference on
ISSN
1062-922X
Print_ISBN
0-7803-7437-1
Type
conf
DOI
10.1109/ICSMC.2002.1173289
Filename
1173289
Link To Document