Artículo

Estamos trabajando para incorporar este artículo al repositorio
Consulte el artículo en la página del editor
Consulte la política de Acceso Abierto del editor

Abstract:

We introduce a new architecture for the design of a tool for modeling and simulation of continuous and hybrid systems. The environment includes a compiler based on Modelica, a modular and a causal standard specification language for physical systems modeling (the tool supports models composed using certain component classes defined in the Modelica Standard Library, and the instantiation, parameterization and connection of these MSL components are described using a subset of Modelica). Models are defined in Modelica and are translated into DEVS models. DEVS theory (originally defined for modeling and simulation of discrete event systems) was extended in order to permit defining these of models. The different steps in the compiling process are show, including how to model these dynamic systems under the discrete event abstraction, including examples of model simulation with their execution results. © 2014 Elsevier Ltd. All rights reserved.

Registro:

Documento: Artículo
Título:Using a Discrete-Event System Specifications (DEVS) for designing a Modelica compiler
Autor:Wainer, G.A.; D'Abreu, M.C.
Filiación:Department of Systems and Computer Engineering, Centre for Visualization and Simulation (V-Sim), Carleton University, 1125 Colonel By Drive, Ottawa, ON K1S5B6, Canada
Computer Science Department, Universidad de Buenos Aires, Ciudad Universitaria, Buenos Aires, 1428, Argentina
Palabras clave:DEVS; Discrete event systems; Hybrid systems; Modelica; Object Oriented Modeling; Simulation; Hybrid systems; Modeling languages; Program compilers; Specification languages; Specifications; DEVS; Discrete event system specification; Model and simulation; Modelica; Object oriented model; Simulation; Standard libraries; Standard specifications; Discrete event simulation
Año:2015
Volumen:79
Página de inicio:111
Página de fin:126
DOI: http://dx.doi.org/10.1016/j.advengsoft.2014.09.009
Título revista:Advances in Engineering Software
Título revista abreviado:Adv Eng Software
ISSN:09659978
CODEN:AESOD
Registro:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09659978_v79_n_p111_Wainer

