Theory of Modeling and Simulation: Discrete Event & Iterative System Computational Foundations, Third Edition, continues the legacy of this authoritative and complete theoretical work. It is ideal for graduate and PhD students and working engineers interested in posing and solving problems using the tools of logico-mathematical modeling and computer simulation. Continuing its emphasis on the integration of discrete event and continuous modeling approaches, the work focuses light on DEVS and its potential to support the co-existence and interoperation of multiple formalisms in model components.
New sections in this updated edition include discussions on important new extensions to theory, including chapter-length coverage of iterative system specification and DEVS and their fundamental importance, closure under coupling for iteratively specified systems, existence, uniqueness, non-deterministic conditions, and temporal progressiveness (legitimacy).
- Presents a 40% revised and expanded new edition of this classic book with many important post-2000 extensions to core theory
- Provides a streamlined introduction to Discrete Event System Specification (DEVS) formalism for modeling and simulation
- Packages all the "need-to-know" information on DEVS formalism in one place
- Expanded to include an online ancillary package, including numerous examples of theory and implementation in DEVS-based software, student solutions and instructors manual
Part I: Basics 1. Introduction to System Modeling Concepts 2. Framework for Modeling and Simulation 3. Framework Refinements and Applications (V&V and Properties)
Part II: System Specifications and Discrete Event System Specification (DEVS) 4. Hierarchy of System Specifications 5. Hierarchy of System Morphisms 6. Iterative Specification and DEVS
fundamental existence, progressiveness (legitimacy) 7. Dynamic Structure
Part II: DEVS Simulation 8. Parallel DEVS and Abstract Simulator 9. Parallel DEVS Simulation Protocol, Nutaro 10. Multicomponent DEVS and Simulator, Franceschini 11. DEVS-based Simulator Speedup: Flattening (TG Kim TOMACS), Amdahl
Part III: DEVS Representation of Systems: Event-based Control and Simulation 12. DEVS and DEVS-like Systems: Universality and Uniqueness (Iterative Spec) and DEV&DESS (Hybrid) 13a. Quantization, Discretization, higher order and implicit methods, activity relationship 13b. Unifying Event-based Control and Simulation: DTSS and quantization solve and combine the problems using a single formalism (DEVS)
Part IV: Multi-resolution families: Abstraction, Approximation, and Trade-off 14a. Stochastic DEVS, Probability spaces, legitimacy, formalism extension and their properties (closure under, coupling, coupling of DEVS and STDEVS, etc). 14b. Markov Modeling
DEVS Markov derived from Stochastic DEVS, Semi-Markov 15. Abstraction: Constructing Model Families and SES, Multi-aspects, Vectorial DEVS 16. Approximate Morphisms: Living with Error, Markov Performance Trade-off
Part V: DEVS-Based Modeling 17. DEVS and Neural Modeling, Spiking DEVS 18. DEVS and Emergence at Syntactic Level
Bernard P. Zeigler, is a Professor of Electrical & Computer Engineering at the University of Arizona and co-director of the Arizona Center for Integrative Modeling and Simulation. He is the author of numerous books and publications, a Fellow of the IEEE, and of the Society for Modeling and Simulation International.
Zeigler is currently heading a project for the Joint Interoperability Test Command (JITC) where he is leading the design of the future architecture for large distributed simulation events for the Joint Distributed Engineering Plant (JDEP). He is also developing DEVS-methodology approaches for testing mission thread end-to-end interoperability and combat effectiveness of Defense Department acquisitions and transitions to the Global Information Grid with its Service Oriented Architecture (GIG/SOA).