INVESTIGADORES
CASTRO Rodrigo Daniel
artículos
Título:
A Formal Framework for Stochastic DEVS Modeling and Simulation
Autor/es:
RODRIGO CASTRO; ERNESTO KOFMAN; GABRIEL WAINER
Revista:
SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL
Editorial:
SAGE PUBLICATIONS LTD
Referencias:
Lugar: London; Año: 2009 vol. 86 p. 587 - 611
ISSN:
0037-5497
Resumen:
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.
