Abstract:
DEVS theory (originally defined for modeling and simulation of discrete event systems) was extended for modeling and simulation of continuous/hybrid systems. We present the M/CD++, a tool to build such models using a subset of Modelica, a modular and acausal specification language for physical systems. Models are created using Modelica standard notation, and a translator converts them into DEVS models. We show how to model these dynamic systems under the discrete event abstraction, including different execution results. © 2005 IEEE.
Registro:
Documento: |
Conferencia
|
Título: | M/CD++: Modeling continuous systems using Modelica and DEVS |
Autor: | D'Abreu, M.C.; Wainer, G.A. |
Ciudad: | Atlanta, GA |
Filiación: | Computer Science Department, Universidad de Buenos Aires, Pabellón I Ciudad Universitaria, (1428) Buenos Aires, Argentina Dept. of Systems and Computer Engineering, Carleton University, 1125 Colonel By Drive, Ottawa, Ont. K1S 5B6, Canada
|
Palabras clave: | Computer aided software engineering; Computer hardware description languages; Computer simulation; Set theory; Continuous systems; DEVS theory; Discrete event abstraction; Hybrid computers |
Año: | 2005
|
Volumen: | 2005
|
Página de inicio: | 229
|
Página de fin: | 236
|
DOI: |
http://dx.doi.org/10.1109/MASCOTS.2005.36 |
Título revista: | MASCOTS 2005: 13th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems
|
Título revista abreviado: | Proc. IEEE Comput. Soc. Annu. Int. Symp. Model. Anal. simul. Comput. Telecommun. Syst. MASCOTS
|
ISSN: | 15267539
|
Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_15267539_v2005_n_p229_DAbreu |
Referencias:
- Zeigler, B., Continuity and change (Activity) are fundamentally related in DEVS simulation of continuous systems (2005) LNCS, 3397. , Springer-Verlag
- Zeigler, B., Kim, T., Praehofer, H., (2000) Theory of M&S, , New York
- Zeigler, B., (1998) Theory of Quantization, , DEVS. DARPA Contract N6133997K.-007. University of Arizona
- Kofman, E., (2003) Discrete Event Based Simulation and Control of Continuous Systems, , Ph.D. thesis. Universidad Nacional de Rosario, Argentina. August
- (2004) Modelica Language Specification, Version 2.1, , http://www.modelica.org, March
- Wainer, G., CD++: A toolkit to define discrete-event models (2002) Software, Practice and Experience, 32 (3), pp. 1261-1306. , Wiley
- Åström, K.J., Elmqvist, H., Mattsson, S.E., Evolution of continuous-time M&S (1998) European Simulation Multiconference, , Manchester, UK
- Cellier, F.E., Elmqvist, H., Automated formula manipulation supports object-oriented continuous-system modeling (1993) IEEE Control Systems, 13 (2), pp. 28-38
- Chua, L.O., The genesis of chua's circuit (1992) AEU, 46, p. 250
- D'Abreu, M., (2004) Defining A Compiler for Discrete-event Simulation of Continous Systems, , M. Sc. Thesis. Computer Science Dept. Universidad de Buenos Aires, Argentina
- Kofman, E., Junco, S., Quantized state systems. A DEVS approach for continuous system simulation (2001) Transactions of the SCS, 18 (3), pp. 123-132
- D'Abreu, M., Wainer, G., Defining hybrid system models using DEVS quantization techniques (2003) Winter Simulation Conference, , New Orleans, LA. U.S.A
- Wainer, G., Zeigler, B.P., Experimental results of timed cell-DEVS quantization, AI and simulation (2000) AIS 2000, pp. 203-208. , Tucson, AZ, March
- Nutaro, J.J., Zeigler, B.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, J.-S., Vangheluwe, H., 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) Transactions of the SCS, 17 (3), pp. 120-134
- Karnopp, D., Margolis, D., Rosenber, R., (1990) System Dynamics: A Unified Approach, , Wiley
- Chechiu, L., Wainer, G., Experimental results on the use of M/CD++ (2005) Proceedings of SummerSim, , Philadelphia, PA
- (2004) Dymola, , http://www.dynasim.com/dymola.htm, [online]. Available online via [Accessed June 13]A4 - IEEE Computer Society
Citas:
---------- APA ----------
D'Abreu, M.C. & Wainer, G.A.
(2005)
. M/CD++: Modeling continuous systems using Modelica and DEVS. MASCOTS 2005: 13th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems, 2005, 229-236.
http://dx.doi.org/10.1109/MASCOTS.2005.36---------- CHICAGO ----------
D'Abreu, M.C., Wainer, G.A.
"M/CD++: Modeling continuous systems using Modelica and DEVS"
. MASCOTS 2005: 13th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems 2005
(2005) : 229-236.
http://dx.doi.org/10.1109/MASCOTS.2005.36---------- MLA ----------
D'Abreu, M.C., Wainer, G.A.
"M/CD++: Modeling continuous systems using Modelica and DEVS"
. MASCOTS 2005: 13th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems, vol. 2005, 2005, pp. 229-236.
http://dx.doi.org/10.1109/MASCOTS.2005.36---------- VANCOUVER ----------
D'Abreu, M.C., Wainer, G.A. M/CD++: Modeling continuous systems using Modelica and DEVS. Proc. IEEE Comput. Soc. Annu. Int. Symp. Model. Anal. simul. Comput. Telecommun. Syst. MASCOTS. 2005;2005:229-236.
http://dx.doi.org/10.1109/MASCOTS.2005.36