To become the core development methodology of major defense-related simulation projects, multiresolution modeling needs more advances in basic theory and practice. In this note, we illustrate an approach to addressing issues relating to approximate morphisms (structure/behavior preservation relations) between pairs of models. Such issues include metrics for departure from strict lumpability, tying approximate satisfaction of structural conditions to the resulting behavioral error, and how to enhance the probability of creating good approximate morphisms by humans and artificial modelers.
DavisPKBigelowJH. Experiments in multiresolution modeling (MRM). Report no. MR-100-DARPA. Santa Monica, CA: The RAND Corporation, 1998.
2.
DavisPKBigelowJH. Motivated metamodels: synthesis of cause–effect reasoning and statistical modeling. Santa Monica, CA: The RAND Corporation, 2002.
3.
ZeiglerBP. Theory of modeling and simulation. Academic Press, 1976.
4.
TekinayCSeckMDVerbraeckA. Exploring multi-level model dynamics: performance and accuracy (WIP). In: Proceedings of the 2012 symposium on theory of modeling and simulation, San Diego, CA, April 2012, pp.20:1–20:6.
5.
DavisPKTolkA. Observations on new developments in composability and multi-resolution modeling. In: Proceedings of the 2007 winter simulation conference, Location?, Date? 2007, pp.859–870.
6.
DavisPKBigelowJHMcEverJ. Effects of terrain, maneuver tactics, and C4ISR on the effectiveness of long range precision fires. Santa Monica, CA: The RAND Corporation, 2000.
7.
DavisPK. An introduction to variable-resolution modeling and cross-resolution model connection. Research report no. R-4252-DARPA. Santa Monica, CA: The RAND Corporation, 1993.
8.
DavisPKHillestadR. Families of models that cross levels of resolution: issues for design, calibration and management. In: Proceedings of the winter simulation conference, Location?, Date? 1993, pp.1003–1012.
9.
DavisPKHillestadRJ (eds). Proceedings of conference on variable resolution modeling, CF-103-DARPA. RAND’s National Defense Research Institute, 1992.
10.
DavisPK. Stochastic multi-resolution model (PEM) calibrated to a high resolution simulation. Report no. MR-1138-OSD. Santa Monica, CA: The RAND Corporation, Year?.
11.
MoonYK. High performance simulation-based optimization environment for large scale systems. PhD Dissertation, University of Arizona, USA, 1996.
12.
MoonI-CHongJH. Theoretic interplay between abstraction, resolution, and fidelity in model information. In: Proceedings of the 2013 winter simulation conference (WSC), 8 December 2013, pp.1283–1291. IEEE Press.
13.
ZeiglerBPNutaroJJ. 2016. Towards a framework for more robust validation and verification of simulation models for systems of systems. J Defense Model Simul Appl Methodol2016; 13(1): 3–16.
14.
ZeiglerBPKimTGPraehoferH. Theory of modeling and simulation. 2nd ed.Orlando, FL: Academic Press, 2000.
15.
YacoubAMaâmarEFrydmanC. DEv-PROMELA: an extension of PROMELA for the modeling, simulation and verification of discrete-event systems. Int J Process Model (in press).
16.
SantucciJCapocchiFLZeiglerBP. SES extension to integrate abstraction hierarchy and time granularity into DEVS modeling and simulation. Simulation (in press).
