Open AccessBook
Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems
TLDR
Part I: Basics.Abstract:
Part I: Basics. Introduction to Systems Modeling Concepts. Framework for Modeling and Simulation. Modeling Formalisms and Their Simulators. Introduction to Discrete Event System Specifications (DEVS). Hierarchy of System Specifications. Part II: Modeling Formalisms and Simulation Algorithms. Basic Formalisms: DEVS, DTSS, DESS. Basic Formalisms: Coupled Multicomponent Systems. Simulators for Basic Formalisms. Multiformalism Modeling and Simulation. DEVS-Based Extended Formalisms. Parallel and Distributed Discrete Event Simulation. Part III: System Morphisms: Abstraction, Representation, Approximation. Hierarchy of System Morphisms. Abstraction: Constructing Model Families. Verification, Validation, Approximate Morphisms: Living with Error. DEVS and DEVS-like Systems: Universality and Uniqueness. DEVS Representation of Systems. Part IV: System Design and Modeling and Simulation Environments. DEVS-Based Design Methodology. System Entity Structure/Model Base Framework. Collaboration and the Future.read more
Citations
More filters
Journal ArticleDOI
A standard protocol for describing individual-based and agent-based models
Volker Grimm,Uta Berger,Finn Bastiansen,Sigrunn Eliassen,Vincent Ginot,Jarl Giske,John D. Goss-Custard,Tamara C. Grand,Simone K. Heinz,Geir Huse,Andreas Huth,Jane Uhd Jepsen,Christian Jorgensen,Wolf M. Mooij,Birgit Müller,Guy Pe'er,Cyril Piou,Steven F. Railsback,Andrew M. Robbins,Martha M. Robbins,Eva Rossmanith,Nadja Rüger,Espen Strand,Sami Souissi,Richard A. Stillman,Rune Vabø,Ute Visser,Donald L. DeAngelis +27 more
TL;DR: A proposed standard protocol for describing IBMs and ABMs, developed and tested by 28 modellers who cover a wide range of fields within ecology, and considered as a first step for establishing a more detailed common format of the description of IBm and ABM.
Book
Individual-based modeling and ecology
Volker Grimm,Steven F. Railsback +1 more
TL;DR: An excellent introduction and overview of this field, written by Volker Grimm and Steven F. Railsback, should be read by everyone interested in individual-based modeling and especially by anyone contemplating developing, or being involved with a group developing, an individualbased model.
Book
Verification and Validation in Scientific Computing
TL;DR: A comprehensive and systematic development of the basic concepts, principles, and procedures for verification and validation of models and simulations that are described by partial differential and integral equations and the simulations that result from their numerical solution.
Journal ArticleDOI
Simulation of networks of spiking neurons: A review of tools and strategies
Romain Brette,Michelle Rudolph,Ted Carnevale,Michael L. Hines,David Beeman,James M. Bower,Markus Diesmann,Markus Diesmann,Abigail Morrison,Philip H. Goodman,Frederick C. Harris,Milind Zirpe,Thomas Natschläger,Dejan Pecevski,G. Bard Ermentrout,Mikael Djurfeldt,Anders Lansner,Olivier Rochel,Thierry Viéville,Eilif Muller,Andrew P. Davison,Sami El Boustani,Alain Destexhe +22 more
TL;DR: In this paper, a review of different aspects of the simulation of spiking neural networks is presented, with the aim of identifying the appropriate integration strategy and simulation tool to use for a given modeling problem related to spiking networks.
Journal ArticleDOI
Verification, Validation, and Predictive Capability in Computational Engineering and Physics
TL;DR: Verification and validation of computational simulations are the primary methods for building and quantifying this confidence in modeling and simulation.