Citation
Edward A. Lee. "The Operational Semantics of Hybrid Systems". Talk or presentation, 9, March, 2005; Presented at Hybrid Systems: Computation and Control: 8th International Workshop (HSCC), Zurich, Switzerland. See http://ptolemy.eecs.berkeley.edu/publications/papers/05/OperationalSemantics/ for the paper.

Abstract
This talk 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://ptolemy.eecs.berkeley.edu/presentations/05/hybridSemantics_HSCC.pdf

• HTML

  Edward A. Lee. <a
  href="http://chess.eecs.berkeley.edu/pubs/359.html"><i>The
  Operational Semantics of Hybrid Systems</i></a>,
  Talk or presentation,  9, March, 2005; Presented at Hybrid
  Systems: Computation and Control: 8th International Workshop
  (HSCC), Zurich, Switzerland. See <a
  href="http://ptolemy.eecs.berkeley.edu/publications/papers/05/OperationalSemantics/"
  >http://ptolemy.eecs.berkeley.edu/publications/papers/05/OperationalSemantics/</a>
  for the paper.

• Plain text

  Edward A. Lee. "The Operational Semantics of Hybrid
  Systems". Talk or presentation,  9, March, 2005;
  Presented at Hybrid Systems: Computation and Control: 8th
  International Workshop (HSCC), Zurich, Switzerland. See
  <a
  href="http://ptolemy.eecs.berkeley.edu/publications/papers/05/OperationalSemantics/"
  >http://ptolemy.eecs.berkeley.edu/publications/papers/05/OperationalSemantics/</a>
  for the paper.

• BibTeX

  @presentation{Lee05_OperationalSemanticsOfHybridSystems,
      author = {Edward A. Lee},
      title = {The Operational Semantics of Hybrid Systems},
      day = {9},
      month = {March},
      year = {2005},
      note = {Presented at Hybrid Systems: Computation and
                Control: 8th International Workshop (HSCC),
                Zurich, Switzerland. See <a
                href="http://ptolemy.eecs.berkeley.edu/publications/papers/05/OperationalSemantics/"
                >http://ptolemy.eecs.berkeley.edu/publications/papers/05/OperationalSemantics/</a>
                for the paper.},
      abstract = {This talk 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/359.html}
  }
  

Posted by Mary Stewart on 18 Oct 2007.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.