Catálogo de publicaciones - revistas
SIMULATION: Transactions of The Society for Modeling and Simulation International
Resumen/Descripción – provisto por la editorial en inglés
SIMULATION`s coverage includes the modelling and simulation of: computer networking and communications, high performance computers, real-time systems, mobile and intelligent agents, simulation software, and language design, system engineering and design, aerospace, traffic systems, microelectronics, robotics, mechatronics, and air traffic and chemistry, physics, biology, medicine, biomedicine, sociology, and cognition.Palabras clave – provistas por la editorial
No disponibles.
Disponibilidad
| Institución detectada | Período | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No detectada | desde ene. 1999 / hasta dic. 2023 | SAGE Journals |
Información
Tipo de recurso:
revistas
ISSN impreso
0037-5497
ISSN electrónico
1741-3133
Editor responsable
SAGE Publishing (SAGE)
País de edición
Estados Unidos
Fecha de publicación
1963-
Cobertura temática
Tabla de contenidos
A Formal Framework for Stochastic Discrete Event System Specification Modeling and Simulation
Rodrigo Castro; Ernesto Kofman; Gabriel Wainer
<jats:p> 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. </jats:p>
Palabras clave: Modelling and Simulation; Software; Computer Graphics and Computer-Aided Design.
Pp. 587-611