This page has been relocated. If you are not automatically redirected in a few seconds PRESS HERE

(ARS) Lab :: Research -Modelling Techniques


Research Topics Information

 

 

Modelling Techniques

Publications

"N-dimensional Cell-DEVS" . G. A. Wainer, N. Giambiasi In Discrete event dyamic systems. April 2002.

"Improved cellular models with parallel Cell-DEVS". G. A. Wainer. In Transactions of the SCS. June 2000 Download the paper here

"Application of the Cell-DEVS paradigm for cell spaces modelling and simulation". G. A. Wainer, N. Giambiasi In Simulation, January 2001.

"Timed Cell-DEVS: modelling and simulation of cellular models". G.Wainer, N. Giambiasi. In Discrete Event Modeling and Simulation Technologies. by Hessam S. Sarjoughian (Editor), François E. Cellier (Editor), [2001]

"Experimental results of Timed Cell-DEVS quantization". G. Wainer, B.Zeigler. In Proceedings of AIS'2000. Tucson, Arizona. U.S.A.  

"Avoiding serialization in timed Cell-DEVS models". G.A. Wainer, N. Giambiasi. In Proceedings of the SCS Summer Multiconference on Computer Simulation. Chicago, U.S.A. 1999.

"An environment for Cellular DEVS model simulation", G. Wainer, C. Frydman, N. Giambiasi. SCS European Simulation Multiconference, Istambul, Turkey. 1997.

"Cell-Devs models with inertial and transport delays", (Authors: G. Wainer, C. Frydman, N. Giambiasi; 1997). 9th. SCS European Simulation Simposium, Passau, Germany, 1997,

Theses

Ph.D. Thesis: "Discrete event cellular models with explicit delays". G. Wainer. You can obtain a Postcript Copy of the thesis

In Progress

- "Validation and verification of DEVS models". Students: Liliana Morihama, Viviana Pasuello. FCEN-UBA. (2000-).

Tools

The CD++ modelling and simulation toolkit. Download HERE

Models

Name Description
FSM A simple DEVS library to define Finite State Machines
HYBRID A simple library to model hybrid systems (at present the li brary contains an Integrator and a Quantizer implemented as DEVS models).
PETRI A library built on top of DEVS enabling modelling and simulation of Petri Nets.
QUEUE A simple queueing system.
TRANSD Measures the task throughput for a CPU, using a coupled model with different atomic models: a queue, a processor (the CPU), a transducer and a process generator.