Citation
Fabio Cremona, Marten Lohstroh, Stavros Tripakis, Christopher Brooks, Edward A. Lee. "Automatic generation of master algorithms for FMI 2.0 Co-Simulation". Talk or presentation, 16, October, 2015; Presented at the Eleventh Biennial Ptolemy Miniconference, Berkeley.

Abstract
Cyber Physical Systems (CPS) are characterized by the conjunction of the Cyber (computation) and the Physical (the plant) interaction. They are therefore Hybrid Systems, where the continuous time, discrete time, and discrete event paradigms merge together.

Due to the diverse nature of the problem, the simulation of CPSs usually involves different tools, specific for the modeling of the controllers (usually Simulink/PtolemyII) or the physical plant (usually Modelica). In this context, Functional Mock-up Interface (FMI), is an emerging standard for the support of both model exchange and co-simulation of dynamic models.

In FMI, a model is represented as a set of interconnected Functional Mock-up Units (FMUs) each implementing its own functionality. These are also called slaves, and their execution (the execution of the model), is orchestrated by a some master algorithm (MA). The role of the MA is therefore to exchange data among FMUs and advance the simulation time in a coherent fashion among all the FMUs in the model.

Focussing on FMI for co-simulation, I explain how to automatically generate a MA with the property of determinacy and guarantee of termination starting from a model defined in PtolemyII.

Electronic downloads

• Cremona_AutomaticGenerationOfMasterAlgorithmsforFMI2.0ForCoSimulation_PtolemyMiniconference_16Oct2015Reduced.pdf · application/pdf · 8301 kbytes

• HTML

  Fabio Cremona, Marten Lohstroh, Stavros Tripakis,
  Christopher Brooks, Edward A. Lee. <a
  href="http://chess.eecs.berkeley.edu/pubs/1132.html"><i>Automatic
  generation of master algorithms for FMI 2.0
  Co-Simulation</i></a>, Talk or presentation, 
  16, October, 2015; Presented at the <a
  href="http://ptolemy.eecs.berkeley.edu/conferences/15/"
  >Eleventh Biennial Ptolemy Miniconference</a>,
  Berkeley.

• Plain text

  Fabio Cremona, Marten Lohstroh, Stavros Tripakis,
  Christopher Brooks, Edward A. Lee. "Automatic
  generation of master algorithms for FMI 2.0
  Co-Simulation". Talk or presentation,  16, October,
  2015; Presented at the <a
  href="http://ptolemy.eecs.berkeley.edu/conferences/15/"
  >Eleventh Biennial Ptolemy Miniconference</a>,
  Berkeley.

• BibTeX

  @presentation{CremonaLohstrohTripakisBrooksLee15_AutomaticGenerationOfMasterAlgorithmsForFMI20CoSimulation,
      author = {Fabio Cremona and Marten Lohstroh and Stavros
                Tripakis and Christopher Brooks and Edward A. Lee},
      title = {Automatic generation of master algorithms for FMI
                2.0 Co-Simulation},
      day = {16},
      month = {October},
      year = {2015},
      note = {Presented at the <a
                href="http://ptolemy.eecs.berkeley.edu/conferences/15/"
                >Eleventh Biennial Ptolemy Miniconference</a>,
                Berkeley},
      abstract = {Cyber Physical Systems (CPS) are characterized by
                the conjunction of the Cyber (computation) and the
                Physical (the plant) interaction. They are
                therefore Hybrid Systems, where the continuous
                time, discrete time, and discrete event paradigms
                merge together. <p>Due to the diverse nature of
                the problem, the simulation of CPSs usually
                involves different tools, specific for the
                modeling of the controllers (usually
                Simulink/PtolemyII) or the physical plant (usually
                Modelica). In this context, Functional Mock-up
                Interface (FMI), is an emerging standard for the
                support of both model exchange and co-simulation
                of dynamic models. <p>In FMI, a model is
                represented as a set of interconnected Functional
                Mock-up Units (FMUs) each implementing its own
                functionality. These are also called slaves, and
                their execution (the execution of the model), is
                orchestrated by a some master algorithm (MA). The
                role of the MA is therefore to exchange data among
                FMUs and advance the simulation time in a coherent
                fashion among all the FMUs in the model.
                <p>Focussing on FMI for co-simulation, I explain
                how to automatically generate a MA with the
                property of determinacy and guarantee of
                termination starting from a model defined in
                PtolemyII. },
      URL = {http://chess.eecs.berkeley.edu/pubs/1132.html}
  }
  

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