Interchange Formats for Hybrid Systems: Abstract Semantics
Alessandro Pinto, Luca Carloni, Roberto Passerone, Alberto Sangiovanni-Vincentelli

Citation
Alessandro Pinto, Luca Carloni, Roberto Passerone, Alberto Sangiovanni-Vincentelli. "Interchange Formats for Hybrid Systems: Abstract Semantics". Hybrid Systems: Computation and Control, Joao Hespanha and Ashish Tiwari (eds.), 491-506, March, 2006.

Abstract
In~\cite{pinto05} 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.

Electronic downloads

(No downloads are available for this publication.)

Citation formats

• HTML

  Alessandro Pinto, Luca Carloni, Roberto Passerone, Alberto
  Sangiovanni-Vincentelli. <a
  href="http://chess.eecs.berkeley.edu/pubs/101.html"
  >Interchange Formats for Hybrid Systems: Abstract
  Semantics</a>, Hybrid Systems: Computation and
  Control, Joao Hespanha and Ashish Tiwari (eds.), 491-506,
  March, 2006.

• Plain text

  Alessandro Pinto, Luca Carloni, Roberto Passerone, Alberto
  Sangiovanni-Vincentelli. "Interchange Formats for
  Hybrid Systems: Abstract Semantics". Hybrid Systems:
  Computation and Control, Joao Hespanha and Ashish Tiwari
  (eds.), 491-506, March, 2006.

• BibTeX

  @inproceedings{PintoCarloniPasseroneSangiovanniVincentelli06_InterchangeFormatsForHybridSystemsAbstractSemantics,
      author = {Alessandro Pinto and Luca Carloni and Roberto
                Passerone and Alberto Sangiovanni-Vincentelli},
      title = {Interchange Formats for Hybrid Systems: Abstract
                Semantics},
      booktitle = {Hybrid Systems: Computation and Control},
      editor = {Joao Hespanha and Ashish Tiwari},
      pages = {491-506},
      month = {March},
      year = {2006},
      abstract = {In~\cite{pinto05} 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.},
      URL = {http://chess.eecs.berkeley.edu/pubs/101.html}
  }
  

Posted by Alessandro Pinto on 15 May 2006.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.