License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CP.2021.53
URN: urn:nbn:de:0030-drops-153445
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2021/15344/
Go to the corresponding LIPIcs Volume Portal

Sweitzer, Shannon ; Kumar, T. K. Satish

Differential Programming via OR Methods

pdf-format:
LIPIcs-CP-2021-53.pdf (1 MB)

Abstract

Systems of ordinary differential equations (ODEs) and partial differential equations (PDEs) are extensively used in many fields of science, including physics, biochemistry, nonlinear control, and dynamical systems. On the one hand, analytical methods for solving systems of ODEs/PDEs mostly remain an art and are largely insufficient for complex systems. On the other hand, numerical approximation methods do not yield a viable analytical form of the solution that is often required for downstream tasks. In this paper, we present an approximate approach for solving systems of ODEs/PDEs analytically using solvers like Gurobi developed in Operations Research (OR). Our main idea is to represent entire functions as Bézier curves/surfaces with to-be-determined control points. The ODEs/PDEs as well as their boundary conditions can then be reformulated as constraints on these control points. In many cases, this reformulation yields quadratic programming problems (QPPs) that can be solved in polynomial time. It also allows us to reason about inequalities. We demonstrate the success of our approach on several interesting classes of ODEs/PDEs.

BibTeX - Entry

@InProceedings{sweitzer_et_al:LIPIcs.CP.2021.53,
  author =	{Sweitzer, Shannon and Kumar, T. K. Satish},
  title =	{{Differential Programming via OR Methods}},
  booktitle =	{27th International Conference on Principles and Practice of Constraint Programming (CP 2021)},
  pages =	{53:1--53:15},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-211-2},
  ISSN =	{1868-8969},
  year =	{2021},
  volume =	{210},
  editor =	{Michel, Laurent D.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2021/15344},
  URN =		{urn:nbn:de:0030-drops-153445},
  doi =		{10.4230/LIPIcs.CP.2021.53},
  annote =	{Keywords: Differential Programming, Operations Research, B\'{e}zier Curves}
}

Keywords: Differential Programming, Operations Research, Bézier Curves
Collection: 27th International Conference on Principles and Practice of Constraint Programming (CP 2021)
Issue Date: 2021
Date of publication: 15.10.2021

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI