Results 1  10
of
37
Models of complex physical systems using CellDEVS
 Proceedings of Annual Simulation Symposium
, 2001
"... We present the definition of diverse models of physical systems using the CellDEVS paradigm. CellDEVS is an extension of the DEVS formalism that allows the definition of cellular models. We have developed a tool implementing these theoretical concepts, making easy the definition of cell spaces wit ..."
Abstract

Cited by 47 (14 self)
 Add to MetaCart
We present the definition of diverse models of physical systems using the CellDEVS paradigm. CellDEVS is an extension of the DEVS formalism that allows the definition of cellular models. We have developed a tool implementing these theoretical concepts, making easy the definition of cell spaces with explicit timing delays. Diversity of problems can be attacked in a simple fashion, reducing the development times of complex models. A wide variety of models have been developed using this approach, and here we include examples of a fire spreading model with different conditions, formation of a watershed and robots in a manufacturing plant. These examples allow us to show the potential application of the formalism and related tools to attack diflerent problems. 1.
Implementing Parallel CellDEVS
 In Proceedings of Annual Simulation Symposium
, 2003
"... CellDEVS is a formalism intended to model complex physical systems as cell spaces. CellDEVS allow describing cellular models using timing delay constructions, allowing simple definition of complex timing. The original specificationw sere extended to permit parallel specification of these models, a ..."
Abstract

Cited by 36 (20 self)
 Add to MetaCart
(Show Context)
CellDEVS is a formalism intended to model complex physical systems as cell spaces. CellDEVS allow describing cellular models using timing delay constructions, allowing simple definition of complex timing. The original specificationw sere extended to permit parallel specification of these models, and an associated simulation mechanism allows their execution. Here we present some implementation issues related with the definition of parallel simulators for CellDEVS. 1.
Improved Cellular Models with Parallel CellDEVS
 Transactions of the Society for Computer Simulation International
, 2000
"... This article presents an extension to the ndimensional CellDEVS formalism [1], allowing the definition of parallel models ..."
Abstract

Cited by 26 (10 self)
 Add to MetaCart
(Show Context)
This article presents an extension to the ndimensional CellDEVS formalism [1], allowing the definition of parallel models
Experimental Results Of Timed CellDEVS Quantization
 IN PROCEEDINGS OF AIS'2000
, 2000
"... An experimental analysis of quantized CellDEVS models is presented. The experiments show that execution times can be reduced according with bx a when quantized cell spaces are used. The error introduced has linear growth for small quanta. The experimental studies suggest how to define dynam ..."
Abstract

Cited by 16 (9 self)
 Add to MetaCart
An experimental analysis of quantized CellDEVS models is presented. The experiments show that execution times can be reduced according with bx a when quantized cell spaces are used. The error introduced has linear growth for small quanta. The experimental studies suggest how to define dynamic strategies to improve the execution times in timed CellDEVS. Quantization ideas are easy to apply, and the concept is generic to be used in any simulation environment.
Definition of RealTime Simulation in the CD++ Toolkit
 In Proceedings of the 2002 Summer Computer Simulation Conference
, 2002
"... The CD++ toolkit was developed in order to implement the theoretical concepts specified by the DEVS formalism. The existing simulation technique available in CD++ employs a virtual time approach. This work presents the definition and implementation of realtime simulation to the toolkit and ties the ..."
Abstract

Cited by 10 (3 self)
 Add to MetaCart
The CD++ toolkit was developed in order to implement the theoretical concepts specified by the DEVS formalism. The existing simulation technique available in CD++ employs a virtual time approach. This work presents the definition and implementation of realtime simulation to the toolkit and ties the model execution to a wallclock attached to the system (physical time). The new simulation technique allows the interaction between the model and its surrounding environment. Time constraints can be easily imposed by the user to the simulated system. A nonhierarchical simulation approach is also presented and introduced to CD++ to reduce the communication overhead. The new flattened simulation technique allows a more effective execution when the realtime approach is used. These recent enhancements are detailed and tested here.
Application of the CellDEVS paradigm using NCD
 In Proceedings of the 32 nd SCS Summer Computer Simulation Conference
, 2000
"... CellDEVS is an extension of the DEVS formalism that allows the definition of cellular models. We have developed a tool implementing these theoretical concepts, ma king easy the definition of complex cell spaces with explicit timing delays. Here, we show the use of the paradigm through different ap ..."
Abstract

Cited by 8 (6 self)
 Add to MetaCart
(Show Context)
CellDEVS is an extension of the DEVS formalism that allows the definition of cellular models. We have developed a tool implementing these theoretical concepts, ma king easy the definition of complex cell spaces with explicit timing delays. Here, we show the use of the paradigm through different application examples. Complex applications can be implemented in a simple fashion, and they can be executed effectively.
Using the CD++ DEVS Tookit to Develop Petri Nets
"... We describe an implementation where mapping of the Petri Net (PN) modeling formalism into the DEVS modeling formalism was used for the purpose of simulating PNs using a DEVS simulator. The focal point of the paper is a description of the DEVS atomic models used to model PN transitions and places alo ..."
Abstract

Cited by 7 (0 self)
 Add to MetaCart
We describe an implementation where mapping of the Petri Net (PN) modeling formalism into the DEVS modeling formalism was used for the purpose of simulating PNs using a DEVS simulator. The focal point of the paper is a description of the DEVS atomic models used to model PN transitions and places along with a description of PN simulation results obtained using an unmodified DEVS simulator.
Performance Analysis of Cellular Models with Parallel CellDEVS
 In Proceedings of SCS Summer Computer Simulation Conference
, 2001
"... CellDEVS is a formalism intended to describe cell shaped models. It defines cellular models with timing delay constructions, using simple definition of complex timing. The original specifications were recently extended to entitle parallel execution. A distributed mechanism allows the simulator to e ..."
Abstract

Cited by 7 (5 self)
 Add to MetaCart
CellDEVS is a formalism intended to describe cell shaped models. It defines cellular models with timing delay constructions, using simple definition of complex timing. The original specifications were recently extended to entitle parallel execution. A distributed mechanism allows the simulator to execute independently of the model specification. Here we present some implementation issues related with the definition of parallel simulators for CellDEVS.
Improved CellDEVS model definition in CD
 P.M.A. Sloot, B. Chopard, and A.G. Hoekstra (Eds.): ACRI 2004, LNCS
, 2004
"... Abstract. We describe two improvements made to CD++, a tool for modeling and simulation of cellular models based on the CellDEVS formalism. The modifications described in this work remove some limitations existing in the previous implementation. These modifications allow the cells to use multiple s ..."
Abstract

Cited by 7 (6 self)
 Add to MetaCart
Abstract. We describe two improvements made to CD++, a tool for modeling and simulation of cellular models based on the CellDEVS formalism. The modifications described in this work remove some limitations existing in the previous implementation. These modifications allow the cells to use multiple state variables and multiple ports for intercell communication. The cellular model specification language has been extended to cover these cases, making CD++ a more powerful tool.