Theory of Modeling and Simulation

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

"Many chapters offer a Summary and sources sections which are unique in giving a historical perspective of the presented material. The book can be recommended for graduate and PhD students, as well as for engineers or software architects and scientists interested in mathematical modeling and computer simulation." --zbMATH

• Part I Basics: Modeling Formalisms and Simulation Algorithms1. 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 Specification10. 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, Approximation14. 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 Formalisms20. DEVS Markov Modeling and Simulation 21. DEVS Markov Model Lumping 22. Spiking Neuron Modeling- Iterative Specification 23. Open Research Problems