Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs

This paper presents a discretize-then-relax methodology to compute convex/concave bounds for the solutions of a wide class of parametric nonlinear ODEs. The procedure builds upon interval methods for ODEs and uses the McCormick relaxation technique to propagate convex/concave bounds. At each integration step, a two-phase procedure is applied: a priori convex/concave bounds that are valid over the entire step are calculated in the first phase; …