Referencias:

  • Gilat, A., (2004) MATLAB: An Introduction with Applications, , 2nd ed. John Wiley & Sons
  • Wolfram, S., (1991) Mathematica: A System for Doing Mathematics by Computer, , 2nd ed. Addison Wesley Redwood City (CA, USA)
  • Zimmerman, W., (2006) Multiphysics Modeling with Finite Element Methods, , World Scientific Publishing Co., Inc. River Edge (NJ)
  • Heck, A., (1996) Introduction to Maple, , Springer
  • Taylor, M., (1996) Partial Differential Equations: Basic Theory, , Springer NY
  • Press, W.H., Flannery, B.P., Teukolsky, S.A., Vetterling, W.T., (1986) Numerical Recipes, , Cambridge University Press Cambridge (MA)
  • Zeigler, B., Kim, T., Praehofer, H., (2000) Theory of Modeling and Simulation, , 2nd ed. Academic Press New York
  • Zeigler, B.P., Continuity and change (activity) are fundamentally related in DEVS simulation of continuous systems (2005) LNCDS, 3397. , Springer-Verlag NY p. 1-17
  • Zeigler, B., (1998) DEVS Theory of Quantization, , DARPA Contract N6133997K-007. Tucson (AZ): ECE Dept., University of Arizona
  • Kofman, E., Discrete event based simulation and control of continuous systems (2003) Simulation, 79 (7), pp. 363-376
  • Modelica Language Specification. Version 2.1, , http://www.modelica.org, [accessed: March 2010]
  • Wainer, G., (2009) Discrete-event Modeling and Simulation: A Practitioner's Approach, , CRC press, Taylor & Francis Boca Raton (Florida)
  • Ström, K.J., Elmqvist, H., Mattsson, S.E., Evolution of continuous-time modeling and simulation (1998) 12th European Simulation Multiconference, , Manchester, UK
  • Pantelides, C., The consistent initialization of differential algebraic systems (1988) SIAM J Sci Stat Comp, 9, pp. 213-231
  • Van Beek, D.A., Rooda, J.E., Fábián, G.D., Substitute equations for index reduction and discontinuity handling (2000) Proc. of the Third IMACS Symposium on Mathematical Modeling, , Vienna, Austria
  • Cellier, F.E., Elmqvist, H., Automated formula manipulation supports object-oriented continuous-system modeling (1993) IEEE Control Syst, 13 (2), pp. 28-38
  • Geuder, D.F., Object oriented modeling with SIMPLE++ (1995) Proceedings of Winter Simulation Conference, , Arlington, VA
  • Roberts, C., Dessouky, Y., An overview of object-oriented simulation (1998) Simulation, 70, pp. 359-368
  • Samantaray, A., About Bond Graph-The System Modeling World, , http://www.bondgraph.info/about.html, [accessed April 2010]
  • Kofman, E., Junco, S., Quantized state systems. A DEVS approach for continuous system simulation (2001) Trans SCS, 18 (3), pp. 123-132
  • D'Abreu, M., Wainer, G., Defining hybrid system models using DEVS quantization techniques (2003) Proceedings of the Winter Simulation Conference, , New Orleans, LA, USA
  • Nutaro James, J., Zeigler Bernard, P., Jammalamadaka, R., Akerkar, S., Discrete event solution of gas dynamics within the DEVS framework (2003) International Conference on Computational Science, pp. 319-328
  • Bolduc Jean-Sébastien, V., Mapping ODEs to DEVS: Adaptive quantization (2003) Summer Computer Simulation Conference, pp. 401-407. , Montréal, Canada
  • Giambiasi, N., Escude, B., Ghosh, S., GDEVS: A generalized discrete event specification for accurate modeling of dynamic systems (2000) Trans SCS, 17 (3), pp. 120-134
  • D'Abreu, M., Wainer, G., M/CD++: Modeling continuous systems using Modelica and DEVS (2005) Procedings of IEEE/ACM MASCOTS 2005, , Atlanta, GA
  • Sanz, V., Urquia, A., Cellier, F.E., Dormido, S., Modeling of hybrid control systems using the DEVSLib Modelica library (2012) Control Eng Pract, 20 (1), pp. 24-34. , 2011
  • Introduction to Bison, , http://www.gnu.org/software/bison/bison.html, GNU [accessed 26.04.10]
  • Karnopp, D., Margolis, D., Rosenber, R., (1990) System Dynamics: A Unified Approach, , Wiley
  • Kofman, E., Junco, S., Quantized bond graphs: An approach for discrete event simulation of physical systems (2001) Proceedings of ICBGM'01, pp. 369-374. , Phoenix, Arizona, Jan
  • D'Abreu, M., Wainer, G., Experimental results on the implementation of Modelica using DEVS modeling and simulation (2006) Proceedings of SpringSim 2006 (DEVS Symposium), , Huntsville (AL) USA
  • Chechiu, L., Wainer, G., Experimental results on the use of Modelica/CD++ (2005) Proceedings of the 2005 SCS Summer Computer Simulation Conference (Student Workshop), , Philadelphia, PA
  • Sanz, V., Jafer, S., Wainer, G., Nicolescu, G., Hybrid modeling of opto-electrical interfaces using DEVS and Modelica (2009) Proceedings of SCS/ACM Springsim 2009 (DEVS Symposium), , San Diego, CA. USA
  • http://www.3ds.com/products/catia/portfolio/dymola, Dymola. accessed July 2010; Kofman, E., Cellier, F.E., Migoni, G., Continuous system simulation and control (2010) Discrete Event Simulation and Modeling: Theory and Applications, pp. 75-107. , G.A. Wainer, P.J. Mosterman, CRC Press Boca Raton (FL)
  • Giambiasi, N., Escude, B., Ghosh, S., Generalized discrete event simulation of dynamic systems (2001) Trans. Soc. Comput. Simul. Int., 18 (4), pp. 216-229

Citas:

---------- APA ----------
Wainer, G.A. & D'Abreu, M.C. (2015) . Using a Discrete-Event System Specifications (DEVS) for designing a Modelica compiler. Advances in Engineering Software, 79, 111-126.
http://dx.doi.org/10.1016/j.advengsoft.2014.09.009
---------- CHICAGO ----------
Wainer, G.A., D'Abreu, M.C. "Using a Discrete-Event System Specifications (DEVS) for designing a Modelica compiler" . Advances in Engineering Software 79 (2015) : 111-126.
http://dx.doi.org/10.1016/j.advengsoft.2014.09.009
---------- MLA ----------
Wainer, G.A., D'Abreu, M.C. "Using a Discrete-Event System Specifications (DEVS) for designing a Modelica compiler" . Advances in Engineering Software, vol. 79, 2015, pp. 111-126.
http://dx.doi.org/10.1016/j.advengsoft.2014.09.009
---------- VANCOUVER ----------
Wainer, G.A., D'Abreu, M.C. Using a Discrete-Event System Specifications (DEVS) for designing a Modelica compiler. Adv Eng Software. 2015;79:111-126.
http://dx.doi.org/10.1016/j.advengsoft.2014.09.009