Conference article

Discretizing Time or States?

Xenofon Floros
Department of Computer Science, ETH Zurich, Switzerland

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

Ernesto Kofman
Laboratorio de Sistemas Dinámicos, FCEIA, Universidad Nacional de Rosario, Argentina

Download article

Published in: 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; Oslo; Norway; October 3

Linköping Electronic Conference Proceedings 47:12, p. 107-115

Show more +

Published: 2010-09-21

ISBN: 978-91-7519-824-8

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


In this study; a system is presented and analyzed that automatically translates a model described within the Modelica framework into the Discrete Event System Specification (DEVS) formalism.

More specifically; this work interfaces the open-source implementation of Modelica; OpenModelica; and one particular software tool for DEVS modeling and simulation; the PowerDEVS environment; which implements the Quantized State Systems (QSS) integration methods introduced by Kofman.

The interface enables the automatic simulation of largescale models with both DASSL (using the OpenModelica run-time environment) and QSS (using PowerDEVS) and extracts features; such as accuracy and simulation time; that allow a quantitative comparison of these integration methods. In this way; meaningful insight can be obtained on their respective advantages and disadvantages when used for simulating real-world applications. Furthermore; the implemented interface allows any user without any knowledge of DEVS and/or QSS methods to simulate their systems in PowerDEVS by supplying a Modelica model as input only.


OpenModelica; DASSL; PowerDEVS; QSS; sparse system simulation


[1] Tamara Beltrame and François E. Cellier. Quantised state system simulation in dymola/modelica using the devs formalism. In Modelica; 2006.

[2] François E. Cellier and Ernesto Kofman. Continuous System Simulation. Springer-Verlag; New York; 2006.

[3] Peter Fritzson; Peter Aronsson; Hakan Lundvall; Kaj Nystrom; Adrian Pop; Levon Saldamli; and David Broman. The openmodelica modeling; simulation; and development environment. Proceedings of the 46th Conference on Simulation and Modeling (SIMS’05); pages 83–90; 2005.

[4] Peter Fritzson and Peter Bunus. Modelica-a general objectoriented language for continuous and discrete-event system modeling and simulation. In Annual Simulation Symposium; pages 365–380; 2002.

[5] Peter Fritzson and Vadim Engelson. Modelica - a unified object-oriented language for system modelling and simulation. In ECOOP; pages 67–90; 1998.

[6] Ernesto Kofman. A second-order approximation for devs simulation of continuous systems. Simulation; 78(2):76–89; 2002.

[7] Ernesto Kofman. Quantization-based simulation of differential algebraic equation systems. In Simulation; Transactions of the Society for Modeling and Simulation International; volume 79; pages 363–376; 2003.

[8] Ernesto Kofman. Discrete event simulation of hybrid systems. SIAM JOURNAL ON SCIENTIFIC COMPUTING; 25:1771–1797; 2004.

[9] Ernesto Kofman. A third order discrete event simulation method for continuous system simulation. Latin America Applied Research; 36(2):101–108; 2006.

[10] Ernesto Kofman and Sergio Junco. Quantized-state systems: a devs approach for continuous system simulation. Trans. Soc. Comput. Simul. Int.; 18(3):123–132; 2001.

[11] Ernesto Kofman; Marcelo Lapadula; and Esteban Pagliero. Powerdevs: A devs-based environment for hybrid system modeling and simulation. Technical Report LSD0306; Universidad Nacional de Rosario; Argentina; 2003.

[12] Victor Sanz; Alfonso Urquía; François E. Cellier; and Sebastián Dormido. System modeling using the parallel devs formalism and the modelica language. Simulation Modeling Practice and Theory; 18(7):998–1018; 2010.

[13] Bernard 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.

Citations in Crossref