This Article Full Text (OnlineFirst PDF) Alert me when this article is cited Alert me if a correction is posted Services Email this article to a friend Similar articles in this journal Alert me to new issues of the journal Add to Saved Citations Download to citation manager Request Permissions Request Reprints Add to My Marked Citations Citing Articles Citing Articles via Scopus Google Scholar Articles by Castro, R. Articles by Wainer, G. Social Bookmarking                         What's this?

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

¹ Universidad Nacional de Rosario, Riobamba 245 bis, Rosario 2000, Santa Fe, Argentina
² Carleton University, 1125 Colonel By Drive, Ottawa, Canada

^* To whom correspondence should be addressed. E-mail: gwainer{at}sce.carleton.ca.

	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.

First published on June 29, 2009
SIMULATION 2009, doi:10.1177/0037549709104482


CiteULike    Complore    Connotea    Del.icio.us    Digg    Reddit    Technorati    Twitter    What's this?