A Formal Framework for Stochastic Discrete Event System Specification Modeling and Simulation

SIMULATION

Volumn 86, Issue 10, 2010, Pages 587-611

  Castro, Rodrigo ^a   Kofman, Ernesto ^a   Wainer, Gabriel ^b  

^a UNIVERSIDAD NACIONAL DE ROSARIO   (Argentina)

^b CARLETON UNIVERSITY   (Canada)

Author keywords

DEVS; Discrete Event Simulation; Hybrid System Modeling; Stochastic Systems

Indexed keywords

DEVS; DISCRETE EVENT SYSTEM SPECIFICATION; DISCRETE EVENT SYSTEMS; FORMAL FRAMEWORK; HYBRID MODELING; HYBRID SYSTEM MODELING; MODELING AND SIMULATION; NETWORKED CONTROL SYSTEMS; PERFORMANCE ANALYSIS; PROBABILITY SPACES; SIMULATION EXAMPLE; STOCHASTIC COMPONENT; STOCHASTIC DISCRETE EVENT SYSTEMS; STOCHASTIC FEATURES; STOCHASTIC MODELING;

COMPUTER CONTROL SYSTEMS; CONTROL SYSTEM ANALYSIS; ELECTRIC GROUNDING; HYBRID COMPUTERS; HYBRID SYSTEMS; SPECIFICATIONS; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

DISCRETE EVENT SIMULATION;

EID: 77956725657     PISSN: 00375497     EISSN: None     Source Type: Journal    
DOI: 10.1177/0037549709104482     Document Type: Article

References (31)

1. 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. 1980 Discrete 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. 1995 Probability 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.