Article | 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; Oslo; Norway; October 3 | Discretizing Time or States?: A Comparative Study between DASSL and QSS (Work in Progress Paper)

Title:
Discretizing Time or States?: A Comparative Study between DASSL and QSS (Work in Progress Paper)
Author:
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:
Full text (pdf)
Year:
2010
Conference:
3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; Oslo; Norway; October 3
Issue:
047
Article no.:
012
Pages:
107-115
No. of pages:
9
Publication type:
Abstract and Fulltext
Published:
2010-09-21
ISBN:
978-91-7519-824-8
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press; Linköpings universitet


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.

Keywords: OpenModelica; DASSL; PowerDEVS; QSS; sparse system simulation

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

Author:
Xenofon Floros, François E. Cellier, Ernesto Kofman
Title:
Discretizing Time or States?: A Comparative Study between DASSL and QSS (Work in Progress Paper)
References:

[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.

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

Author:
Xenofon Floros, François E. Cellier, Ernesto Kofman
Title:
Discretizing Time or States?: A Comparative Study between DASSL and QSS (Work in Progress Paper)
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment