Simulation validity assessment in the context of embedded system design, Common Validation, Verification and Accreditation Framework for Simulation, 2004. ,
A Study on Run Time Assurance for Complex Cyber Physical Systems, 2013. ,
Abstract Interpretation Frameworks, Journal of Logic and Computation, vol.2, pp.511-547, 1992. ,
Simulation validation using the compatibility between simulation model and experimental frame, Proceedings of the 2013 Summer Computer Simulation Conference, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00868406
A taxonomy of model abstraction techniques, Proceedings of the 27th conference on winter simulation, pp.1413-1420, 1995. ,
Approximate bisimulation relations for constrained linear systems, Automatica, vol.43, pp.1307-1317, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00171420
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-00171421
Report from the Fidelity Implementation Study Group, Simulation Interoperatbility Workshop, 1999. ,
Reference model based high fidelity simulation modeling for manufacturing systems, 2004. ,
A Practical Ontology Framework for Static Model Analysis, Proceedings of the ninth ACM international conference on Embedded software, pp.23-32, 2011. ,
, 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. ,
PESSOA: a tool for embedded controller synthesis, Proceedings of the 22nd International Conference on Computer Aided Verification, pp.566-569, 2010. ,
Bisimilar linear systems, Automatica, vol.39, pp.2035-2047, 2003. ,
Symbolic models for nonlinear control systems using approximate bisimulation, 46th IEEE Conference on Decision and Control, pp.4656-4661, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00307012
Modeling & Simulation framework for the inclusion of simulation objectives by abstraction, th International Conference on Simulation and Modeling Methodologies, Technologies & Applications, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01912545
Fidelity Requirements Specification: A Process Oriented View, Fall Simulation Interoperability Workshop, 1999. ,
CoSyMA: a tool for controller synthesis using multi-scale abstractions, 16th international conference on Hybrid Systems: Computation and Control, HSCC'13, pp.83-88, 2013. ,
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. ,
Invisible Formal Methods for Embedded Control Systems, Proceedings of the IEEE, vol.91, pp.29-39, 2003. ,
Computational Techniques for the Verification of Hybrid Systems, Proceedings of the IEEE, vol.91, 2003. ,
An ontology for State Analysis: Formalizing the mapping to SysML, Aerospace Conference, 2012. ,
DOI : 10.1109/aero.2012.6187335
URL : http://www.omgsysml.org/State_Analysis_Ontology _in_SysML.pdf
, Theory of modeling and simulation, 2000.