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.