Choosing the best model: Level of detail, complexity, and model performance, Journal of Mathematical and Computer Modeling, vol.24, pp.1-14, 1996. ,
DOI : 10.1016/0895-7177(96)00103-3
URL : https://doi.org/10.1016/0895-7177(96)00103-3
A Multimodal Approach to Reasoning and Simulation, IEEE Transactions on Systems, Man and Cybernetics, vol.24, issue.10, 1993. ,
A taxonomy of model abstraction techniques, Proceedings of the 27th conference on winter simulation, pp.1413-1420, 1995. ,
DOI : 10.1109/wsc.1995.479055
The situated function-behaviour-structure framework, Design Studies, vol.25, issue.4, pp.373-391, 2004. ,
DOI : 10.1016/j.destud.2003.10.010
URL : http://www.arch.su.EDU.AU/%7Ejohn/2002pdf/02GeroKannengiesserAID02.pdf
Approximate bisimulation relations for constrained linear systems, 2007. ,
DOI : 10.1016/j.automatica.2007.01.019
URL : https://hal.archives-ouvertes.fr/hal-00171420
, Automatica, vol.43, pp.1307-1317
Approximation Metrics for Discrete and Continuous Systems, IEEE Transactions on Automatic Control, vol.52, issue.5, pp.782-798, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00171714
Report from the Fidelity Implementation Study Group, Simulation Interoperatbility Workshop, 1999. ,
Integrating SysML & OWL, Proceedings of OWL:Experiences and Directions, 2009. ,
Automatic Transition of Natural Language Software Requirements Specification into Formal Presentation, Natural Language Processing and Information Systems, International Conference on Simulation Tools and Techniques, vol.3513, pp.392-397, 2005. ,
Modechart: a specification language for real-time systems, IEEE Transactions on Software Engineering, vol.20, issue.12, pp.933-947, 1994. ,
Semantically-rigorous systems engineering using SysML and OWL, International Workshop on System & Concurrent Engineering for Space Applications, 2012. ,
Qualitative Simulation. Encyclopedia of Physical Science and Technology, Third Edition, 2001. ,
Automated model selection for simulation based on relevance reasoning, Artificial Intelligence, vol.96, pp.351-394, 1997. ,
A Practical Ontology Framework for Static Model Analysis, Proceedings of the Ninth ACM international conference on Embedded software, pp.23-32, 2011. ,
Control from Computer Science, IFAC Annual Review in Control, vol.26, issue.2, pp.175-187, 2002. ,
Scalable semantic annotation using lattice based ontologies, Lecture Notes in Computer Science, vol.5795, pp.393-407, 2009. ,
Mode-Automata: About Modes and States for Reactive Systems, Proceedings of European Symposium on Programming (ESOP), 1998. ,
A simulation fidelity assessment framework, International Conference on Simulation and Modeling Methodologies, Technologies and Applications, pp.463-471, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01912540
Modeling and simulation framework for the inclusion of simulation objectives by abstraction, International Conference on Simulation and Modeling Methodologies, Technologies and Applications, pp.385-394, 2014. ,
A MetaModel for Consistent & Automatic Simulation Model Selection, International Conference on Simulation Tools and Techniques, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01912572
Towards an ontology driven framework for simulation model development, European congress on Embedded real time software and systems, AIAA Modeling & Simulation Technologies Conference, 2015. ,
Bisimilar linear systems, Automatica, vol.39, pp.2035-2047, 2003. ,
Fidelity Requirements Specification: A Process Oriented View. Fall Simulation Interoperability Workshop, 1999. ,
State of the art for Aerospace ontology, 2014. ,
Multimodal Reasoning for Automatic Model Construction, Proceedings Fifteenth National Conference on Artificial Intelligence, pp.181-188, 1998. ,
Efficient Representation and Computation of Reachable Sets for Hybrid Systems. Hybrid systems: Computation and Control, Lecture Notes in Computer Science, vol.2623, pp.482-497, 2003. ,
Engineering of complex avionics systems simulations using a model based approach, Proceedings of Embedded Real-time Software and Systems (ERTS), 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-02272338
Computational Techniques for the Verification of Hybrid Systems, Proceedings of the IEEE, vol.91, pp.986-1001, 2003. ,
Capturing the dual relationship between simulation models and their context. Simulation Modeling Practice and Theory, vol.14, pp.126-142, 2006. ,
An ontology for State Analysis: Formalizing the mapping to SysML, 2012. ,
Models to Reduce the Gap between Heterogeneous Models: Application to Aircraft Systems Engineering, ICECCS, pp.355-360, 2010. ,
Theory of modeling and simulation, 2000. ,