A number of open-source software are developed as part of the research conducted in OMEGA:

  • Library MC++ for convex/concave relaxation, Taylor model bounding, and spectral bounding of factorable functions
  • Library ODEBND_GSL for computing enclosures of the reachable set of parametric nonlinear ODEs with a factorable right-hand side and initial condition

These codes are released as open source code under the Eclipse Public License (EPL). We would greatly appreciate that you cite our work if you are using any of these libraries in your own research. And keep on checking our page for new codes or updates!