.Modelica_StateGraph2.UsersGuide.Literature

Information

The Modelica_StateGraph2 library is described in detail in (Otter et. al. 2009, see below) and is additionally based on the following references:

André, C. (2003):

Semantics of S.S.M (Safe State Machine).. I3S Laboratory, UMR 6070 University of Nice-Sophia Antipolis / CNRS.
 

Arzen K.-E. (2004):

JGrafchart User Manual. Version 1.5. Department of Automatic Control, Lund Institute of Technology, Lund, Sweden, Feb. 13, 2004.
 

Dressler I. (2004):

Code Generation From JGrafchart to Modelica.. Master thesis, supervisor: Karl-Erik Arzen, Department of Automatic Control, Lund Institute of Technology, Lund, Sweden, March 30, 2004.
 

Elmqvist H., Mattsson S.E., Otter M. (2001):

Object-Oriented and Hybrid Modeling in Modelica. Journal Europeen des systemes automatises (JESA), Volume 35 - n. 1, 2001.
 

Harel, D. (1987):

A Visual Formalism for Complex Systems. Science of Computer Programming 8, 231-274. Department of Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel.
 

Malmheden M. (2007):

ModeGraph - A Mode-Automata-Based Modelica Library for Embedded Control. Master thesis, Department of Automatic Control, Lund University, Sweden.
 

Malmheden M., Elmqvist H., Mattsson S.E., Henrisson D., Otter M. (2008):

ModeGraph - A Modelica Library for Embedded Control based on Mode-Automata. Modelica'2008 Conference, March 3-4, 2008.
 

Maraninchi F., Rémond, Y. (2002):

Mode-Automata: A New Domain-Specific Construct for the Development of Safe Critical Systems.
 

Mosterman P., Otter M., Elmqvist H. (1998):

Modeling Petri Nets as Local Constraint Equations for Hybrid Systems using Modelica. SCSC'98, Reno, Nevada, USA, Society for Computer Simulation International, pp. 314-319, 1998.
 

Otter M., Malmheden M., Elmqvist H., Mattsson S.E., Johnsson C. (2009):

A New Formalism for Modeling of Reactive and Hybrid Systems. Modelica'2009 Conference, Como, Italy, Sept. 20-22, 2009.