Rodrigo Castro

A formal framework for stochastic discrete event system specification modeling and simulation

2010, Simulation 86 (10), 587-611, 2010
Citas: 46
Importar citas Plots Conexiones

Autor(es)

Rodrigo Castro and Ernesto Kofman and Gabriel Wainer

URL Pública

https://journals.sagepub.com/doi/abs/10.1177/0037549709104482

Abstract

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.

Plot de citas

Citas de Scrapping

# Año #Citas Título Autores Journal Editor
1 2011 93 Simulation of wind farm operations and maintenance using discrete event system specification E Byon, E Pérez, Y Ding, L Ntaimo  Simulation, 2011 journals.sagepub.com
2 2023 2 Correct and efficient UAV missions based on temporal planning and in-flight hybrid simulations E Pecker-Marcosig, S Zudaire, R Castro…  Robotics and Autonomous …, 2023 Elsevier
3 2016 41 Towards a framework for more robust validation and verification of simulation models for systems of systems BP Zeigler, JJ Nutaro  The Journal of Defense Modeling and …, 2016 journals.sagepub.com
4 2018 19 DEVS markov modeling and simulation: formal definition and implementation C Seo, BP Zeigler, D Kim  Proceedings of the 4th ACM International …, 2018 dl.acm.org
5 2015 24 Multi-component wind turbine modeling and simulation for wind farm operations and maintenance E Perez, L Ntaimo, Y Ding  Simulation, 2015 journals.sagepub.com
6 2014 28 A vectorial DEVS extension for large scale system modeling and parallel simulation F Bergero, E Kofman  Simulation, 2014 journals.sagepub.com
7 2013 31 Principles of discrete event system specification model verification H Saadawi, G Wainer  Simulation, 2013 journals.sagepub.com
8 2015 16 CML-DEVS: A specification language for DEVS conceptual models DA Hollmann, M Cristiá, C Frydman  Simulation Modelling Practice and …, 2015 Elsevier
9 2015 10 Roadmap to a unified treatment of safety and security J Draeger 2015 IET
10 2013 11 Application of the DEVS and Cell-DEVS formalisms for modeling networking applications GA Wainer, M Tavanpour…  2013 Winter Simulations …, 2013 ieeexplore.ieee.org
11 2019 5 NB-DEVS: a hybrid approach for modelling and simulation of imperfect systems K Mostefaoui, Y Dahmani  International Journal of …, 2019 inderscienceonline.com
12 2015 10 An integrative approach for hybrid modeling, simulation and control of data networks based on the DEVS formalism R Castro, E Kofman  Modeling and Simulation of Computer Networks and …, 2015 Elsevier
13 2012 13 San lite-solver: a user-friendly software tool to solve san models AHC de Sales  Theory of Modeling and Simulation: DEVS …, 2012 meriva.pucrs.br
14 2011 11 Principles of DEVS models verification for real-time embedded applications H Saadawi, G Wainer…  Real-time simulation …, 2011 api.taylorfrancis.com
15 2009 11 A DEVS—based End-to-end Methodology for Hybrid Control of Embedded Networking Systems R Castro, E Kofman, G Wainer  IFAC Proceedings Volumes, 2009 Elsevier
16 2014 6 A comparative analysis of system dynamics and agent-based modelling for health care reimbursement systems P Einzinger 2014 publik.tuwien.ac.at
17 2014 5 Nondeterministic and elapsed-time-sensitive DEVS JH Yoon, HY Lee  Proceedings of the 2014 SpringSim Poster Session, 2014 dl.acm.org
18 2013 4 SimGine: A simulation engine for stochastic discrete-event systems based on SDES description A Khalili, M Abdollahi Azgomi, A Jalaly Bidgoly  Simulation, 2013 journals.sagepub.com
19 2023 0 Benchmarking formalisms for dynamic structure system Modeling and Simulation A Attia, C Foucher, LFL Villa 2023 laas.hal.science
20 2018 2 Effective Simulation Modeling Formalism for Autonomous Control Systems DS Chang, KH Cho, S Cheon, SJ Lee…  Journal of Korean Society …, 2018 jksqm.org
21 2016 3 Parallel and pseudorandom discrete event system specification vs. networks of spiking neurons: Formalization and preliminary implementation results A Muzy, M Lerasle, F Grammont…  … Conference on High …, 2016 ieeexplore.ieee.org
22 2019 2 A domain-specific language approach to hybrid cps modelling. S Klikovits 2019 sce.carleton.ca
23 2015 3 Comparative modelling and simulation: a concept for modular modelling and hybrid simulation of complex systems N Popper 2015 repositum.tuwien.at
24 1709 3 Formalized risk assessment for safety and security J Draeger, S Hahndel  arXiv preprint arXiv:1709.00567, 2017 arxiv.org
25 2013 3 A Method for DEVS Simulation of E-Commerce Processes for Integrated Business and Technology Evaluation CM Chezzi, AR Tymoschuk, R Lerman  Proc. 2013 Spring Simulation …, 2013 Citeseer
26 2015 2 Translating DEVS conceptual models into simulation models DA Hollmann, M Cristiá, C Frydman  Simul Model Pract Theory, 2015 fceia.unr.edu.ar
27 0 Predicting and Validating Properties of Smart Systems Architecture Models Through Simulations Using Markovian Semantics A Mohsin, N Janjua, M Masek, H Janicke…  Available at SSRN … papers.ssrn.com
28 2020 4 Aplicación de la teoría de restricciones a un proceso productivo alimenticio por medio de simulación de eventos discretos G Roark, E Acosta, S Urrutia, JA Queiroz, F Chiodi 2020 researchgate.net
29 2019 1 New modeling formalism for the energy simulation of conveyor systems WK Ham, JW Oh, KH Cho, K Park, SC Park  Computers & Industrial …, 2019 Elsevier
30 2014 1 UML profile for mining process: supporting modeling and simulation based on metamodels of activity diagram A Giubergia, D Riesco, V Gil-Costa…  Modelling and Simulation …, 2014 hindawi.com
31 2018 2 자율제어시스템의 효과적인 시뮬레이션 모델링 형식론 장대순， 조강훈， 천상욱， 이상진， 박상철  품질경영학회지, 2018 sce.carleton.ca
32 2014 2 Développement de concepts et outils d'aide à la décision pour l'optimisation via simulation B Poggi 2014 hal.science
33 2019 1 Desarrollo de modelos conceptuales en simulación: Utilización de la técnica IDEF-SIM en los procesos de despacho expedición de una planta de cemento SB Urrutia, L Villalba, G Petesch, E Pastore…  …, 2019 revistas.fio.unam.edu.ar
34 0 Simulation-based Unified Risk Assessment for Safety and Security J Draeger, S Hahndel sce.carleton.ca
35 2021 0 Les expériences virtuelles de simulation comme outils d'aide à la prise de décisions: des données au processus de décision PA Bisgambiglia 2021 hal.science
36 2019 1 Modelaje y simulación computacional con FlexSim de un proceso de despacho y expedición en una industria cementera argentina G Roark, FJ Chiodi, G Petesch, E Pastore… 2019 researchgate.net
37 2019 0 Converting high level models into DEVS modeling and simulation applications GA Wainer  Summer of Simulation: 50 Years of Seminal Computer …, 2019 Springer
38 0 Research Article UML Profile for Mining Process: Supporting Modeling and Simulation Based on Metamodels of Activity Diagram A Giubergia, D Riesco, V Gil-Costa, M Printista academia.edu
39 2018 0 Toward Composing Variable Structure Models and Their Interfaces: A Case of Intensional Coupling Definitions A Steiniger 2018 eprints.mosi.informatik.uni-rostock …
40 0 Doktors der technischen Wissenschaften DIN Popper publik.tuwien.ac.at
41 0 A DEVS–based End-to-end Methodology for Hybrid Control of Embedded Networking Systems G Wainer, R Castro, E Kofman Citeseer
42 2015 0 Prognostic of complex machines and systems using partial least squares path modelling RTT Chan 2015 unsworks.unsw.edu.au
43 0 UNIVERSITEDECORSE–PASQUALEPAOLI UM RCNRS6134–SCIENCESPOUR L'ENVIRONNEMENT M Paul-AntoineBisgambiglia researchgate.net
44 2011 0 Study of Human Influenza's Spreading Phenomenon R Trandafir, C Resteanu  … , LSSC 2011, Sozopol, Bulgaria, June 6-10 …, 2012 Springer
45 2013 0 Modelo de simulación de sistema de comercio electrónico para evaluación de desempeño JM Cámara, F Baroni, R Lerman…  … (SIO)-JAIIO 42 …, 2013 sedici.unlp.edu.ar
46 2015 0 DA Hollmann 2015 Universidad Nacional de Rosario

