Intelligente Orchestrierung von Planungsprozessen

Kurzfassung Existierende Fabrikplanungsmodelle werden der Komplexität und Dynamik kontinuierlicher Fabriksystemanpassungen nicht ausreichend gerecht. Der vorgestellte Ansatz betrachtet einen modularen Aufbau von Planungsverläufen, welche mittels logikbasiertem Constraintsolving zusammengestellt werden. Das Ziel des Ansatzes ist die Entwicklung einer Planungsassistenz, durch die Planungsabläufe flexibel und permanent an sich stetig ändernde Planungssituationen angepasst werden können, um die Geschwindigkeit und Effizienz von Fabrik-systemanpassungen auch unter dynamischen Bedingungen zu gewährleisten.

[1]  Nikolaj Bjørner,et al.  Z3: An Efficient SMT Solver , 2008, TACAS.

[2]  Andrej Dudenhefner,et al.  Combinatory Process Synthesis , 2016, ISoLA.

[3]  Marsha Chechik,et al.  Tools and Algorithms for the Construction and Analysis of Systems , 2016, Lecture Notes in Computer Science.