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

  • Authors:

  • Rodrigo Castro;Ernesto Kofman;Gabriel Wainer

  • Affiliations:

  • Universidad Nacional de Rosario, Riobamba 245 bis, Rosario2000, Santa Fe, Argentina;Universidad Nacional de Rosario, Riobamba 245 bis, Rosario2000, Santa Fe;Carleton University, 1125 Colonel By Drive, Ottawa,ON, K1S 5B6 Canada

  • Venue:
  • Simulation
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

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.