*banner
 

Semantics of Modal Models in Ptolemy
Stavros Tripakis, Edward A. Lee

Citation
Stavros Tripakis, Edward A. Lee. "Semantics of Modal Models in Ptolemy". Talk or presentation, 16, February, 2011; Presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.

Abstract
Ptolemy is an open-source and extensible modeling and simulation framework. It offers heterogeneous modeling capabilities by allowing different models of computation to be composed hierarchically in an arbitrary fashion. This talk proposes a formal semantics for Ptolemy in general and modal models in particular. Modal models allow to hierarchically compose finite-state machines with other models of computation, both untimed and timed. A modular and compositional semantics is given for Ptolemy based on two main ideas. First, every actor is viewed as a state machine. Second, directors are viewed as composition operators. They define the state machine of a composite actor given state machines of its internal actors.

Electronic downloads

Citation formats  
  • HTML
    Stavros Tripakis, Edward A. Lee. <a
    href="http://chess.eecs.berkeley.edu/pubs/808.html"><i>Semantics
    of Modal Models in Ptolemy</i></a>, Talk or
    presentation,  16, February, 2011; Presented at the <a
    href="http://ptolemy.eecs.berkeley.edu/conferences/11"
    >Ninth Biennial Ptolemy Miniconference</a>,
    Berkeley, CA.
  • Plain text
    Stavros Tripakis, Edward A. Lee. "Semantics of Modal
    Models in Ptolemy". Talk or presentation,  16,
    February, 2011; Presented at the <a
    href="http://ptolemy.eecs.berkeley.edu/conferences/11"
    >Ninth Biennial Ptolemy Miniconference</a>,
    Berkeley, CA.
  • BibTeX
    @presentation{TripakisLee11_SemanticsOfModalModelsInPtolemy,
        author = {Stavros Tripakis and Edward A. Lee},
        title = {Semantics of Modal Models in Ptolemy},
        day = {16},
        month = {February},
        year = {2011},
        note = {Presented at the <a
                  href="http://ptolemy.eecs.berkeley.edu/conferences/11"
                  >Ninth Biennial Ptolemy Miniconference</a>,
                  Berkeley, CA.},
        abstract = {Ptolemy is an open-source and extensible modeling
                  and simulation framework. It offers heterogeneous
                  modeling capabilities by allowing different models
                  of computation to be composed hierarchically in an
                  arbitrary fashion. This talk proposes a formal
                  semantics for Ptolemy in general and modal models
                  in particular. Modal models allow to
                  hierarchically compose finite-state machines with
                  other models of computation, both untimed and
                  timed. A modular and compositional semantics is
                  given for Ptolemy based on two main ideas. First,
                  every actor is viewed as a state machine. Second,
                  directors are viewed as composition operators.
                  They define the state machine of a composite actor
                  given state machines of its internal actors. },
        URL = {http://chess.eecs.berkeley.edu/pubs/808.html}
    }
    

Posted by Christopher Brooks on 18 Feb 2011.
Groups: ptolemy
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