Difference between revisions of "Model Samples"

Revision as of 22:57, 13 May 2008

This page contains information about the numerous Model Samples available. The list of models can be used to learn the basics about the simulation tool. We encourage the users to bring back updated models to the community by accessing our [ sourceforge site of open-source models].

[[A comprehensive list of models can be found here]]

Contents of the model files

Each of the entries in the model respository contain a generic description. The user can find a more detailed description of each model in the different document files found on the archives. <p>All of the above samples include the following files:

FileName.MA: Model description file. In the case of a DEVS model, this describes the coupled model and initial parameters. In the case of Cell-DEVS models, it includes the whole model
FileName.EV (optional): external events file
FileName.VAL (optional): A file with initial values for a Cell-DEVS model
FileName.BAT: A script used to run the simulation with the correct parameters (available for Windows platforms only; it can be simply modified to be used under other platforms). It executes the simulation and it generates a LOG file
FileNameDRW.BAT (optional): A script used to activate the DRAWLOG tool, where the results can be seen in a matrix (only available with some cellular models)
FileName.LOG (optional): A log file generated by the simulator
FileName.DRW (optional): A file generated by DRAWLOG, where the results can be seen in a matrix

The DEVS models are written in C++, and includes :
NAME.CPP: The C++ source code file of the NAME model. This file is needed to recompile the simulator properly (Download an example here!)
NAME.H: The C++ header file of the NAME model. This file is needed to recompile the simulator properly (Download an example here!)

Publications

Numerous publications discuss the contents of the models introduced in our model samples. Here's a few of them. The publications can be found here.

General

• Discrete-Event Modeling and Simulation: a practitioner's approach (book). G. Wainer. (click here to get it at Amazon).

Chemistry and Physics

• “Modeling Complex Physical Systems Using Finite Element Cell-DEVS”. H. Saadawi, G.Wainer. Simulation Modelling Practice and Theory, Volume 15, Issue 10, November 2007, Pages 1268-1291. MM, CA

