Bisimilar linear systems, Automatica, vol.39, issue.12, pp.2035-2047, 2003. ,
Hierarchically consistent control systems, IEEE Transactions on Automatic Control, vol.45, issue.6, pp.1144-1160, 2000. ,
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
Controlled and Conditioned Invariants in Linear System Theory, 1992. ,
Building Simulation Modeling Environments Using Systems Theory and Software Architecture Principles, Advanced Simulation Technology Conference, pp.99-104, 2004. ,
Equivalence of dynamical systems by bisimulation, Automatic Control, IEEE Transactions on, vol.49, issue.12, 2004. ,
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 composition theorem for bisimulation functions, 2007. ,
Theory of modeling and simulation, 2000. ,
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
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. ,
Bisimulation relations for dynamical, control, and hybrid systems, Theoretical Computer Science, vol.342, pp.229-261, 2005. ,
Abstractions of constrained linear systems, Proceedings of the American Control Conference, 2003. ,
Simulation validity assessment in the context of embedded system design, 2009. ,
Fidelity Requirements Specification: A Process Oriented View, Fall Simulation Interoperability Workshop, 1999. ,
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