System Dynamics SCIP

SD-SCIP is a collection of data-handling and solving plugins for SCIP intended for MINLPs that arise from the discretization of a set of ordinary differential equations. It provides a primal heuristic, an extensive reachability analysis using an OBBT approach, and a propagation method based on differential inequalities. SD-SCIP is developed as part of the project ''System Dynamics Optimization'' of the DFG funded CRC 1026 ''Sustainable Manufacturing'' and is under active development.

References

Information on some of the algorithmic ideas for the primal heuristic and reachability analysis can be found in the following papers. A more detailed description is in preparation.

• A Global Approach to the Control of an Industry Structure System Dynamics Model Armin Fügenschuh, Stefan N. Grösser, Ingmar Vierhaus
  Available as ZIB-Report 13-67, 2013
• A Global Approach to the Optimal Control of System Dynamics Models Armin Fügenschuh, Ingmar Vierhaus
  Proceedings of the 31st International Conference of the System Dynamics Society, 2013 (preprint available as ZIB-Report 13-28) ZIB-Report 13-28, 2013

The implementation of the bound propagation using differential inequalities is based on the algorithm described in the following paper:

• Bounds on the reachable sets of nonlinear control systems Joseph K. Scott, Paul I. Barton, Automatica, 2013
  

Important Links

• SCIP

• GitHub

Download

SD-SCIP is distributed under the GPL. To download the code and installation instructions visit the SD-SCIP Github repository.

SD-SCIP on GitHub

Developer

SD-SCIP is developed by Ingmar Vierhaus and Robert Gottwald. Please do not hesitate to get in touch if you have questions or problems or to report bugs.