VI Summer School 2012

The MEIO Summer School is a specialized training program that increases the supply of both professional and research training in the Interuniversity Master in Statistics and Operations Research (MEIO UPC-UB), in 2nd cycle studies, the Degree in Statistical Science and Techniques, and the PhD in Statistics and Operations Research. This year we celebrate the fifth edition of the MEIO Summer School.

These courses are open to all members of the FME, UPC, UB, and to the university, scientist and professionals in general.

The Summer School courses are taught by renowned visiting teachers.This program is possible thanks to funding from the Ministerio de Ciencia e Innovación (MICINN) for official Masters and PhD.

VI Summer School 2012: Introduction to discrete Simulation

Detailed outline
 Introduction. Some examples of real projects.
Introduction to the discipline. Description of some real examples of simulation applied to industrial and environmental problems.

Presentation of the tools to be used during the course.
(L) Introduction to GPSS/Simio software.
Description of GPSS, JGPSS and Simio software. Presentation of the first introductory exercises to start working with the tools.

Methodology. Working with discrete simulation. Formalizing a simulation model. Petri Nets and SDL.

Presentation of some of the more widely used formal languages used in the scope of discrete simulation. Working with PetriNets.
(L)Working with GPSS and Simio.
First exercises to be done using GPSS, JGPSS or Simio software. The students propose a system to be modeled in the next session.

Formalizing a simulation model. Petri Nets and SDL.

Presentation of some of the more widely used formal languages used in the scope of discrete simulation. Working with SDL.
(L)Working with GPSS and Simio.
In this session the students starts the development of his proposed exercise, which must be presented at the end of the course.

Formalizing a simulation model. Petri Nets and SDL.

Presentation of some of the more widely used formal languages used in the scope of discrete simulation. During this session we develop a complete exercise. Also we present DEVS formalism.
(L)Introduction to SDLPS CPNTools and JPetriNetSim.
In this first half of the session some tools that understand formal languages are presented. The students continue with the development of his proposed exercise during the second half.

Experimental design, VV&A of simulation models.

Introduction to Validation, Verification and Accreditation of simulation models. Introduction to the 2k factorial design.
(L)Selecting the best software to “our project”.
In the first half of this session we present some methodologies to select appropriate software for a specific project. The students finish the development of his proposed exercise during the second half.

Evaluation method:
A practical exercise, to be delivered at the end of the course.

Bibliography:
[1] Averill M. Law and W. David Kelton, Simulation Modeling and Analysis.: McGraw-Hill, 2000.
[2] Averill M. Law, "How to build valid and credible simulation models," in Proceedings of the 2005 Winter Simulation Conference, 2005.
[3] R. M. Fujimoto, "Parallel simulation: parallel and distributed simulation systems," in Winter Simulation Conference, 2001, pp. 147-157.
[4] Telecommunication standardization sector of ITU. (1999) Series Z: Languages and general software aspects for telecommunication systems. [Online]. http://www.itu.int/ITU-T/studygroups/com17/languages/index.html
[5] Lauren Doldi, Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis.: John Wiley & Sons, Inc., 2003.
[6] B.P. Zeigler, H. Praehofer, and D. Kim, Theory of Modeling and Simulation.: Academic Press, 2000.
[7] J. L. Peterson, Petri Net Theory and the Modeling of Systems.: Prentice-Hall, 1981.
[8] Pau Fonseca i Casas and Josep Casanovas, "JGPSS, an Open Source GPSS Framework to Teach Simulation," in Procediings of the Winter Simulation Conference 2009, Austin, 2009.
[9] Ingolf Ståhl, "WEBGPSS: THE FIRST TWO HOURS OF SIMULATION EDUCATION," in Proceedings of the 2004 Winter Simulation Conference, 2004.
[10] Ingolf Ståhl, "GPSS - 40 years of development," in Proceedings of the 2001 Winter Simulation Conference, 2001, pp. 577-585.
[11] Robert Crain, "Simulation using GPSS/H," in Proceedings of the 1997 Winter Simulation Conference, 1997.
[12] W. David Kelton, Jeffrey S. Smith, and David T. Sturrock, Simio and Simulation: Modeling, Analysis, Applications, Second Edition ed.: McGraw-Hill, 2012.

