Authors:
Sangeeth saagar Ponnusamy
1
;
Vincent Albert
2
and
Patrice Thebault
3
Affiliations:
1
Airbus Operations SAS and LAAS-CNRS, France
;
2
LAAS-CNRS, France
;
3
Airbus Operations SAS, France
Keyword(s):
Abstraction, Compatibility, Experimental Frame, Formal Matching, Bisimulation, Galois Connection, Ontology, Simulation.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence
;
Dynamical Systems Models and Methods
;
e-Business
;
Enterprise Engineering
;
Enterprise Information Systems
;
Enterprise Ontologies
;
Formal Methods
;
Mathematical Simulation
;
Ontologies
;
Simulation and Modeling
;
Symbolic Systems
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 follo
wed by a brief discussion on the Galois connections and building Galois surjections compatible with the simulation objectives at the end.
(More)