Verification and Validation of Agent-based Scientific Simulation Models
@inproceedings{Xiang2005VerificationAV,
title={Verification and Validation of Agent-based Scientific Simulation Models},
author={Xiaorong Xiang and Ryan C. Kennedy and Gregory R. Madey and Stephen E. Cabaniss},
year={2005}
}Most of the existing model verification and validation techniques are largely used in the industrial and system engineering fields. The agent-based modeling approach is different from traditional equation-based modeling approach in many aspects. As the agent-based modeling approach has recently become an attractive and efficient way for modeling large-scale complex systems, there are few formalized validation methodologies existing for model validation. In our proposed work, we design, develop…
113 Citations
1 Verification and Validation of an Agent-based Simulation Model
- Computer Science
- 2005
A subset of techniques gathered from several authors are introduced and applies them to a computer simulation of natural organic matter to increase confidence in the simulation.
Verification and Validation of Agent-based and Equation-based Simulations: A Comparison *
- Computer Science
- 2005
This work performs verification and validation techniques on an agent-based scientific model and an equation- based economic model and offers a general strategy for performing verification and validate.
Software Process Simulation Modelling : A Multi Agent-Based Simulation Approach
- Computer Science
- 2008
This research resulted in a model of the software development process that integrates performance, cognition and artefact quality, for which it built a common simulation framework to implement and run MABS and System Dynamics simulators upon the same integrated models.
Hammer or Tongs: How Best to Build Agent-Based Models?
- Computer SciencePAAMS
- 2018
The sample reviewed in this paper includes techniques advocated specifically for agent-based modeling along with general software development approaches, and verification and validation techniques forAgent- based modeling are specially highlighted.
From Formal Modelling to Agent Simulation Execution and Testing
- Computer ScienceICAART
- 2015
This work presents an approach to agent-based simulation development using formal modelling, i.e. stream
X-Machines, that combines the power of executable specifications and test case generation.…
Applying statistical debugging for enhanced trace validation of agent-based models
- Computer ScienceSimul.
- 2017
The tool is presented, the V&V Calculator, which applies predicates employed in the field of software engineering and the result is a structured trace validation approach with quantifiable measures that facilitates SME exploration and insight into the causes of unexpected output within ABMs.
Software Development Process Simulation: Multi Agent-Based Simulation versus System Dynamics
- Computer ScienceMABS
- 2009
This work presents one of the first actual applications of Multi Agent-Based Simulation (MABS) to the field of software process simulation modelling (SPSM), and uncovers quite interesting properties of these approaches, e.g., that MABS reflects the problem domain more realistically than SD.
Validation of an agent based model using a participatory simulation gaming approach : The case of city logistics
- Computer Science
- 2016
An Adaptive Agent-Based Model of Homing Pigeons: A Genetic Algorithm Approach
- Computer ScienceISPRS Int. J. Geo Inf.
- 2017
It is hypothesize that incorporation of real-time sensor data into agent-based models improves the predictive ability of such models and results in increasingly well calibrated model parameters and rule sets.
Towards Reducing Complexity of Multi-agent Simulations by Applying Model-Driven Techniques
- Computer SciencePAAMS
- 2018
Athos is presented, the domain specific language Athos with which network based traffic simulations can be created declaratively and platform independent and executable code can be generated for two popular multi-agent platforms.
References
SHOWING 1-10 OF 28 REFERENCES
Agent-Based Modeling vs. Equation-Based Modeling: A Case Study and Users' Guide
- Computer ScienceMABS
- 1998
The domain of supply networks is summarized and it is illustrated how they can be modeled both with agents and with equations, and develops criteria for selecting one or the other approach.
Validation and verification of simulation models
- Computer ScienceProceedings of the 2004 Winter Simulation Conference, 2004.
- 2004
Four different approaches to deciding model validity are described, and a recommended procedure for model validation is presented, as well as various validation techniques defined.
The Swarm Simulation System: A Toolkit for Building Multi-Agent Simulations
- Computer Science
- 1996
Swarm is a multi-agent software platform for the simulation of complex adaptive systems that supports hierarchical modeling approaches whereby agents can be composed of swarms of other agents in nested structures.
Verification of Computer Simulation Models
- Economics
- 1967
The problem of validating computer simulation models of industrial systems has received only limited attention in the management science literature, so the writings of economists who have been concerned with testing the validity of economic models are considered.
Simulation Modeling and Analysis
- Business
- 1982
The text is designed for a one-term or two-quarter course in simulation offered in departments of industrial engineering, business, computer science and operations research.
The epitheliome: agent-based modelling of the social behaviour of cells.
- BiologyBio Systems
- 2004
VISUAL DEBUGGING: A WAY OF ANALYZING, UNDERSTANDING AND COMMUNICATING BOTTOM‐UP SIMULATION MODELS IN ECOLOGY
- Computer Science
- 2002
Overall, visual debugging integrates general principles of software engineering and specific requirements for modeling ecological systems and would therefore contribute to establishing an improved culture of analyzing, understanding, and communicating bottom‐up simulation models.
Validation of models: statistical techniques and data availability
- Computer ScienceWSC'99. 1999 Winter Simulation Conference Proceedings. 'Simulation - A Bridge to the Future' (Cat. No.99CH37038)
- 1999
This paper shows which statistical techniques can be used to validate simulation models, depending on which real-life data are available, and examples of these techniques are presented.
An experimenter's perspective on validating codes and models with experiments having shock-accelerated fluid interfaces
- Computer ScienceComputing in Science & Engineering
- 2004
This article discusses several experiments designed to validate the capability of a fluid simulation code - called a hydrocode - to calculate the complex flow of a fluids interface accelerated by a shock wave.