publication . Article . 2014


Darío Amaya Hurtado; Ricardo Andrés Castillo Estepa; Óscar Fernando Avilés Montaño; Olga Lucía Ramos Sandoval;
Open Access English
  • Published: 01 Dec 2014 Journal: Revista EIA, issue 22, pages 13-21 (issn: 1794-1237, Copyright policy)
  • Publisher: Universidad EIA
This article presents the Discrete Event System Specification (DEVS) formalism, in their atomic and coupled configurations; it is used for discrete event systems modeling and simulation. Initially this work describes the analysis of discrete event systems concepts and its applicability. Then a comprehensive description of the DEVS formalism structure is presented, in order to model and simulate an industrial process, taking into account changes in parameters such as process service time, each station storage systems structure and process tasks coupling. For the MatLab® simulation, the Simevents Toolbox was used for theoretical developments validation. En este ar...
free text keywords: Discrete Event Systems, DEVS, SimEvents®, sistema de eventos discretos, lcsh:Technology, lcsh:T, lcsh:Engineering (General). Civil engineering (General), lcsh:TA1-2040

Alur, R.;Henzinger, T.A;Lafferriere, G.;Pappas, G.J. (2000). Discrete Abstractions of Hybrid Systems. Proceedings of the IEEE, 88(7), pp. 971-984.

Bergero, F., Kofman, E., Basabilbaso, C., Zúccolo, J. (2000). Desarrollo de un simulador de sistemas híbridos en tiempo real. XXI Congreso Argentino de Control Automático.

Branicky, M. S. (1995). Studies in Hybrid Systems: Modeling, Analysis, and Control. Submitted to the Department of Electrical Engineering and Computer Science in partial fulfillment of the requirements for the degree of Doctor of Science in Electrical Engineering and Computer Science, Massachusetts Institute of Technology.

Capocchi, L.; Bernardi,F.; Federici, D.; Bisgambiglia, P.-A. (2006). BFS-DEVS: A General DEVS-based Formalism for Behavioral Fault Simulation. Simulation Modelling Practice and Theory, 14(7), pp. 945-970.

Chen, C. H., Yücesan, E. (2001). Introduction to Discrete Event Systems: Christos G. Cassandras and Stephane Lafortune; Kluwer Academic Publishers, Dordrecht. Automatica 37(10), pp. 1682-1685.

Filippi, J. B. and Bisgambiglia, P. (2003). JDEVS: An Implementation of a DEVS Based Formal Framework for Environmental Modelling. Environmental Modelling & Software, 19(3), pp. 261-274. [OpenAIRE]

Hong, K.J. and Kim, T.G. (2006). DEVSpecL: DEVS Specification Language for Modeling, Simulation and Analysis of Discrete Event Systems. Information and Software Technology, 48(4), pp. 221-234.

Kim, K. H.; Seong, Y.R.; Kim, T.G.; Park, K.H. (1997). Ordering of Simultaneous Events in Distributed DEVS Simulation. Simulation Practice and Theory, 5(3), pp. 253-268.

Nikolaidou, M.; Dalakas, V.; Mitsi, L.; Kapos, G.-D. (2008). A SysML Profile for Classical DEVS Simulators. Software Amaya-Hurtado, D.; Castillo-Estepa, R,A.; Avilés-Sánchez, O.F.; Ramos-Sandoval, O.L. (2014). Production System Modeling and Simulation Using DEVS Formalism. Revista EIA, 11(22) julio-diciembre, pp. 13-21. [Online]. Disponible en:

Palaniappan, S.; Sawhney, A.; Sarjoughian, H.S. (2006). Application of the DEVS Framework in Construction Simulation. Simulation Conference, 2006. WSC 06. Proceedings of the Winter. pp.2077-2086.

Saadawi, H. and Wainer, G. (2007). Modeling Physical Systems Using Finite Element Cell-DEVS. Simulation Modelling Practice and Theory, 15(10), pp.1268-1291. [OpenAIRE]

Sikun, L.;Zhihui, X.;Tiejun, L. (2005). Distributed cooperative Design Method and Environment for Embedded System. Computer Supported Cooperative Work in Design, 2005.

Van der Schaft, A. and Schumacher, H. (2000). An Introduction to Hybrid Dynamical Systems. Lecture Notes in Control and Information Sciences,251.

Villani, E.; Miyagi, P.; Valette, R. (2007). Modelling and Analysis of Hybrid Supervisory Systems. Advances in Industrial Control.

Zeigler, B. P.; Moon, Y.; Lopes, V.L; Kim, J. (1996). DEVS Approximation of Infiltration Using Genetic Algorithm Optimization of a Fuzzy System. Mathematical and Computer Modelling, 23(11-12), pp. 215-228. [OpenAIRE]

Any information missing or wrong?Report an Issue