×

Interchange format for hybrid systems: Abstract semantics. (English) Zbl 1178.93105

Hespanha, João (ed.) et al., Hybrid systems: Computation and control. 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29–31, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33170-0/pbk). Lecture Notes in Computer Science 3927, 491-506 (2006).
Summary: In [A. Pinto, A. L. Sangiovanni-Vincentelli, L. P. Carloni and R. Passerone, “Interchange formats for hybrid systems: Review and proposal”, Lect. Notes Comput. Sci. 3414, 526–541 (2005; Zbl 1078.93563)] we advocated the need for an interchange format for hybrid systems that enables the integration of design tools coming from many different research communities. In deriving such interchange format the main challenge is to define a language that, while presenting a particular formal semantics, remains general enough to accommodate the translation across the various modeling approaches used in the existing tools. In this paper we give a formal definition of the syntax and semantics for the proposed interchange format. In doing so, we clearly separate the structure of a hybrid system from the semantics attached to it. The semantics can be considered an “abstract semantics” in the sense that it can be refined to yield the model of computation, or “concrete semantics”, which, in turn, is associated to the existing languages that are used to specify hybrid systems. We show how the interchange format can be used to capture the essential information across different modeling approaches and how such information can be used in the translation process.
For the entire collection see [Zbl 1103.68006].

MSC:

93C95 Application models in control theory
68Q05 Models of computation (Turing machines, etc.) (MSC2010)
68Q55 Semantics in the theory of computing

Citations:

Zbl 1078.93563

Software:

d/dt; HyTech
PDFBibTeX XMLCite
Full Text: DOI