Validation Methodology for Agent-Based Simulations Workshop Perspectives on Agent-Based Simulation and VV&A Dr. Bob Sheldon Joint and External Analysis.

Slides:



Advertisements
Similar presentations
Presentation by Prabhjot Singh
Advertisements

Data Mining Methodology 1. Why have a Methodology  Don’t want to learn things that aren’t true May not represent any underlying reality ○ Spurious correlation.
Software Failure: Reasons Incorrect, missing, impossible requirements * Requirement validation. Incorrect specification * Specification verification. Faulty.
Geog 409: Advanced Spatial Analysis & Modelling © J.M. Piwowar1Principles of Spatial Modelling.
GoldSim Technology Group LLC, 2007 Slide 1 GoldSim User Conference San Francisco, CA October 25-26, 2007 GoldSim Tutorial and Discussion: Techniques for.
A new crossover technique in Genetic Programming Janet Clegg Intelligent Systems Group Electronics Department.
Uncertainty analysis and Model Validation.
Lecture 7 Model Development and Model Verification.
School of Computer ScienceG53FSP Formal Specification1 Dr. Rong Qu Introduction to Formal Specification
Linear Functions and Modeling
CH07: Writing the Programs Does not teach you how to program, but point out some software engineering practices that you should should keep in mind as.
Systems Thinking and Systems Engineering Verification & Validation 14 March 2013 Francois Christophe Galina Medyna Eric Coatanéa.
Agent-based Simulation of Financial Markets Ilker Ersoy.
By Saparila Worokinasih
System Implementation. System Implementation and Seven major activities Coding Testing Installation Documentation Training Support Purpose To convert.
Unit 2: Engineering Design Process
Dr. Gary BlauNov, 2007 Overview of Modules on Statistical and Mathematical Modeling in the Pharmaceutical Sciences by Gary Blau, Research Professor E-enterprise.
1 Validation & Verification Chapter VALIDATION & VERIFICATION Very Difficult Very Important Conceptually distinct, but performed simultaneously.
 1  Outline  stages and topics in simulation  generation of random variates.
Erlang/QuickCheck Thomas Arts, IT University John Hughes, Chalmers University Gothenburg.
Towards Appropriate Selection of Analysis Tools and Methods.
Highline Class, BI 348 Basic Business Analytics using Excel, Chapter 01 Intro to Business Analytics BI 348, Chapter 01.
Process Algebra (2IF45) Probabilistic Branching Bisimulation: Exercises Dr. Suzana Andova.
Overview of Formal Methods. Topics Introduction and terminology FM and Software Engineering Applications of FM Propositional and Predicate Logic Program.
1 Software Reliability Assurance for Real-time Systems Joel Henry, Ph.D. University of Montana NASA Software Assurance Symposium September 4, 2002.
ENM 503 Lesson 1 – Methods and Models The why’s, how’s, and what’s of mathematical modeling A model is a representation in mathematical terms of some real.
MAPLDDesign Integrity Concepts What Do You Mean It Doesn’t Do What We Thought? Validating a Design.
Mr. Steve Verna Northrop Grumman 01 May 2007 Validation Methodology for Agent-Based Simulations Workshop Irregular Warfare Working Definition.
Simulation is the process of studying the behavior of a real system by using a model that replicates the behavior of the system under different scenarios.
Debugging Simulation Models CS 780 Spring 2007 Instructor: Peter Kemper Dept of Computer Science, College of William and Mary Prerequisites: A first course.
Modeling and Simulation Discrete-Event Simulation
Systems Analysis and Design in a Changing World, Fourth Edition
Ascertaining Validity in the Abstract Realm of Constructive Simulation Models: An Analysis of the MAGTF Tactical Warfare Simulation (MTWS) Major Donald.
Advances in Decision Modeling: The DMSO Vector Lt Col Eileen A. Bjorkman Chief, Concepts Application Division Zach Furness C4I Program Manager 31 July.
MODES-650 Advanced System Simulation Presented by Olgun Karademirci VERIFICATION AND VALIDATION OF SIMULATION MODELS.
Digital Intuition Cluster, Smart Geometry 2013, Stylianos Dritsas, Mirco Becker, David Kosdruy, Juan Subercaseaux Welcome Notes Overview 1. Perspective.
Chapter 10 Verification and Validation of Simulation Models
Building Simulation Model In this lecture, we are interested in whether a simulation model is accurate representation of the real system. We are interested.
Simulation is the process of studying the behavior of a real system by using a model that replicates the system under different scenarios. A simulation.
Week 14 Introduction to Computer Science and Object-Oriented Programming COMP 111 George Basham.
Software Development Problem Analysis and Specification Design Implementation (Coding) Testing, Execution and Debugging Maintenance.
Irregular Warfare Modeling/Data Validation Best Practices 11 th Annual MOVES Research Education Summit 12 July 2011.
Scientific Debugging. Errors in Software Errors are unexpected behaviors or outputs in programs As long as software is developed by humans, it will contain.
1 ABSVal Goal: Adapt accepted Best Practices of VV&A* to simulation models that... a.Display emergent behavior b.Are used to model military effects on.
1 ABSVal Goal: Adapt accepted Best Practices of VV&A* to simulation models that... a.Display emergent behavior b.Are used to model military effects on.
Test Case Designing UNIT - 2. Topics Test Requirement Analysis (example) Test Case Designing (sample discussion) Test Data Preparation (example) Test.
Quantitative/Computational Social Science for the DoD AFCEA Luncheon November 17, 2011 Robert Popp, PhD President & CEO, NSI Inc
Name of Principal Author and all other author(s): _______________________________________________Michael P Bailey____________________________________________.
International Data Farming Workshop 20 Group 17 Naval Postgraduate School 25 March 2010.
Pilot Validation Methodology for Agent-Based Simulations Workshop 02 October 2007.
SIGNATURE RECOGNITION SYSTEM Group Number:10 Group Members: Richa Goyal(y08uc103) Rashmi Singhal(y08uc102)
Foundations of Modeling Models are simplifications of real systems They help us to understand the behavior of these systems by focusing on what (we believe)
Modelling Needs for Future Colliders Ghislain Roy AOC Workshop 05 February Feb 2015AOC Workshop 1.
Ms. Lisa Jean Moya WernerAnderson, Inc. 01 May 2007 Validation Methodology for Agent-Based Simulations Workshop DoD Validation Baseline.
ABS VV&A Framework Study Phase II Project Overview Lisa Jean Moya WernerAnderson, Inc. Phase II Workshop 3 8 July /8/2008.
Building Valid, Credible & Appropriately Detailed Simulation Models
What is a software? Computer Software, or just Software, is the collection of computer programs and related data that provide the instructions telling.
S7-1 ADM730, Section 7, September 2005 Copyright  2005 MSC.Software Corporation SECTION 7 ADVANCED TOPICS.
Testing Integral part of the software development process.
Cs498dm Software Testing Darko Marinov January 24, 2012.
Modelling & Simulation of Semiconductor Devices Lecture 1 & 2 Introduction to Modelling & Simulation.
1 James R. Black Qing Qing Wu 17 Feb 2016 Modeling Prediction Intervals using Monte Carlo Simulation Software 2016 ICEAA Professional Development & Training.
UC Marco Vieira University of Coimbra
IB Assessments CRITERION!!!.
Adelaide Knowledge Management
Chapter 10 Verification and Validation of Simulation Models
What-If Testing Framework
MECH 3550 : Simulation & Visualization
Building Valid, Credible, and Appropriately Detailed Simulation Models
Operations Analysis Division Marine Corps Combat Development Command
Presentation transcript:

