, Julien Alexandre dit Sandretto and Alexandre Chapoutot. DynIbex

A. Julien-alexandre-dit-sandretto and . Chapoutot, Validated explicit and implicit runge-kutta methods, Reliable Computing, vol.22, p.79, 2016.

M. Althoff, Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets, Hybrid Systems: Computation and Control, pp.173-182, 2013.

M. Althoff, Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets, Proceedings of the 16th international conference on Hybrid systems: computation and control, pp.173-182, 2013.

M. Althoff, O. Stursberg, and M. Buss, Verification of uncertain embedded systems by computing reachable sets based on zonotopes

F. William and . Ames, Numerical methods for partial differential equations, 2014.

M. Arnold, C. Clauß, and T. Schierz, Error analysis and error estimates for co-simulation in fmi for model exchange and co-simulation v2. 0, Progress in Differential-Algebraic Equations, pp.107-125, 2014.

S. Blanes, F. Casas, and A. Murua, Splitting and composition methods in the numerical integration of differential equations, 2008.

O. Bouissou, A. Chapoutot, and A. Djoudi, Enclosing temporal evolution of dynamical systems using numerical methods, NASA Formal Methods, number 7871 in LNCS, pp.108-123, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00819730

O. Bouissou and M. Martel, GRKLib: a Guaranteed Runge Kutta Library, Scientific Computing, Computer Arithmetic and Validated Numerics, 2006.

O. Bouissou, S. Mimram, and A. Chapoutot, HySon: Set-based simulation of hybrid systems, Rapid System Prototyping, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00819377

D. Broman, C. Brooks, L. Greenberg, A. Edward, M. Lee et al., Determinate composition of fmus for cosimulation, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT), pp.1-12, 2013.

H. Bungartz and M. Schäfer, Fluid-structure interaction: modelling, simulation, optimisation, vol.53, 2006.

X. Chen, E. Abraham, and S. Sankaranarayanan, Taylor model flowpipe construction for non-linear hybrid systems, IEEE 33rd Real-Time Systems Symposium, pp.183-192, 2012.

X. Chen, E. , and S. Sankaranarayanan, Flow*: An analyzer for non-linear hybrid systems, Computer Aided Verification, pp.258-263, 2013.

X. Chen, S. Mover, and S. Sankaranarayanan, Compositional relational abstraction for nonlinear hybrid systems, ACM Transactions on Embedded Computing Systems (TECS), vol.16, issue.5s, pp.1-19, 2017.

X. Chen and S. Sankaranarayanan, Decomposed reachability analysis for nonlinear systems, 2016 IEEE Real-Time Systems Symposium (RTSS), pp.13-24, 2016.

L. Henrique-de-figueiredo and J. Stolfi, Self-Validated Numerical Methods and Applications. Brazilian Mathematics Colloquium monographs. IMPA/CNPq, 1997.

A. Julien-alexandre-dit-sandretto and . Chapoutot, Validated simulation of differential algebraic equations with runge-kutta methods, Reliable Computing, vol.22, p.57, 2016.

T. Dzetkuli?, Rigorous integration of non-linear ordinary differential equations in Chebyshev basis, Numerical Algorithms, vol.69, issue.1, pp.183-205, 2015.

A. Eggers, M. Fränzle, and C. Herde, SAT modulo ODE: A direct SAT approach to hybrid systems, Automated Technology for Verification and Analysis, vol.5311, pp.171-185, 2008.

G. Frehse, C. Le-guernic, A. Donzé, S. Cotton, R. Ray et al., SpaceEx: Scalable verification of hybrid systems, Computer Aided Verification, vol.6806, pp.379-395, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00769608

K. Gajda, A. Ma-lgorzata-jankowska, B. Marciniak, and . Szyszka, A survey of interval Runge-Kutta and multistep methods for solving the initial value problem, Parallel Processing and Applied Mathematics, vol.4967, pp.1361-1371, 2008.

A. Girard, Reachability of uncertain linear systems using zonotopes, Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, pp.291-305, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00307003

