Discrete-Event Modeling and Simulation: Theory and Applications

by Wainer; Gabriel A.

• ISBN13: 9781420072334
• ISBN10: 1420072331
• eBook ISBN(s): 9781351834629
• Edition: 1st
• Format: Hardcover
• Copyright: 2010-12-10
• Publisher: CRC Press
• More Book Details

Summary

Collecting the work of the foremost scientists in the field, Discrete-Event Modeling and Simulation: Theory and Applicationspresents 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	p. xi
Contributors	p. xxi
Theory
DEVS as a Semantic Domain for Programmed Graph Transformation	p. 3
System State Identification Using DEVS	p. 29
A Formal Definition of Dynamic Structure Discrete-Flow Components	p. 55
Continuous System Simulation and Control	p. 75
Methodology and Tools
Heterogeneous Model Composability	p. 111
Effective and Efficient Modeling and Simulation with DEVS Variants	p. 139
Object-Oriented Comodeling Methodology for Development of Domain Specific DEVS Models	p. 177
A Framework for Simulation-Based Structure and Parameter Optimization of Discrete-Event Systems	p. 199
Parallel Simulation of DEVS and Cell-DEVS Models in PCD++	p. 223
From Virtual to Real-A Progressive Simulation-Based Design Framework	p. 271
Applications
Formalization for Formal Verification of an Optical Network-on-Chip Using DEVS	p. 293
Construction Simulation Using Cell-DEVS Modeling	p. 309
Stochastic Modeling Strategies for the Simulation of Large (Spatial) Distributed Systems: Application to Fire Spread	p. 331
Environmental Models in DEVS: Different Approaches for Different Applications	p. 357
Standardization
DEVS Standardization: Foundations and Trends	p. 389
An Introduction to DEVS Standardization	p. 393
Standardizing DEVS Model Representation	p. 427
Standardizing DEVS Simulation Middleware	p. 459
Index	p. 495
Table of Contents provided by Ingram. All Rights Reserved.