Validation Methodology for Agent-Based Simulations Workshop Perspectives on Agent-Based Simulation and VV&A Dr. Bob Sheldon Joint and External Analysis Branch Operations Analysis Division Marine Corps Combat Development Command 01 May 2007

Overview VV&A and Agent-Based Simulation (ABS) thoughts from Dr. George Akst, Senior Analyst, Marine Corps Combat Development Command (MCCDC) MORS historical perspectives on VV&A and ABS Personal reflections

It’s the data, stupid!  How do you come up with data for parameter Z = x.x %? Especially a problem for Irregular Warfare (IW)  Sometimes, model developers who are structuring algorithms don’t worry about data & assume data can be developed after the fact Dr. Kirk Yost data triage – consider data sources when building models –Generally accepted (produced regularly by some believable source) –Semi-valid (reasonable information derived from various sources) –Judgment and knobs  If you start with meaningless data, and execute a design of experiments with 2 10 runs (just because you can), then you will have 2 10 useless results To be useful, ABS need to provide more than just simplistic insights  ABS should go beyond being an automated tool that regurgitates SME intuition Perspectives from Dr. Akst

More Dilbert Data

Perspectives from Dr. Akst Two ends of the spectrum  Engineering-level model: should very closely predict how system would operate in the real world  Campaign-level model: measure relative differences that changes to forces, tactics, or equipment have on the outcome Trying to literally match a combat model’s results with some other set of results (real world, experiment, or another model) is not realistic What validation is:  Failure to invalidate after concerted effort  Ascertaining that results are “plausible” – no obvious logic flaws and results are “reasonable” and “relatively consistent” with past modeling results From “Musings on Verification, Validation, and Accreditation (VV&A) of Analytical Combat Simulations” Phalanx, September 2006

MORS Meetings on VV&A Simulation Validation (SIMVAL), October 1990 SIMVAL II, April 1992 SIMVAL '94, September 1994 Simulation Validation tutorial, MORSS & ALMC, 1995 (Pete Knepell) SIMVAL '99: Making VV&A Effective and Affordable, January 1999 Evolving Validation Topics in MORS  Descriptive validity, Structural validity, Predictive validity  Structural validation, Output validation  Conceptual Model validation, Data validation, and Output validation

MORS Meetings on ABS New Techniques: A Better Understanding of their Application to Analysis, November 2002  Included 1-day tutorial on Agent-Based Models Agent-Based Models and Other Analytic Tools in Support of Stability Operations, October 2005 Plus substantial coverage in MORSS working groups, e.g., WG 31 – Computing Advances in Military OR and WG 32 - Social Science Methods

Personal Reflections How to validate (or invalidate) counter- intuitive results (e.g., Surprise)  Clay Thomas “Analysis either verifies your intuition or educates your intuition.” Simple visualization helps validation  Gantt chart example for sortie generation  Provide visualization that SMEs understand

Personal Reflections (Cont’d) Ready access to source code helps  Example: Effect of (0,1) parameter Good mathematical documentation a plus

Comparing counter-intuitive results to “intuitive” results: a case study At a Project Albert workshop, the agent-based model Socrates gave counter-intuitive results  Simulation attrition results varied over 3 phases with 2 breakpoints  When I fit a Lanchester linear model to the results, the regions where the fit was “bad” corresponded to the counter-intuitive results  Drill-down investigation explained these anomalies  Mysterious results were due to scenario data & tuning parameters Personal Reflections (Cont’d) “Comparing the Results of a Nonlinear Agent-Based Model to Lanchester’s Linear Model” Maneuver Warfare Science 2002

Questions? Juan Muñoz, Five Seated Figures, 1996 Hirshhorn Museum and Sculpture Garden