Citation
Edward A. Lee, Haiyang Zheng. "Operational Semantics of Hybrid Systems". Invited paper in Hybrid Systems: Computation and Control (HSCCS), 25-53, March, 2005.

Abstract
This paper discusses an interpretation of hybrid systems as executable models. A specification of a hybrid system for this purpose can be viewed as a program in a domain-specific programming language. We describe the semantics of HyVisual, which is such a domain-specific programming language. The semantic properties of such a language affect our ability to understand, execute, and analyze a model. We discuss several semantic issues that come in defining such a programming language, such as the interpretation of discontinuities in continuous-time signals, and the interpretation of discrete-event signals in hybrid systems, and the consequences of numerical ODE solver techniques. We describe the solution in HyVisual by giving its operational semantics.

Electronic downloads

• http://dx.doi.org/10.1007/b106766
• http://ptolemy.eecs.berkeley.edu/publications/papers/05/OperationalSemantics/. (Prepublished version)

• HTML

  Edward A. Lee, Haiyang Zheng. <a
  href="http://chess.eecs.berkeley.edu/pubs/669.html"
  >Operational Semantics of Hybrid Systems</a>,
  Invited paper in Hybrid Systems: Computation and Control
  (HSCCS), 25-53, March, 2005.

• Plain text

  Edward A. Lee, Haiyang Zheng. "Operational Semantics of
  Hybrid Systems". Invited paper in Hybrid Systems:
  Computation and Control (HSCCS), 25-53, March, 2005.

• BibTeX

  @inproceedings{LeeZheng05_OperationalSemanticsOfHybridSystems,
      author = {Edward A. Lee and Haiyang Zheng},
      title = {Operational Semantics of Hybrid Systems},
      booktitle = {Invited paper in Hybrid Systems: Computation and
                Control (HSCCS)},
      pages = {25-53},
      month = {March},
      year = {2005},
      abstract = {This paper discusses an interpretation of hybrid
                systems as executable models. A specification of a
                hybrid system for this purpose can be viewed as a
                program in a domain-specific programming language.
                We describe the semantics of HyVisual, which is
                such a domain-specific programming language. The
                semantic properties of such a language affect our
                ability to understand, execute, and analyze a
                model. We discuss several semantic issues that
                come in defining such a programming language, such
                as the interpretation of discontinuities in
                continuous-time signals, and the interpretation of
                discrete-event signals in hybrid systems, and the
                consequences of numerical ODE solver techniques.
                We describe the solution in HyVisual by giving its
                operational semantics.},
      URL = {http://chess.eecs.berkeley.edu/pubs/669.html}
  }
  

Posted by Christopher Brooks on 11 May 2010.
Groups: ptolemy
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.