Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences


UC Berkeley


2008 Research Summary

Interchange Semantics for Hybrid System Models

View Current Project Information

Alessandro Pinto, Luca Carloni1, Roberto Passerone2 and Alberto L. Sangiovanni-Vincentelli

In [1] 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 an 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 project we develop a formal definition of the syntax and semantics for the proposed interchange format [2]. In doing so, we clearly separate the structure of a hybrid system from the semantics attached to it. The semantics can be considered "abstract semantics" in the sense that it can be refined to yield the model of computation, or "concrete semantics," which, in turn, are associated with 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. We plan to develop translators to and from the interchange format for many of the existing tools for hybrid systems [3].

A. Pinto, A. Sangiovanni-Vincentelli, R. Passerone, and L. Carloni "Interchange Formats for Hybrid Systems: Review and Proposal," Hybrid Systems: Computation and Control, Zurich, Switzerland, 2005.
A. Pinto, L. Carloni, R. Passerone, and A. Sangiovanni-Vincentelli, "Interchange Formats for Hybrid Systems: Abstract Semantics," Hybrid Systems: Computation and Control, Santa Barbara, CA, 2006.

1Columbia University
2University of Trento, Italy