Theory of Modeling and Simulation, 3rd Edition

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

Table of Contents

Part 1: Basics: Modeling Formalisms and Simulation Algorithms
Chapter 1 Introduction To Systems Modeling Concepts
Chapter 2 Framework For Modeling And Simulation
Chapter 3 Modeling Formalisms And Their Simulators
Chapter 4 Introduction To Discrete Event System Specification (Devs)
Chapter 5 Hierarchy Of System Specifications
Chapter 6 Basic Formalisms: Devs, Dess, Dtss
Chapter 7 Basic Formalisms: Coupled Multi-Component Systems
Chapter 8 Simulators For Basic Formalisms
Chapter 9 Multi-Formalism Modeling And Simulation

Part 2: Iterative System Specification
Chapter 10 Introduction To Iterative System Specification
Chapter 11 Basic Iterative System Specification (Iterspec)
Chapter 12 Iterative Specification Subformalisms
Chapter 13 Finite And Timed Iterative Specifications And Simulations

Part 3: System Morphisms: Abstraction, Representation, Approximation
Chapter 14 Parallel And Distributed Discrete Event Simulation
Chapter 15 Hierarchy Of System Morphisms
Chapter 16 Abstraction: Constructing Model Families
Chapter 17 Verification, Validation, Approximate Morphisms: Living With Error
Chapter 18 Devs And Devs-Like Systems: Universality And Uniqueness
Chapter 19 Quantization-Based Simulation Of Continuous Time Systems
Chapter 20 Devs Representation Of Iteratively Specified Systems

Part 4: Enhanced DEVS Formalisms
Chapter 21 Devs Markov Modeling And Simulation
Chapter 22 Devs Markov Model Lumping
Chapter 23 Spiking Neuron Modeling – Iterative Specification
Chapter 24 Open Research Problems: Systems Dynamics, Complex Systems