G. Pappas, Bisimilar linear systems, Automatica, vol.39, issue.12, pp.2035-2047, 2003.

G. J. Pappas, . Lafferriere, and S. Sastry, Hierarchically consistent control systems, IEEE Transactions on Automatic Control, vol.45, issue.6, pp.1144-1160, 2000.

. Girard and G. Pappas, Approximate bisimulations for constrained linear systems, Proceedings of Conference of and Decision and Control, pp.4700-4705, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00171539

G. Basile and G. Marro, Controlled and Conditioned Invariants in Linear System Theory, 1992.

H. Sarjoughian and R. Singh, Building Simulation Modeling Environments Using Systems Theory and Software Architecture Principles, Advanced Simulation Technology Conference, pp.99-104, 2004.

A. J. Van-der-schaft, Equivalence of dynamical systems by bisimulation, Automatic Control, IEEE Transactions on, vol.49, issue.12, 2004.

A. A. Julius and A. J. Schaft-van-der, State maps of general behaviors, their lattice structure and bisimulations, 16th International Symposium on Mathematical Theory of Networks and Systems, pp.5-9, 2004.

A. Girard, A composition theorem for bisimulation functions, 2007.

B. P. Zeigler, . Praehofer, and G. Tag, Theory of modeling and simulation, 2000.

. Girard and G. Pappas, 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

S. Ponnusamy, V. Albert, and P. Thebault, Modeling & Simulation framework for the inclusion of simulation objectives by abstraction, 4 th International Conference on Simulation and Modeling Methodologies, Technologies & Applications, N° 14453, pp.385-394, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01912545

. ____________, A Simulation Fidelity Assessment Framework, 4 th International Conference on Simulation and Modeling Methodologies, Technologies & Applications, N° 14452, pp.463-471, 2014.

E. Haghverdi, . Tabuada, and G. Pappas, Bisimulation relations for dynamical, control, and hybrid systems, Theoretical Computer Science, vol.342, pp.229-261, 2005.

. Tanner and G. Pappas, Abstractions of constrained linear systems, Proceedings of the American Control Conference, 2003.

V. Albert, Simulation validity assessment in the context of embedded system design, 2009.

M. Roza, Fidelity Requirements Specification: A Process Oriented View, Fall Simulation Interoperability Workshop, 1999.

D. Foures, A. , V. Nkesta, and A. , 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