We introduce an extension of the classic Discrete Event System Specification (DEVS) formalism that includes stochastic features. Based on the use of the probability spaces theory we define the stochastic DEVS (STDEVS) specification, which provides a formal framework for modeling and simulation of general non-deterministic discrete event systems. The main theoretical properties of the STDEVS framework are treated, including a new definition of legitimacy of models in the stochastic context and a proof of STDEVS closure under coupling. We also illustrate the new stochastic modeling capabilities introduced by STDEVS and their relation with those found in classic DEVS. Practical simulation examples are given involving performance analysis of computer systems and hybrid modeling of networked control systems, applications where the modeling of stochastic components is vital.
Zeigler, B.1976. Theory of Modeling and Simulation. John Wiley & Sons, New York.
2.
Zeigler, B., T.G. Kim and H. Praehofer.2000. Theory of Modeling and Simulation, 2nd edition. Academic Press, New York.
3.
Zeigler, B., and S. Vahie.1993. Devs formalism and methodology: unity of conception/diversity of application. In Proceedings of the 25th Winter Simulation Conference, Los Angeles, CA, pp. 573-579.
4.
Cellier, F.E. and E. Kofman.2006. Continuous System Simulation . Springer, New York.
5.
Giambiasi, N., B. Escude and S. Ghosh.2000. GDEVS: a generalized discrete event specification for accurate modeling of dynamic systems. Transactions of the SCS, 17(3): 120-134.
6.
Nutaro, J.2003. Parallel Discrete Event Simulation with Application to Continuous Systems. PhD Thesis, The University of Arizona .
7.
Zeigler, B. and H. Sarjoughian.2000. Introduction to DEVS Modeling and Simulation with JAVA: A Simplified Approach to HLA-Compliant Distributed Simulations. Arizona Center for Integrative Modeling and Simulation.
8.
Wainer, G., G. Christen and A. Dobniewski.2001. Defining DEVS Models with the CD++ Toolkit. In Proceedings of ESS2001, Marseille, France. SCS Publisher, pp. 633-637.
9.
Filippi, J.B. , M. Delhom and F. Bernardi.2002. The JDEVS Environmental Modeling and Simulation Environment. In Proceedings of IEMSS 2002, Vol. 3, pp. 283-288.
10.
Kofman, E., M. Lapadula and E. Pagliero.2003. PowerDEVS: A DEVS Based Environment for Hybrid System Modeling and Simulation. Technical Report LSD0306, LSD, UNR. Available at http://www.fceia.unr.edu.ar/∼kofman .
11.
Cutler, M.M.1980Discrete event simulation of stochastic and deterministic sequential machine models. In Proceedings of the 12th Winter Conference on Simulation, Orlando, FL, pp. 83-97.
12.
Cassandras, C.1993. Discrete Event Systems: Modeling and Performance Analysis. Irwin and Aksen, Boston, MA.
13.
Ajmone Marsan, M., G. Balbo, G. Conte, S. Donatelli and G. Franceschinis.1995. Modelling with Generalized Stochastic Petri Nets. John Wiley & Sons , Chichester.
14.
Aggarwal, S.1975. Ergodic Machines-Probabilistic and Approximate Homomorphic Simplifications. PhD Thesis, The University of Michigan , Ann Arbor, MI.
15.
Melamed, B.1976. Analysis and Simplifications of Discrete Event Systems and Jackson Queuing Networks. PhD Thesis, The University of Michigan, Ann Arbor, MI.
16.
Joslyn, C.1996. The process theoretical approach to qualitative DEVS. In Proceedings of the 7th Conference on AI, Simulation, and Planning in High Autonomy Systems (AIS’96), San Diego, CA, pp. 235-242.
17.
Gray, R. and L. Davisson.2004. An Introduction to Statistical Signal Processing. Cambridge University Press, Cambridge.
18.
Billingsley, P.1995Probability and Measure , 3rd edition. John Wiley & Sons, New York.
19.
Vitali, G.1905. Sul problema della mesura dei gruppi di punti di una retta . Bologna.
20.
Knuth, D.E.1997. Art of Computer Programming, Volume 2: Seminumerical Algorithms , 3rd edition. Addison-Wesley Professional.
21.
Institute for Statistics of the Vienna University of Economics and Business Administration.2009. ARVAG Project-Automatic nonuniform Random VAriate Generation. http://statistik.wuwien.ac.at/arvag/.
22.
Kleinrock, L.1975. Queuing Systems, Vol. 1: Theory. John Wiley & Sons, New York.
23.
Nilsson, J., B. Bernhardsson and B. Wittenmark.1998. Stochastic analysis and control of real-time systems with random time delays . Automatica, 34(1): 57-64.
24.
Walsh, G.C. and H. Ye .2001. Scheduling of networked control systems. IEEE Control Systems Magazine, 21(1): 57-65.
25.
Castro, R. and E. Kofman.2008. Discrete Event Modeling and Simulation of Networked Control Systems. Technical Report LSD0808, LSD, UNR. Available at: http://www.fceia.unr.edu.ar/∼kofman.
26.
Box, G.E.P. and M.E. Müller.1958. A note on the generation of random normal deviates. The Annals of Mathematical Statistics, 29(2): 610-611.
27.
Press, W.H., S.A. Teukolsky, W.T. Vetterling and B.P. Flannery.2007. Numerical Recipes: The Art of Scientific Computing. Cambridge University Press, Cambridge.
28.
Castro, R. and E. Kofman.2008. Simulation of NCS systems: a performance study of discrete event and discrete time techniques. Technical Report LSD0809, LSD, UNR. Available at: http://www.fceia.unr.edu.ar/∼kofman .
29.
Franklin, G.F. , J.D. Powell and A. Emami Naeini.1994. Feedback Control of Dynamic Systems. Addison-Wesley, Reading, MA.
30.
Kofman, E.2004. Discrete event simulation of hybrid systems. SIAM Journal on Scientific Computing, 25(5): 1771-1797.
31.
Chow, A.C.-H. 1996. Parallel DEVS: a parallel, hierarchical, modular modeling formalism and its distributed simulator. Transactions of the Society for Computer Simulations International, 13(2): 55-67.
