Optimization-based ODE relaxations

A proof-of-concept MATLAB implementation of a new method for automatically generating convex relaxations for solutions of parametric ODEs. Also contains:

• a straightforward MATLAB implementation of interval arithmetic, for automatically generating bounds on supplied functions, and
• a straightforward MATLAB implementation of generalized McCormick relaxations, for automatically generating convex relaxations of supplied functions.

If you use this work, please cite the accompanying article.