A Simulation Fidelity Assessment Framework

Sangeeth saagar Ponnusamy, Vincent Albert, Patrice Thebault

2014

Abstract

A proposition for the correct by design of abstraction with respect to the simulation objectives based on the concepts of approximate bisimulation, Galois connections and ontology is presented. It addresses the fundamental problem of fidelity in simulation, namely, given a class of models and a class of properties that must be preserved, how to extract modeling abstractions that preserves the properties of interest which allows to conclude about the system being simulated. Fidelity and validity are explained in the framework of the experimental frame and discussed in the context of modeling abstractions. A formal method for the fidelity quantification is explained by abstraction inclusion relations for syntactic and semantic compatibility. Abstraction inclusion in dynamic systems for semantic compatibility by approximate bisimulation and the problem of finding surjection maps compatible with simulation objectives are discussed. Syntactic compatibility is explained by ontologies followed by a brief discussion on the Galois connections and building Galois surjections compatible with the simulation objectives at the end.

References

  1. Albert, V, 2009, Simulation validity assessment in the context of embedded system design, PhD Thesis, LAAS-CNRS, University of Toulouse, Unpublished.
  2. Brade D, VV&A Global Taxonomy (TAXO), 2004, Common Validation, Verification and Accreditation Framework for Simulation, REVVA.
  3. Clark M, Koutsoukos X, Kumar R, Lee I, Pappas G J, Lee P, Porter J, Sokolsky O, 2013, A Study on Run Time Assurance for Complex Cyber Physical Systems, Interim Technical Report, AFRL/RQQA, NTIS Issue No 13.
  4. Cousot, P, 1992, Abstract Interpretation Frameworks, Journal of Logic and Computation, Volume 2, pages 511-547.
  5. Foures, D, Albert, V, Nkesta, A, 2013, Simulation validation using the compatibility between simulation model and experimental frame, Proceedings of the 2013 Summer Computer Simulation Conference, Society for Modeling & Simulation International, Vista, CA, Article 55.
  6. Frantz F K, 1995, A taxonomy of model abstraction techniques, Proceedings of the 27th conference on winter simulation, pages 1413-1420, Arlington, Virginia, United States.
  7. Girard A, Pappas G J, 2007, Approximate bisimulation relations for constrained linear systems, Automatica, Volume 43 Issue 8, pages 1307-1317.
  8. Girard A, Pappas G J, 2007, Approximation Metrics for Discrete and Continuous Systems, IEEE Transactions on Automatic Control, Volume 52, Issue 5, pages 782- 798.
  9. Gross D, 1999, Report from the Fidelity Implementation Study Group, Simulation Interoperatbility Workshop, USA.
  10. Kim H, 2004, Reference model based high fidelity simulation modeling for manufacturing systems, Phd Thesis, Georgia Institute of Technology, Unpublished.
  11. Lickly B, Shelton C, Latronico E and Lee E, 2011, A Practical Ontology Framework for Static Model Analysis, In Proceedings of the ninth ACM international conference on Embedded software, New York, NY, USA, 23-32.
  12. Maler O, 2002, Control from Computer Science, IFAC Annual Review in Control 26(2), pages 175-187.
  13. Man-Kit-Leung, J, Mandl, T, Lee, E A, Latronico, E, Shelton, C, Tripakis, S, Lickly, B, 2009, Scalable semantic annotation using lattice based ontologies. Lecture Notes in Computer Science, Volume 5795, pages 393-407.
  14. Mazo M, Davitan A, Tabuada P, 2010, PESSOA: a tool for embedded controller synthesis, Proceedings of the 22nd International Conference on Computer Aided Verification, pages 566-569.
  15. Pappas G J, 2003, Bisimilar linear systems, Automatica, Volume 39, Issue 12, pages 2035-2047.
  16. Pola G, Girard A, Tabuada P, 2007, Symbolic models for nonlinear control systems using approximate bisimulation, 46th IEEE Conference on Decision and Control, pages 4656-4661.
  17. Ponnusamy S, Albert V, Thebault P, 2014, Modeling & Simulation framework for the inclusion of simulation objectives by abstraction, 4th International Conference on Simulation and Modeling Methodologies, Technologies & Applications, submitted.
  18. Roza M, 1999, Fidelity Requirements Specification: A Process Oriented View, Fall Simulation Interoperability Workshop.
  19. Sebti M, Girard A, Gregor G, 2013, CoSyMA: a tool for controller synthesis using multi-scale abstractions, 16th international conference on Hybrid Systems: Computation and Control, HSCC'13, pages 83-88.
  20. Stursberg O, Krogh B H, 2003, Efficient Representation and Computation of Reachable Sets for Hybrid Systems, Hybrid systems: Computation and Control, Lecture Notes in Computer Science Volume 2623, pages 482-497.
  21. Tiwari A, Shankar N, and Rushby J, 2003, Invisible Formal Methods for Embedded Control Systems, Proceedings of the IEEE, Vol 91. No. 1, pages 29-39.
  22. Tomlin C J, Mitchell I, Bayen A, Oishi M, 2003, Computational Techniques for the Verification of Hybrid Systems, Proceedings of the IEEE, Vol. 91, No. 7.
  23. Wagner, D A, Bennett, M B, Karban R, Rouquette N, Jenkins S, Ingham M, An ontology for State Analysis: Formalizing the mapping to SysML, Aerospace Conference, 2012 IEEE.
  24. Zeigler B P, Praehofer H & Tag G K, 2000, Theory of modeling and simulation, Academic Press, San Diego, California, USA.
Download


Paper Citation


in Harvard Style

Ponnusamy S., Albert V. and Thebault P. (2014). A Simulation Fidelity Assessment Framework . In Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH, ISBN 978-989-758-038-3, pages 463-471. DOI: 10.5220/0005105704630471


in Bibtex Style

@conference{simultech14,
author={Sangeeth saagar Ponnusamy and Vincent Albert and Patrice Thebault},
title={A Simulation Fidelity Assessment Framework},
booktitle={Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,},
year={2014},
pages={463-471},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005105704630471},
isbn={978-989-758-038-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,
TI - A Simulation Fidelity Assessment Framework
SN - 978-989-758-038-3
AU - Ponnusamy S.
AU - Albert V.
AU - Thebault P.
PY - 2014
SP - 463
EP - 471
DO - 10.5220/0005105704630471