• "Modeling Complex Physical Systems Using 2D Finite Elemental Cell-DEVS ". H. Saadawi, G. Wainer. In Proceedings of MGA, Advanced Simulation Technologies Conference 2004 (ASTC'04). Arlington, VA. U.S.A. 2004.

• "A flow injection model using Cell-DEVS ". A. Troccoli, J. Ameghino, F. Iñón, G. Wainer. In Proceedings of the 35 th IEEE/SCS Annual Simulation Symposium. San Diego, CA. USA. 2002

• "Modeling and simulation of complex physical systems using Cell-DEVS". J. Ameghino, A. Troccoli, G. Wainer. In Proceedings of 34 th IEEE/SCS Annual Simulation Symposium. Seattle, WA. U.S.A. 2001

• "Application of the Cell-DEVS paradigm using N-CD++ ". J. Ameghino, G. Wainer. In Proceedings of the 32 nd SCS Summer Computer Simulation Conference. Vancouver, BC. Canada. 2000. CA.

• "New Extensions to the CD++ tool ". D. Rodríguez, G. Wainer. In Proceedings of 31 st SCS Summer Computer Simulation Conference. Chicago, USA. 1999.

• "Definition of Cell-DEVS Models for Complex Diffusion Systems". W. Ding, C. Lin, L. Checiu, X. Wu, G. Wainer. Proceedings of the 2005 SCS Summer Computer Simulation Conference. Philadelphia, PA. 2005

Traffic

• "Developing a software tool for Urban traffic Modeling". G. Wainer. Software, Practice and Experience. Volume 37, Issue 13, Date: 10 November 2007, Pages: 1377-1404

• “Defining a Traffic Modeling language Using Cellular Discrete-Event abstractions”. G. Wainer, A. Davidson. Journal of Cellular Automata. Volume 2, Number 4, 2007. pp. 291-343.

• "ATLAS: a specification language for traffic modelling and simulation". A. Davidson, G. Wainer. Simulation, Practice and Experience. Elsevier. Volume 14, No. 3, pp. 317-337. April 2006.

• "Application of the ATLAS language in models of urban traffic ". A. Díaz, V. Vázquez, G. Wainer. In Proceedings of 34 th IEEE/SCS Annual Simulation Symposium. Seattle, WA. USA. 2001

• "Defining vehicle movement under congestion in the ATLAS modelling language ". A. Díaz, V. Vázquez, G. Wainer. In Proceedings of the 2001 Summer Computer Simulation Conference. Orlando, FL. USA. 2001

• "Vehicle routing in ATLAS ". A. Díaz, V. Vázquez, G. Wainer. In Proceedings of European Simulation Symposium. Marseille, France. 2001. TR.

• "TSC: a compiler for the ATLAS language". M. Lo Tártaro, C. Torres, G. Wainer. In Proceedings of 2001 Winter Simulation Conference. Arlington, VA. U.S.A. IEEE Press. 2001. TR.

• "Specifying truck movement in traffic models using Cell-DEVS ". A. Davidson, G. Wainer. In Proceedings of 33 re IEEE/SCS Annual Simulation Symposium. Washington, D.C. U.S.A. 2000. TR.

• "Specifying control signals in traffic models ". A. Davidson, G. Wainer. In Proceedings of AIS'2000 Artificial Intelligence, Simulation and Planning. Tucson, Arizona. U.S.A. 2000.

• "Defining and visualizing models of urban traffic ". G. Wainer, S. Borho, J. Pittner. In Proceedings of the SCS 1 st Mediterranean Multiconference on Modeling and Simulation. Genoa, Italy. 2004.

Computer systems and Computer Networks

• “DEVS modeling of mobile wireless ad hoc networks”. U. Farooq, B. Balya, G. Wainer. Simulation Modeling, Practice and Theory. Elsevier. Vol. 15, No. 3., pp. 285-314. 2007.

• "Experiences in modelling and simulation of computer architectures using DEVS ". S. Daicz; A. Troccoli, G. Wainer. In Transactions of the Society for Modeling and Simulation International. Vol. 18, No. 4. December 2001. pp. 179-202.

• "Using the ALFA-1 simulated processor for educational purposes ". G. Wainer, S. Daicz, L. De Simoni, D. Wassermann. In ACM Journal on Educational Resources in Computing. Vol. 1, No. 4. December 2001. pp. 111-151.

• "Modeling Robot Path Planning with CD++". G. Wainer. In Proceedings of ACRI 2006, LNCS. Perpignan, France

• "Applying DEVS modeling for Discrete Event Multiple Model Control of a Time Varying Plant". A. Campbell, G. Wainer. In Proceedings of Wintersim 2006. Monterey, CA.

• "Building a tool for modeling and simulation of computer networks". M. Ahmed, K. Yonis, M. Elshafei, G. Wainer. In Proceedings of the 38 th IEEE/SCS Annual Simulation Symposium. San Diego, CA. U.S.A. 2005.

• "sAMS-VHDL: a tool for modeling hybrid hardware description languages". S. Mehta, G. Wainer. In Proceedings of the 2005 DEVS Integrative M&S Symposium, Spring Simulation Conference. San Diego, CA. U.S.A. 2005

• "Modeling energy pathways in cells". R. Djafarzadeh, T. Mussivand, G. Wainer. In Proceedings of the 2005 DEVS Integrative M&S Symposium, Spring Simulation Conference. San Diego, CA. U.S.A. 2005.

• "Modeling ad-hoc networks using Cell-DEVS models ". B. Balya, U. Farooq, G. Wainer. In Proceedings of 2004 International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS'04). San Jose, CA. 2004

Environmental Sciences

• “Applying Cell-DEVS Methodology for Modeling the Environment”. G. Wainer. In Simulation, Transactions of the SCS. Vol. 82, No. 10, 635-660. October 2006.

• "Cellular Discrete-event modeling and simulation of fire spreading across a fuel bed". A. Muzy, E. Innocenti, G. Wainer, A. Aiello, J-F. Santucci, T. Marcelli and P. Santoni. Simulation: Transactions of the Society for Modeling and Simulation International. February 2005 Vol. 81, No. 2: 103-117

• "Distributed Simulation and Web Map Mash-Up for Forest Fire Spread". Yosri Harzallah, Vincent Michel, Qi Liu, Gabriel Wainer. Accepted for publication in Proceedings of IEEE ICWS 2008

• "Improved Cell-DEVS Models for Fire Spreading Analysis" M. MacLeod, R. Chreyh, G. Wainer. In Proceedings of ACRI 2006, LNCS. Perpignan, France

• "Comparing simulation methods for fire spreading across a fuel bed ". A. Muzy, G. Wainer, E. Innocenti, A. Aiello, J.F. Santucci. In Proceedings of AIS'2002. Lisbon, Portugal. 2002

• "Creating Advanced Fire-Spreading models using the CD++ toolkit". G. Wainer. Proceedings of the Summit on Environmental Modeling and Software, IEMSS 2006. Burlington, Vermont. 2006. EN

• "Applying Cell-DEVS for Modeling Advanced Environmental Systems". G. Wainer. Proceedings of the Summit on Environmental Modeling and Software, IEMSS 2006. Burlington, Vermont. 2006

Systems Biology and Medicine

• "Using G-DEVS and Cell-DEVS to model complex continuous systems". N. Giambiasi, G. Wainer. Simulation: Transactions of the Society for Modeling and Simulation

• “Modelling Tumor-Immune Systems with Cell-DEVS”. G. Wainer, R. Goldstein. Accepted for publication in Proceedings of the European Modeling and Simulation Conference 2008. Nicosia, Cyprus. 2008

• "A model of virus spreading using Cell-DEVS". H. Shang, G. Wainer. In Proceedings of the International Conference on Computational Science. Lecture Notes in Computer Science. Atlanta, GA. 2005

• “A Busy Day at the SAT Building”. E. Poliakov, G. Wainer, M. Jemtrud. AIS 2007, Artificial Intelligence, Simulation and Planning. Buenos Aires, Argentina. CO

Architecture and Construction

• "Cell-based representation and analysis of spatial resources in construction simulation”. C. Zhang, A. Hammad, T. Zayed, G. Wainer. in Journal of Automation in Construction. Elsevier. Volume 16, Issue 4, Pages 436-448. July 2007.

• "Representation and Analysis of Spatial Resources in Construction Simulation". C. Zhang, A. Hammad, T. Zayed, G. Wainer. In Proceedings of the Winter Simulation Conference. Orlando, FL. IEEE Press

• "Advanced DEVS model visualization". A. Khan, W. Venhola, G. Wainer, M. Jemtrud. Proceedings of IMACS World Congress on Scientific Computation, Applied Mathematics and Simulation 2005. Paris, France. 2005.

• “A Busy Day at the SAT Building”. E. Poliakov, G. Wainer, M. Jemtrud. AIS 2007, Artificial Intelligence, Simulation and Planning. Buenos Aires, Argentina.

Other

• "Developing defense applications using DEVS/Cell-DEVS". R. Madhoun, G.Wainer. SCS Journal of Defense Modeling and Simulation. Volume 2, Issue 3, July 2005. pp.121-143.

• "Simulating Market Dynamics with CD++". Q. Liu, G. Wainer. In Proceedings of the International Conference on Computational Science. Lecture Notes in Computer Science. Atlanta, GA. 2005.

• "Application of the Cell-DEVS formalism for modeling cell spaces". J. Ameghino, G. Wainer. In Proceedings of AIS '2004. Jeju Island, Korea. Lecture Notes in Computer Science. Vol 3397. T.G.Kim, Ed. 2004

• " Applying Cell-DEVS in 3D Free-Form Shape Modeling" . P. Wu, X. Wu, G. Wainer. In Proceedings of ACRI 2004. Netherlands. 2004

• "Using the CD++ DEVS toolkit to develop Petri Nets ". C. Jacques, G. Wainer. In Proceedings of the 2002 Summer Computer Simulation Conference. San Diego, CA. USA. 2002

• "A library of Layered Queuing Networks using the DEVS formalism". D. Petriu, G. Wainer. In Proceedings of the SCS 1 st Mediterranean Multiconference on Modeling and Simulation. Genoa, Italy. 2004

• "Implementing finite state machines using the CD++ toolkit ". T. Zheng, G. Wainer. In Proceedings of the 2003 Summer Computer Simulation Conference. Montreal, QC. Canada. 2003

• "Modeling of maze-solving problems using Cell-DEVS ". K. Lam, G. Wainer. In Proceedings of the 2003 Summer Computer Simulation Conference. Montreal, QC. Canada. 2003. CO.

• " Modeling a sand pile application using Cell-DEVS ". H. Saadawi, G. Wainer. In Proceedings of the 2003 Summer Computer Simulation Conference. Montreal, QC. Canada. 2003

In Spanish

Do you prefer to read Spanish? - Metodologías de modelización y simulación de eventos discretos. G. Wainer. Nueva Librería. 2002.