Simulating Modelica models with a Stand-Alone Quantized State Systems Solver

Federico Bergero
CIFASIS-CONICET, Rosario, Argentina

Xenofon Floros
Department of Computer Science, ETH Zurich, Switzerland

Joaquín Fernández
CIFASIS-CONICET, Rosario, Argentina

Ernesto Kofman
CIFASIS-CONICET, Rosario, Argentina

François E. Cellier
Department of Computer Science, ETH Zurich, Switzerland

Ladda ner artikelhttp://dx.doi.org/10.3384/ecp12076237

Ingår i: Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany

Linköping Electronic Conference Proceedings 76:23, s. 237-246

Visa mer +

Publicerad: 2012-11-19

ISBN: 978-91-7519-826-2

ISSN: 1650-3686 (tryckt), 1650-3740 (online)


This article describes an extension of the OpenModelica Compiler that translates regular Modelica models into a simpler language; called Micro–Modelica (mu–Modelica); that can be understood by the recently developed stand–alone Quantized State Systems (QSS) solvers. These solvers are very efficient when simulating systems with frequent discontinuities. Thus; strongly discontinuous Modelica models can be simulated noticeably faster than with the standard discrete time solvers. The simulation of two discontinuous models is analyzed in order to demonstrate the correctness of the proposed implementation as well as the advantages of using the QSS stand-alone solvers.


OpenModelica; Quantized State Systems; Micro-Modelica; efficient simulation; discontinuous systems


[1] Modelica models for download at. http://www.fceia.unr.edu.ar/~fbergero/modelica2012.

[2] F. Bergero and E. Kofman. Powerdevs: a tool for hybrid system modeling and real-time simulation. SIMULATION; 2010.

[3] F. Bergero; E. Kofman; and C. F. E. A novel parallelization technique for DEVS simulation of continuous and hybrid systems. Simulation; 2012. In press.

[4] F. E. Cellier and E. Kofman. Continuous System Simulation. Springer-Verlag; New York; 2006.

[5] F. E. Cellier; E. Kofman; G. Migoni; and M. Bortolotto. Quantized State System Simulation. In Proceedings of SummerSim 08 (2008 Summer Simulation Multiconference); Edinburgh; Scotland; 2008.

[6] J. Fernandez and E. Kofman. Implementación autónoma de métodos de integración numérica qss. Technical report; FCEIA - UNR; Rosario; Argentina; 2012.

[7] X. Floros; F. Bergero; F. E. Cellier; and E. Kofman. Automated Simulation of Modelica Models with QSS Methods : The Discontinuous Case. In 8th International Modelica Conference 2011; Dresden; Germany; Linköping Electronic Conference Proceedings; pages 657–667. Linköping University Electronic Press;Linköpings universitet; 2011.

[8] X. Floros; F. E. Cellier; and E. Kofman. Discretizing Time or States? A Comparative Study between DASSL and QSS. In 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; EOOLT; Oslo; Norway; October 3; 2010; pages 107–115; 2010.

[9] P. Fritzson; P. Aronsson; H. Lundvall; K. Nystrom; A. Pop; L. Saldamli; and D. Broman. The OpenModelica Modeling; Simulation; and Development Environment. Proceedings of the 46th Conference on Simulation and Modeling (SIMS’05); pages 83–90; 2005.

[10] P. Fritzson and P. Bunus. Modelica - A General Object-Oriented Language for Continuous and Discrete-Event System Modeling and Simulation. In Annual Simulation Symposium; pages 365–380; 2002.

[11] P. Fritzson and V. Engelson. Modelica - a unified object-oriented language for system modeling and simulation. In E. Jul; editor; ECOOP ’98 - Object-Oriented Programming; volume 1445 of Lecture Notes in Computer Science; pages 67–90. Springer Berlin / Heidelberg; 1998. 10.1007/BFb0054087.

[12] M. Galassi. GNU Scientific Library Reference Manual; third edition; 2009.

[13] E. Kofman. A Second-Order Approximation for DEVS Simulation of Continuous Systems. Simulation; 78(2):76–89; 2002. doi: 10.1177/0037549702078002206.

[14] E. Kofman. Discrete Event Simulation of Hybrid Systems. SIAM Journal on Scientific Computing; 25:1771–1797; 2004. doi: 10.1137/S1064827502418379.

[15] E. Kofman. A Third Order Discrete Event Simulation Method for Continuous System Simulation. Latin America Applied Research; 36(2):101–108; 2006.

[16] E. Kofman and S. Junco. Quantized-state systems: a DEVS Approach for continuous system simulation. Trans. Soc. Comput. Simul. Int.; 18(3):123–132; 2001.

[17] G. Migoni and E. Kofman. Linearly Implicit Discrete Event Methods for Stiff ODEs. Latin American Applied Research; 2009. In press.

[18] B. P. Zeigler and J. S. Lee. Theory of Quantized Systems: Formal Basis for DEVS/HLA Distributed Simulation Environment. Enabling Technology for Simulation Science II; 3369(1):49–58; 1998. doi: 10.1117/12.319354.

Citeringar i Crossref