Theory of Modeling and Simulation - 3rd Edition - ISBN: 9780128133705

Theory of Modeling and Simulation

3rd Edition

Discrete Event and Iterative System Computational Foundations

Authors: Bernard Zeigler Alexandre Muzy Ernesto Kofman
Paperback ISBN: 9780128133705
Imprint: Academic Press
Published Date: 1st August 2018
Page Count: 600
Sales tax will be calculated at check-out Price includes VAT/GST

Institutional Access

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.

Description

Theory of Modeling and Simulation 3e: DEVS-Centered Foundations follows its predecessor in providing an authoritative and complete theoretical solution 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 to emphasize 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. The third edition focuses on important new extensions to the theory since the second edition published in 2000, including chapter-length coverage of:

  • Iterative System Specification and DEVS: fundamental importance, closure under coupling for iteratively specified systems, existence, uniqueness, and non-deterministic conditions, temporal progressiveness (legitimacy), permeates the discussion throughout the book.
  • System Classes and Morphisms and Abstraction: hierarchy of system specifications, associated morphisms, mappings between classes, approximate morphisms, lumpability zone characterization.
  • Dynamic Structure DEVS: distributed simulation, dynamic coupling, agent-based modeling, implications for computational emergence.
  • Quantized State Systems: Quantization-based simulation of continuous time systems, DEVS representation, higher order quantization, linearly implicit algorithms, activity measures, speed-accuracy tradeoffs.
  • Stochastic DEVS:  Probability spaces, legitimacy of stochastic models, formalism extensions and their properties (coupling of deterministic DEVS and DEVS Markov models, closure under coupling issues.)
  • Hybrid Modeling and Co-Simulation: How DEV&DESS (Discrete Event & Differential Equation System Specification) and Stochastic DEVS, within a new hybrid iterative specification, support simulation within the DEVS simulation protocol.
  • Neural Computation Domain as an illustration of DEVS-Centered M&S
  • Open research questions: especially for research-oriented professors and students, what are the burning questions whose answers will significantly advance theory and practice and implications for computational emergence

Key Features

  • 40% revised and expanded new edition of the 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 need-to-know information on DEVS formalism in one place for busy students and engineers
  • Expanded to include an online ancillary package including numerous examples of theory and implementation in DEVS-based software, student solutions and instructors manual

Readership

Undergraduate students and graduate students, especially PhD students, researchers, and all workers in computational-based fields benefiting from modeling and simulation, both traditional and non-traditional

Table of Contents

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 III: 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 IV: DEVS-Based Modeling
17. DEVS and Neural Modeling, Spiking DEVS
18. DEVS and Emergence at Syntactic Level

Details

No. of pages:
600
Language:
English
Copyright:
© Academic Press 2019
Published:
Imprint:
Academic Press
Paperback ISBN:
9780128133705

About the Author

Bernard Zeigler

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).

Affiliations and Expertise

University of Arizona, Tucson, USA

Alexandre Muzy

Affiliations and Expertise

Universite Cote d'Azur, CNRS, I3S, France

Ernesto Kofman

Affiliations and Expertise

FCEIA, Universidad Nacional de Rosario - CIFASIS-CONICET, Argentina

Ratings and Reviews