A. Girard, Reachability of uncertain linear systems using zonotopes, Hybrid Systems: Computation and Control, pp.291-305, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00307003

C. Gomes, C. Thule, D. Broman, H. Peter-gorm-larsen, and . Vangheluwe, Co-simulation: State of the art, 2017.

C. Gomes, C. Thule, D. Broman, H. Peter-gorm-larsen, and . Vangheluwe, Co-simulation: a survey, ACM Computing Surveys (CSUR), vol.51, issue.3, pp.1-33, 2018.

E. Hairer, P. Syvert, G. Norsett, and . Wanner, Solving Ordinary Differential Equations I: Nonstiff Problems, 2009.

E. Hairer and G. Wanner, Solving Ordinary Differential Equations II: Stiff and Differential-Algebraic Problems, 1996.

C. Heitmeyer, On the need for practical formal methods, International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, pp.18-26, 1998.

C. Heitmeyer, J. Kirby, and B. Labaw, Tools for formal specification, verification, and validation of requirements, Proceedings of COMPASS'97: 12th Annual Conference on Computer Assurance, pp.35-47, 1997.

G. Hou, J. Wang, and A. Layton, Numerical methods for fluid-structure interaction?a review, Communications in Computational Physics, vol.12, issue.2, pp.337-377, 2012.

F. Immler, Verified reachability analysis of continuous systems, Tools and Algorithms for the Construction and Analysis of Systems, vol.9035, pp.37-51, 2015.

L. Jaulin, M. Kieffer, O. Didrit, and E. Walter, Applied Interval Analysis, 2001.

C. Jeff, D. H. Jensen, E. Chang, and . Lee, A model-based design methodology for cyber-physical systems, 7th International Wireless Communications and Mobile Computing Conference, pp.1666-1671, 2011.

W. Kühn, Zonotope dynamics in numerical quality control, Mathematical Visualization, pp.125-134, 1998.

A. Edward and . Lee, Cyber physical systems: Design challenges, 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp.363-369, 2008.

Y. Lin and M. A. Stadtherr, Validated solutions of initial value problems for parametric odes, Appl. Numer. Math, vol.57, issue.10, pp.1145-1162, 2007.

R. J. Lohner, Enclosing the solutions of ordinary initial and boundary value problems, Computer Arithmetic, pp.255-286, 1987.

T. Ma, Higher chain formula proved by combinatorics. the electronic journal of combinatorics, vol.16, p.21, 2009.

K. Makino and M. Berz, Rigorous integration of flows and odes using taylor models, Proceedings of the 2009 Conference on Symbolic Numeric Computation, SNC '09, pp.79-84, 2009.

R. E. Moore, Interval Analysis. Series in Automatic Computation, 1966.

O. Mullier, A. Chapoutot, and J. Sandretto, Validated computation of the local truncation error of runge-kutta methods with automatic differentiation, Optimization Methods and Software, vol.33, issue.4-6, pp.718-728, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01316503

S. Nedialko, K. Nedialkov, R. Jackson, and G. F. Corliss, Validated solutions of initial value problems for ordinary differential equations, Appl. Math. and Comp, vol.105, issue.1, pp.21-68, 1999.

C. Ballegaard-nielsen, P. G. Larsen, J. Fitzgerald, J. Woodcock, and J. Peleska, Systems of systems engineering: basic concepts, model-based techniques, and research directions, ACM Computing Surveys (CSUR), vol.48, issue.2, pp.1-41, 2015.

A. Quarteroni and A. Valli, Domain decomposition methods for partial differential equations, 1999.

T. Schierz, M. Arnold, and C. Clauß, Co-simulation with communication step size control in an fmi compatible master algorithm, Proceedings of the 9th International MODELICA Conference, pp.205-214, 2012.

C. Olgierd, R. L. Zienkiewicz, P. Taylor, J. Z. Nithiarasu, and . Zhu, The finite element method, vol.3, 1977.