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
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
Part I Basics: Modeling Formalisms and Simulation Algorithms
1. Introduction to Systems Modeling Concepts
2. Framework for Modeling and Simulation
3. Modeling Formalisms and Their Simulators
4. Introduction to DEVS
5. Hierarchy of System Specifications
6. Basic Formalisms: DEVS, DESS, DTSS
7. Basic Formalisms: Coupled MultiComponent Systems
8. Simulators for Basic Formalisms
9. Multi-Formalism Modeling and Simulation
Part II Iterative System Specification
10. Introduction to Iterative System Specification
11. Basic Iterative System Specification
12. Iterative Specification Subformalisms
13. Finite and Timed Iterative Specifications
Part III System Morphisms: Abstraction, Representation, Approximation
14. Parallel and Distributed Discrete Event Simulation
15. Abstraction: Constructing Model Families
16. Verification, Validation, Approximate Morphisms
17. DEVS and DEVS-like Systems
18. Quantization-Based Simulation
19. DEVS Representation of Iteratively Specified Systems
Part IV Enhanced DEVS Formalisms
20. DEVS Markov Modeling and Simulation
21. DEVS Markov Model Lumping
22. Spiking Neuron Modeling- Iterative Specification
23. Open Research Problems
- No. of pages:
- © Academic Press 2019
- 17th August 2018
- Academic Press
- eBook ISBN:
- Paperback ISBN:
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).
University of Arizona, Tucson, USA
Alexandre MUZY received the PhD degree in 2004 at the Università di Corsica – Pasquale Paoli. In 2004, he has been predoctoral research scholar at the Arizona Center of Integrative Modeling and Simulation (ACIMS, University of Arizona, United States of America) directed by Bernard P. ZEIGLER. In 2005, he has been postdoctoral research scholar at the Laboratoire d’Informatique pour la Mécanique et les Sciences de l’Ingénieur (UPR-LIMSI CNRS 3251, University of Paris Sud, Orsay, France). In 2006, he worked with Hans VANGHELUWE, from the McGill University, and with Juan de LARA in the Universidad Autónoma de Madrid. He is currently researcher at the Environmental Systems laboratory (UMR-SPE CNRS 6134, Università di Corsica – Pasquale Paoli, Corsica). In research, he is collaborating with different universities (McGill University, Universidad Autónoma de Madrid, Oak Ridge National Lab (ORNL), University of Arizona, etc.), and he is coordinating the Locus research project.
Universite Cote d'Azur, CNRS, I3S, France
Ernesto Kofman, Argentinian electronics engineer, researcher. Achievements include discovery of new numerical simulation methods. Recipient Silver medal, International Informatic Olimpics, 1992; fellow, National Scientific and Technical Research Council, 1999, 2004; grantee, ANPCYT, 2007.
FCEIA, Universidad Nacional de Rosario - CIFASIS-CONICET, Argentina