, Julien Alexandre dit Sandretto and Alexandre Chapoutot. DynIbex
Validated explicit and implicit runge-kutta methods, Reliable Computing, vol.22, p.79, 2016. ,
Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets, Hybrid Systems: Computation and Control, pp.173-182, 2013. ,
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. ,
Verification of uncertain embedded systems by computing reachable sets based on zonotopes ,
Numerical methods for partial differential equations, 2014. ,
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. ,
Splitting and composition methods in the numerical integration of differential equations, 2008. ,
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
GRKLib: a Guaranteed Runge Kutta Library, Scientific Computing, Computer Arithmetic and Validated Numerics, 2006. ,
HySon: Set-based simulation of hybrid systems, Rapid System Prototyping, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00819377
Determinate composition of fmus for cosimulation, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT), pp.1-12, 2013. ,
Fluid-structure interaction: modelling, simulation, optimisation, vol.53, 2006. ,
Taylor model flowpipe construction for non-linear hybrid systems, IEEE 33rd Real-Time Systems Symposium, pp.183-192, 2012. ,
Flow*: An analyzer for non-linear hybrid systems, Computer Aided Verification, pp.258-263, 2013. ,
Compositional relational abstraction for nonlinear hybrid systems, ACM Transactions on Embedded Computing Systems (TECS), vol.16, issue.5s, pp.1-19, 2017. ,
Decomposed reachability analysis for nonlinear systems, 2016 IEEE Real-Time Systems Symposium (RTSS), pp.13-24, 2016. ,
, Self-Validated Numerical Methods and Applications. Brazilian Mathematics Colloquium monographs. IMPA/CNPq, 1997.
Validated simulation of differential algebraic equations with runge-kutta methods, Reliable Computing, vol.22, p.57, 2016. ,
Rigorous integration of non-linear ordinary differential equations in Chebyshev basis, Numerical Algorithms, vol.69, issue.1, pp.183-205, 2015. ,
SAT modulo ODE: A direct SAT approach to hybrid systems, Automated Technology for Verification and Analysis, vol.5311, pp.171-185, 2008. ,
SpaceEx: Scalable verification of hybrid systems, Computer Aided Verification, vol.6806, pp.379-395, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00769608
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. ,
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
Reachability of uncertain linear systems using zonotopes, Hybrid Systems: Computation and Control, pp.291-305, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00307003
Co-simulation: State of the art, 2017. ,
Co-simulation: a survey, ACM Computing Surveys (CSUR), vol.51, issue.3, pp.1-33, 2018. ,
Solving Ordinary Differential Equations I: Nonstiff Problems, 2009. ,
Solving Ordinary Differential Equations II: Stiff and Differential-Algebraic Problems, 1996. ,
On the need for practical formal methods, International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, pp.18-26, 1998. ,
Tools for formal specification, verification, and validation of requirements, Proceedings of COMPASS'97: 12th Annual Conference on Computer Assurance, pp.35-47, 1997. ,
Numerical methods for fluid-structure interaction?a review, Communications in Computational Physics, vol.12, issue.2, pp.337-377, 2012. ,
Verified reachability analysis of continuous systems, Tools and Algorithms for the Construction and Analysis of Systems, vol.9035, pp.37-51, 2015. ,
, Applied Interval Analysis, 2001.
A model-based design methodology for cyber-physical systems, 7th International Wireless Communications and Mobile Computing Conference, pp.1666-1671, 2011. ,
Zonotope dynamics in numerical quality control, Mathematical Visualization, pp.125-134, 1998. ,
Cyber physical systems: Design challenges, 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp.363-369, 2008. ,
Validated solutions of initial value problems for parametric odes, Appl. Numer. Math, vol.57, issue.10, pp.1145-1162, 2007. ,
Enclosing the solutions of ordinary initial and boundary value problems, Computer Arithmetic, pp.255-286, 1987. ,
Higher chain formula proved by combinatorics. the electronic journal of combinatorics, vol.16, p.21, 2009. ,
Rigorous integration of flows and odes using taylor models, Proceedings of the 2009 Conference on Symbolic Numeric Computation, SNC '09, pp.79-84, 2009. ,
Interval Analysis. Series in Automatic Computation, 1966. ,
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
Validated solutions of initial value problems for ordinary differential equations, Appl. Math. and Comp, vol.105, issue.1, pp.21-68, 1999. ,
Systems of systems engineering: basic concepts, model-based techniques, and research directions, ACM Computing Surveys (CSUR), vol.48, issue.2, pp.1-41, 2015. ,
Domain decomposition methods for partial differential equations, 1999. ,
Co-simulation with communication step size control in an fmi compatible master algorithm, Proceedings of the 9th International MODELICA Conference, pp.205-214, 2012. ,
The finite element method, vol.3, 1977. ,