*banner
 

The Operational Semantics of Hybrid Systems
Edward A. Lee

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

Citation formats  
  • 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.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

©2002-2018 Chess