Foreword: The DEVS Core and Challenges to Its Continued Development / Bernard P. Zeigler |
Contributors |
Theory / Section I: |
DEVS as a Semantic Domain for Programmed Graph Transformation / Eugene Syriani ; Hans VangheluweChapter 1: |
System State Identification Using DEVS / Norbert Giambiasi ; Diego Llarrull ; Maximiliano CristiáChapter 2: |
A Formal Definition of Dynamic Structure Discrete-Flow Components / Fernando BarrosChapter 3: |
Continuous System Simulation and Control / Ernesto Kofman ; François E. Cellier ; Gustavo MigoniChapter 4: |
Methodology and Tools / Section II: |
Heterogeneous Model Composability / Hessam S. Sarjoughian ; Gary R. MayerChapter 5: |
Effective and Efficient Modeling and Simulation with DEVS Variants / Adelinde M. Uhrmacher ; Jan Himmelspach ; Roland EwaldChapter 6: |
Object-Oriented Comodeling Methodology for Development of Domain Specific DEVS Models / Chang Ho Sung ; Tag Gon KimChapter 7: |
A Framework for Simulation-Based Structure and Parameter Optimization of Discrete-Event Systems / Olaf Hagendorf ; Thorsten PawlettaChapter 8: |
Parallel Simulation of DEVS and Cell-DEVS Models in PCD++ / Gabriel A. Wainer ; Qi Liu ; Shafagh JaferChapter 9: |
From Virtual to Real-A Progressive Simulation-Based Design Framework / Xiaolin HuChapter 10: |
Applications / Section III: |
Formalization for Formal Verification of an Optical Network-on-Chip Using DEVS / Luiza Gheorghe Iugan ; Gabriela Nicolescu ; Ian O'ConnorChapter 11: |
Construction Simulation Using Cell-DEVS Modeling / Amin Hammad ; Hong Pang ; Cheng ZhangChapter 12: |
Stochastic Modeling Strategies for the Simulation of Large (Spatial) Distributed Systems: Application to Fire Spread / Alexandre Muzy ; David R.C. HillChapter 13: |
Environmental Models in DEVS: Different Approaches for Different Applications / Jean-Baptiste Filippi ; Teruhisa KomatsuChapter 14: |
Standardization / Section IV: |
DEVS Standardization: Foundations and Trends / Khaldoon Al-Zoubi ; Olivier Dalle ; Saurabh Mittal ; José L. Risco MartÃn ; Hessam Sarjoughian ; Luc Touraille ; Mamadou K. TraoréChapter 15: |
An Introduction to DEVS Standardization / Chapter 16: |
Standardizing DEVS Model Representation / Chapter 17: |
Standardizing DEVS Simulation Middleware / Chapter 18: |
Index |
Foreword: The DEVS Core and Challenges to Its Continued Development / Bernard P. Zeigler |
Contributors |
Theory / Section I: |