Discrete-Event Modeling and Simulation: Theory and Applications, 1st Edition (Hardback) book cover

Discrete-Event Modeling and Simulation

Theory and Applications, 1st Edition

Edited by Gabriel A. Wainer, Pieter J. Mosterman

CRC Press

534 pages | 298 B/W Illus.

Purchasing Options:$ = USD
Hardback: 9781420072334
pub: 2010-12-10
SAVE ~$35.00
$175.00
$140.00
x
eBook (VitalSource) : 9781315218731
pub: 2018-09-03
from $28.98


FREE Standard Shipping!

Description

Collecting the work of the foremost scientists in the field, Discrete-Event Modeling and Simulation: Theory and Applications presents the state of the art in modeling discrete-event systems using the discrete-event system specification (DEVS) approach. It introduces the latest advances, recent extensions of formal techniques, and real-world examples of various applications.

The book covers many topics that pertain to several layers of the modeling and simulation architecture. It discusses DEVS model development support and the interaction of DEVS with other methodologies. It describes different forms of simulation supported by DEVS, the use of real-time DEVS simulation, the relationship between DEVS and graph transformation, the influence of DEVS variants on simulation performance, and interoperability and composability with emphasis on DEVS standardization. The text also examines extensions to DEVS, new formalisms, and abstractions of DEVS models as well as the theory and analysis behind real-world system identification and control. To support the generation and search of optimal models of a system, a framework is developed based on the system entity structure and its transformation to DEVS simulation models. In addition, the book explores numerous interesting examples that illustrate the use of DEVS to build successful applications, including optical network-on-chip, construction/building design, process control, workflow systems, and environmental models.

A one-stop resource on advances in DEVS theory, applications, and methodology, this volume offers a sampling of the best research in the area, a broad picture of the DEVS landscape, and trend-setting applications enabled by the DEVS approach. It provides the basis for future research discoveries and encourages the development of new applications.

Table of Contents

Foreword: The DEVS Core and Challenges to its Continued Development, Bernard P. Zeigler

Theory

DEVS as a Semantic Domain for Programmed Graph Transformation, Eugene Syriani and Hans Vangheluwe

System State Identification Using DEVS, Norbert Giambiasi, Diego Llarrull, and Maximiliano Cristiá

A Formal Definition of Dynamic Structure Discrete-Flow Components, Fernando J. Barros

Continuous System Simulation and Control, Ernesto Kofman, François E. Cellier, and Gustavo Migoni

Methodology and Tools

Heterogeneous Model Composability, Hessam S. Sarjoughian and Gary R. Mayer

Effective and Efficient Modeling and Simulation with DEVS Variants, Adelinde M. Uhrmacher, Jan Himmelspach, and Roland Ewald

Object-Oriented Comodeling Methodology for Development of Domain-Specific DEVS Models, Chang Ho Sung and Tag Gon Kim

A Framework for Simulation-Based Structure and Parameter Optimization of Discrete-Event Systems, Olaf Hagendorf and Thorsten Pawletta

Parallel Simulation of DEVS and Cell-DEVS Models in PCD++, Gabriel A. Wainer, Qi Liu, and Shafagh Jafer

From Virtual to Real—A Progressive Simulation-Based Design Framework, Xiaolin Hu

Applications

Formalization for Formal Verification of an Optical Network-on-Chip Using DEVS, Luiza Gheorghe, Gabriela Nicolescu, and Ian O’Connor

Construction Simulation Using Cell-DEVS Modeling, Amin Hammad, Hong Pang, and Cheng Zhang

Stochastic Modeling Strategies for the Simulation of Large (Spatial) Distributed Systems: Application to Fire Spread, Alexandre Muzy and David R.C. Hill

Environmental Models in DEVS, Different Approaches for Different Applications, Jean-Baptiste Filippi, Jean-François Santucci, Teruhisa Komatsu, and David R.C. Hill

Standardization

DEVS Standardization: Foundations and Trends, Gabriel A. Wainer, Khaldoon Al-Zoubi, Olivier Dalle, David R.C. Hill, Saurabh Mittal, José L. Risco Martín, Hessam Sarjoughian, Luc Touraille, Mamadou K. Traoré, and Bernard P. Zeigler

An Introduction to DEVS Standardization, Gabriel A. Wainer, Khaldoon Al-Zoubi, David R.C. Hill, Saurabh Mittal, José L. Risco Martín, Hessam Sarjoughian, Luc Touraille, Mamadou K. Traoré, and Bernard P. Zeigler

Standardizing DEVS Model Representation, Gabriel A. Wainer, Khaldoon Al-Zoubi, David R.C. Hill, Saurabh Mittal, José L. Risco Martín, Hessam Sarjoughian, Luc Touraille, Mamadou K. Traoré, and Bernard P. Zeigler

Standardizing DEVS Simulation Middleware, Gabriel A. Wainer, Khaldoon Al-Zoubi, Olivier Dalle, Saurabh Mittal, José L. Risco Martín, Hessam Sarjoughian, and Bernard P. Zeigler

Index

About the Editors

Gabriel A. Wainer is an associate professor in the Department of Systems and Computer Engineering at Carleton University. Dr. Wainer is vice president of publications for the Society for Modeling and Simulation International (SCS), the special issues editor of SIMULATION: Transactions of the Society for Modeling and Simulation International, an associate editor of JDMS: The Journal of Defense Modeling and Simulation, and an editorial board member of Wireless Networks and the International Journal of Simulation & Process Modelling. He has been a recipient of the IBM Eclipse Innovation Award, the Society for Modeling and Simulation International Leadership award, Carleton University’s Research Achievement Award, and the First Bernard P. Zeigler DEVS Modeling and Simulation Award. His research focuses on discrete event modeling and simulation, parallel and distributed simulation, and real-time systems.

Pieter J. Mosterman is a senior research scientist at MathWorks, where he works on core modeling, simulation, and code generation features of Simulink®. Dr. Mosterman is also an adjunct professor in the School of Computer Science at McGill University. He designed HyBrSim, which was awarded the IMechE Donald Julius Groen Prize in 2003, and the Electronics Laboratory Simulator, which was nominated for The Computerworld Smithsonian Award by Microsoft Corporation in 1994. Dr. Mosterman also received the SCS Distinguished Service Award. He is an editorial advisory board member of SIMULATION: Transactions of the Society for Modeling and Simulation International and an associate editor of the International Journal of Control and Automation, the International Journal of Critical Computer-Based Systems, and Applied Intelligence.

About the Series

Computational Analysis, Synthesis, and Design of Dynamic Systems

Learn more…

Subject Categories

BISAC Subject Codes/Headings:
COM059000
COMPUTERS / Computer Engineering
TEC007000
TECHNOLOGY & ENGINEERING / Electrical
TEC009000
TECHNOLOGY & ENGINEERING / Engineering (General)