Abstract:
We present the definition of diverse models of physical systems using the Cell-DEVS paradigm. Cell-DEVS is an extension of the DEVS formalism that allows the definition of cellular models. We have developed a tool implementing these theoretical concepts, making easy the definition of cell spaces with explicit timing delays. Diversity of problems can be attacked in a simple fashion, reducing the development times of complex models. A wide variety of models have been developed using this approach, and here we include examples of a fire spreading model with different conditions, formation of a watershed and robots in a manufacturing plant. These examples allow us to show the potential application of the formalism and related tools to attack different problems.
Registro:
Documento: |
Artículo
|
Título: | Models of complex physical systems using Cell-DEVS |
Autor: | Ameghino, J.; Troccoli, A.; Wainer, G. |
Filiación: | Departamento de Computación, FCEN - Universidad de Buenos Aires, Ciudad Universitaria (1428), Planta Baja. Pabellón I., Buenos Aires, Argentina Systems and Computer Engineering Department, Carleton University, 4456 Mackenzie Building 1125 Colonel, Ottawa, ON K1S 5B6, Canada
|
Palabras clave: | Automata theory; Mathematical models; Set theory; State space methods; Systems analysis; Cellular automata; Complex physical systems; Discrete events systems specifications; Large scale systems |
Año: | 2001
|
Página de inicio: | 266
|
Página de fin: | 273
|
DOI: |
http://dx.doi.org/10.1109/SIMSYM.2001.922141 |
Título revista: | Proceedings of the IEEE Annual Simulation Symposium
|
Título revista abreviado: | Proc IEEE Annu Simul Symp
|
ISSN: | 02724715
|
Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_02724715_v_n_p266_Ameghino |
Referencias:
- Sipper, M., The emergence of cellular computing (1999) IEEE Computer, pp. 18-26. , July
- Talia, D., Cellular processing tools for high-performance simulation (2000) Computer, pp. 44-52. , September
- Wolfram, S., Theory and applications of cellular automata (1986) Advances Series on Complex Systems, 1. , World Scientific, Singapore
- Wainer, G., Giambiasi, N., Timed cell-DEVS: Modelling and simulation of cell spaces (2001) Discrete Event Modeling & Simulation: Enabling Future Technologies, , to be published by Springer-Verlag
- Zeigler, B., Kim, T., Praehofer, H., Theory of modeling and simulation: Integrating discrete event and continuous complex dynamic systems (2000), Academic Press; Wainer, G., Giambiasi, N., Application of the cell-DEVS paradigm for cell spaces modelling and simulation (2000), Accepted for publication in Simulation (SCS journal). October; Ghosh, S., Giambiasi, N., On the need for consistency between the VHDL language constructions and the underlying hardware design (1996) Proceedings of the 8th European Simulation Symposium. Genoa, Italy, 1, pp. 562-567
- Rodriguez, D., Wainer, G., New extensions to the CD++ tool Proceedings of 31st SCS Summer Computer Simulation Conference. 1999
- Ameghino, J., Wainer, G., Application of the cell-DEVS paradigm using N-CD++ Proceedings of the 32nd SCS Summer Computer Simulation Conference. Vancouver, Canada
- Rothermel, R., A mathematical model for predicting fire spread in wildland fuels (1972) Research Paper INT-115, p. 40. , Ogden, UT: U.S. Department of Agriculture, Forest Service, Intermountain Forest and Range Experiment Station
- Vasconcelos, M., Simulation of fire behavior with a geographical information system (1988), M.Sc. Thesis. The University of Arizona; Vasconcelos, M., Gonçalves, A., Barros, F., Dynamic maps Proceedings of AI, Simulation and Planning in High Autonomy Systems. Tucson, Arizona. 2000
- Moon, Y., Zeigler, B., Ball, G., Guertin, D.P., DEVS representation of spatially distributed systems: Validity, complexity reduction (1996) IEEE Transactions on Systems, Man and Cybernetics, pp. 288-296
Citas:
---------- APA ----------
Ameghino, J., Troccoli, A. & Wainer, G.
(2001)
. Models of complex physical systems using Cell-DEVS. Proceedings of the IEEE Annual Simulation Symposium, 266-273.
http://dx.doi.org/10.1109/SIMSYM.2001.922141---------- CHICAGO ----------
Ameghino, J., Troccoli, A., Wainer, G.
"Models of complex physical systems using Cell-DEVS"
. Proceedings of the IEEE Annual Simulation Symposium
(2001) : 266-273.
http://dx.doi.org/10.1109/SIMSYM.2001.922141---------- MLA ----------
Ameghino, J., Troccoli, A., Wainer, G.
"Models of complex physical systems using Cell-DEVS"
. Proceedings of the IEEE Annual Simulation Symposium, 2001, pp. 266-273.
http://dx.doi.org/10.1109/SIMSYM.2001.922141---------- VANCOUVER ----------
Ameghino, J., Troccoli, A., Wainer, G. Models of complex physical systems using Cell-DEVS. Proc IEEE Annu Simul Symp. 2001:266-273.
http://dx.doi.org/10.1109/SIMSYM.2001.922141