Optimization of operation sequences using constraint programming

Paper in proceeding, 2012

In this paper, we connect the dots: design and optimization of production systems. A possible link between these two areas, is a previously presented modeling language, Sequence Planner Language (SPL). It has been demonstrated how relevant information can be extracted from production systems modeling applications, and converted into SPL. We show how the SPL model can be converted into a constraint programming model for optimization. Also, a useful abstraction concept, work-equivalence, is introduced to enable alternative model formulations. A case study consisting of an aero engine structure assembly plant is presented, in which the efficiency of the resulting constraint programs is investigated. The formulations enabled by abstraction are shown to perform better than the standard formulation.