AttachmentSize
SIM 1 - (US) Introduction - Pau Fonseca i Casas.pdf3.9 MB
SIM 1.1 - (US) Languages, GPSS - Pau Fonseca i Casas.pdf348.31 KB
SIM 2 - (US) Paradigms of discrete simulation - Pau Fonseca i Casas.pdf239.26 KB
SIM 3 - (US) Formalisms I, introducction - Pau Fonseca i Casas.pdf898.23 KB
SIM 4 - (US) Formalisms III, SDL - Pau Fonseca i Casas.pdf697.16 KB
SIM 5 - (US) Validation, Verification and Acreditation - Pau Fonseca i Casas.pdf752.52 KB

Jokes of the perception

Destino

VI Summer School 2012: Simulation applied to environmental and social systems

Detailed outline:
 

Day

Session

 

Outline

16

1 Theory

9:30 to 11:30

Introduction: Some examples of real projects.

System Dynamics: Continuous processes.

16

1 Practical Lab

12:00 to 14:00

Working with VenSim.

17

2Theory

9:30 to 11:30

GIS data and Cellular automata.

17

2 Practical Lab

12:00 to 14:00

Working with SDLPS.

18

3 Theory

9:30 to 11:30

Characterizing data input randomness.

18

3 Practical Lab

12:00 to 14:00

Characterizing data input randomness.

19

4 Theory

9:30 to 11:30

Intelligent agents.

19

4 Practical Lab

12:00 to 14:00

Working with Agent sheets and SDLPS.

20

5 Theory

9:30 to 11:30

Parallel simulation.

20

5 Practical Lab

12:00 to 14:00

Working with Agent sheets and SDLPS.

 

Evaluation method:

A practical exercise, to be delivered at the end of the course.

Bibliography:

[1] Averill M. Law and W. David Kelton, Simulation Modeling and Analysis.: McGraw-Hill, 2000.
[2] Averill M. Law, "How to build valid and credible simulation models," in Proceedings of the 2005 Winter Simulation Conference, 2005.
[3] R. M. Fujimoto, "Parallel simulation: parallel and distributed simulation systems," in Winter Simulation Conference, 2001, pp. 147-157.
[4] Telecommunication standardization sector of ITU. (1999) Series Z: Languages and general software aspects for telecommunication systems. [Online]. http://www.itu.int/ITU-T/studygroups/com17/languages/index.html
[5] Lauren Doldi, Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis.: John Wiley & Sons, Inc., 2003.
[6] B.P. Zeigler, H. Praehofer, and D. Kim, Theory of Modeling and Simulation.: Academic Press, 2000.
[7] J. L. Peterson, Petri Net Theory and the Modeling of Systems.: Prentice-Hall, 1981.
[8] Pau Fonseca i Casas and Josep Casanovas, "JGPSS, an Open Source GPSS Framework to Teach Simulation," in Procediings of the Winter Simulation Conference 2009, Austin, 2009.
[9] Ingolf Ståhl, "WEBGPSS: THE FIRST TWO HOURS OF SIMULATION EDUCATION," in Proceedings of the 2004 Winter Simulation Conference, 2004.
[10] Ingolf Ståhl, "GPSS - 40 years of development," in Proceedings of the 2001 Winter Simulation Conference, 2001, pp. 577-585.
[11] Robert Crain, "Simulation using GPSS/H," in Proceedings of the 1997 Winter Simulation Conference, 1997.
[12] W. David Kelton, Jeffrey S. Smith, and David T. Sturrock, Simio and Simulation: Modeling, Analysis, Applications, Second Edition ed.: McGraw-Hill, 2012.

AttachmentSize
SIM - (US) Continuous simulation - Pau Fonseca i Casas.pdf1.7 MB
GIS - (US) Introducction - Pau Fonseca i Casas.pdf982.61 KB
Characterizing Data Input Randomness.pdf688.76 KB
SIM - (US) GIS and Simulation - Pau Fonseca i Casas v1.pdf2.25 MB