Referencias

# Title Year Source Authors
1 GDEVS: a generalized discrete event specification for accurate modeling of dynamic systems 2000 Transactions of the SCS N. Giambiasi , B. Escude , S. Ghosh
2 Parallel Discrete Event Simulation with Application to Continuous Systems 2003 PhD Thesis J. Nutaro
3 Defining DEVS Models with the CD++ Toolkit 2001 In Proceedings of ESS2001 G. Wainer , G. Christen , A. Dobniewski
4 The JDEVS Environmental Modeling and Simulation Environment 2002 In Proceedings of IEMSS 2002 J.B. Filippi , M. Delhom , F. Bernardi
5 PowerDEVS: A DEVS Based Environment for Hybrid System Modeling and Simulation 2003 Technical Report LSD0306 E. Kofman , M. Lapadula , E. Pagliero
6 Discrete event simulation of stochastic and deterministic sequential machine models 1980 In Proceedings of the 12th Winter Conference on Simulation, Orlando, FL M.M. Cutler
7 Discrete Event Systems: Modeling and Performance Analysis 1993 Irwin and Aksen C. Cassandras
8 Ergodic Machines-Probabilistic and Approximate Homomorphic Simplifications 1975 PhD Thesis S. Aggarwal
9 Analysis and Simplifications of Discrete Event Systems and Jackson Queuing Networks 1976 PhD Thesis B. Melamed
10 The process theoretical approach to qualitative DEVS 1996 In Proceedings of the 7th Conference on AI, Simulation, and Planning in High Autonomy Systems (AIS'96) C. Joslyn
11 Stochastic analysis and control of real-time systems with random time delays 1998 Automatica J. Nilsson , B. Bernhardsson , B. Wittenmark
12 Scheduling of networked control systems 2001 IEEE Control Systems Magazine G.C. Walsh , H. Ye
13 Discrete Event Modeling and Simulation of Networked Control Systems 2008 Technical Report LSD0808 R. Castro , E. Kofman
14 A note on the generation of random normal deviates 1958 The Annals of Mathematical Statistics G.E.P. Box , M.E. Müller
15 Simulation of NCS systems: a performance study of discrete event and discrete time techniques 2008 Technical Report LSD0809 R. Castro , E. Kofman
16 Discrete event simulation of hybrid systems 2004 SIAM Journal on Scientific Computing E. Kofman
17 Parallel DEVS: a parallel, hierarchical, modular modeling formalism and its distributed simulator 1996 Transactions of the Society for Computer Simulations International A.C.-H. Chow

Figuras

...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...