discrete event and iterative system computational foundations /
Bernard P. Zeigler, Alexandre Muzy, Ernesto Kofman.
Third Edition.
London, United Kingdom :
Academic Press, an imprint of Elsevier,
[2019]
1 online resource (xxiv, 667 pages) :
illustrations (some color)
Includes bibliographical references and index.
Part 1 Basics: Modeling Formalisms and Simulation Algorithms. Introduction to Systems Modeling Concepts ; Framework for Modeling and Simulation ; Modeling Formalisms and Their Simulators ; Introduction to Discrete Event System Specification (DEVS) ; Hierarchy of System Specifications ; Basic Formalisms: DEVS, DESS, DTSS ; Basic Formalisms: Coupled Multi-Component Systems ; Simulators for Basic Formalisms ; Multi-Formalism Modeling and Simulation -- Part 2 Iterative System Specification. Introduction to Iterative System Specification ; Basic Iterative System Specification (IterSpec) ; Iterative Specification Subformalisms ; Finite and Timed Iterative Specifications and Simulations -- Part 3 System Morphisms: Abstraction, Representation, Approximation. ; Parallel and Distributed Discrete Event Simulation ; Hierarchy of System Morphisms ; Abstraction: Constructing Model Families; 17. Verification, Validation, Approximate Morphisms: Living with Error ; DEVS and DEVS-Like Systems: Universality and Uniqueness ; Quantization-Based Simulation of Continuous Time Systems ; DEVS Representation of Iteratively Specified Systems -- Part 4 Enhanced DEVS Formalisms. DEVS Markov Modeling and Simulation ; DEVS Markov Model Lumping; Spiking Neuron Modeling: Iterative Specification ; Open Research Problems: Systems Dynamics, Complex Systems.
0
"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."--Provided by publisher.