Save up to 30% on Elsevier print and eBooks with free shipping. No promo code needed.
Save up to 30% on print and eBooks.
Theory of Modeling and Simulation
Discrete Event & Iterative System Computational Foundations
3rd Edition - August 14, 2018
Authors: Bernard P. Zeigler, Alexandre Muzy, Ernesto Kofman
Language: English
Paperback ISBN:9780128133705
9 7 8 - 0 - 1 2 - 8 1 3 3 7 0 - 5
eBook ISBN:9780128134078
9 7 8 - 0 - 1 2 - 8 1 3 4 0 7 - 8
Theory of Modeling and Simulation: Discrete Event & Iterative System Computational Foundations, Third Edition, continues the legacy of this authoritative and complete theoretic…Read more
Purchase options
LIMITED OFFER
Save 50% on book bundles
Immediately download your ebook while waiting for your print delivery. No promo code is needed.
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
Cover image
Title page
Table of Contents
Copyright
Contributions
Preface to the Third Edition
References
Preface to the Second Edition
Part 1: Basics: Modeling Formalisms and Simulation Algorithms
Chapter 1: Introduction to Systems Modeling Concepts
Abstract
1.1. Systems Specification Formalisms
1.2. Levels of System Knowledge
1.3. Introduction to the Hierarchy of Systems Specifications
1.4. The Specification Levels Informally Presented
1.5. System Specification Morphisms: Basic Concepts
1.6. Evolution of DEVS
1.7. Summary
1.8. Sources
Definitions, Acronyms, Abbreviations
References
Chapter 2: Framework for Modeling and Simulation
Abstract
2.1. The Entities of the Framework
2.2. Primary Relations Among Entities
2.3. Other Important Relationships
2.4. Time
2.5. Historical Trace of V&V Streams
2.6. Summary
2.7. Sources
References
Chapter 3: Modeling Formalisms and Their Simulators
Abstract
Introduction
3.1. Discrete Time Models and Their Simulators
3.2. Differential Equation Models and Their Simulators
3.3. Discrete Event Models and Their Simulators
3.4. Summary
3.5. Sources
References
Chapter 4: Introduction to Discrete Event System Specification (DEVS)
Abstract
4.1. Introduction
4.2. Classic DEVS System Specification
4.3. Parallel DEVS System Specification
4.4. Hierarchical Models
4.5. Object-Oriented Implementations of DEVS: an Introduction
4.6. DEVS and Hierarchy of System Specifications: Turing Machine Example
4.7. Are DEVS State Sets Essentially Discrete?
4.8. Summary
4.9. Sources
References
Chapter 5: Hierarchy of System Specifications
Abstract
5.1. Time Base
5.2. Segments and Trajectories
5.3. I/O Observation Frame
5.4. I/O Relation Observation
5.5. I/O Function Observation
5.6. I/O System
5.7. Multi-Component System Specification
5.8. Network of System Specifications (Coupled Systems)
5.9. Summary
Chapter 6: Basic Formalisms: DEVS, DESS, DTSS
Abstract
6.1. Basic System Specification Formalisms
6.2. Discrete Event System Specification (DEVS)
6.3. Parallel DEVS
6.4. Discrete Time System Specification (DTSS)
6.5. Differential Equation System Specification (DESS)
6.6. Example of DESS
6.7. Summary
References
Chapter 7: Basic Formalisms: Coupled Multi-Component Systems
Abstract
7.1. Discrete Event Specified Network Formalism
7.2. Multi-Component Discrete Event System Formalism
7.3. Discrete Time Specified Network Formalism
7.4. Multi-Component Discrete Time System Formalism
23.2. Discrete Event Modeling of a Leaky Integrate and Fire Neuron
23.3. Multi-Level Iterative Specification
23.4. Iterative Specification Modeling of Spiky Neurons
23.5. Summary
Appendix 23.A. Iterative System Specification of a Spiking Neuron
Appendix 23.B. Iterative Specification Modeling of Bursty Neurons
References
Chapter 24: Open Research Problems: Systems Dynamics, Complex Systems
Abstract
24.1. Systems Dynamics, DEVS, and Challenges for M&S of Complex Systems
24.2. System Dynamics
24.3. Mapping SD Into DEVS
24.4. Challenges for Sound Interdisciplinary M&S of Large Complex Systems: the Case of Socio-Ecological Global Sustainability
24.5. Theory-Based Research Needed
References
Index
No. of pages: 692
Language: English
Edition: 3
Published: August 14, 2018
Imprint: Academic Press
Paperback ISBN: 9780128133705
eBook ISBN: 9780128134078
BZ
Bernard P. 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
AM
Alexandre Muzy
Alexandre MUZY is research fellow at CNRS, France, where he is in charge of the research group Modélisation, Simulation & Neurocognition (MS&N) at I3S laboratory in Sophia Antipolis.
Affiliations and expertise
Universite Cote d'Azur, CNRS, I3S, France
EK
Ernesto Kofman
Ernesto Kofman is a Professor at the Control Department at the Faculty of Exact Sciences, Engineering and Surveying of the National University of Rosario (FCEIA-UNR) and a Research Member of the National Research Council of Argentina (CONICET) , where he is in charge of the Simulation and Automatic Control Group of the French-Argentine International Center for Information and Systems Sciences (CIFASIS).
Affiliations and expertise
FCEIA, Universidad Nacional de Rosario - CIFASIS-CONICET, Argentina
Read Theory of Modeling and Simulation on ScienceDirect