Sciweavers

255 search results - page 15 / 51
» Conservative Simulation for Discrete Event Systems
Sort
View
SPRINGSIM
2007
13 years 8 months ago
Studying the impact of web-services implementation of distributed simulation of DEVS and Cell-DEVS models
DEVS is a Modeling and Simulation formalism that has been used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines the cell space as ...
Rami Madhoun, Gabriel A. Wainer
DEDS
2006
101views more  DEDS 2006»
13 years 7 months ago
Near-Optimal Online Control of Dynamic Discrete-Event Systems
A class of time-varying discrete-event systems, named dynamic discrete-event systems, is defined. The goal of this paper is to provide a method which is modular and can be applied ...
Lenko Grigorov, Karen Rudie
ENTCS
2006
137views more  ENTCS 2006»
13 years 7 months ago
Compiling Esterel into Static Discrete-Event Code
Executing concurrent specifications on sequential hardware is important for both simulation of systems that are eventually implemented on concurrent hardware and for those most co...
Stephen A. Edwards, Vimal Kapadia, Michael Halasz
SIMULATION
2008
139views more  SIMULATION 2008»
13 years 7 months ago
Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs
Models of physical systems have to be based on physical principles such as conservation of energy and continuity of power. These principles are inherently enforced by the bond gra...
Pieter J. L. Cuijpers, Jan F. Broenink, Pieter J. ...
DSRT
2005
IEEE
14 years 1 months ago
A Multi-Formalism Modeling Composability Framework: Agent and Discrete-Event Models
It is common practice to build complex systems from disparate sub-systems. Model composability is concerned with techniques for developing a whole model of a system from the model...
Hessam S. Sarjoughian, Dongping Huang