Optymalizacja przemysłowych łańcuchów wartości
Problemy tego typu występują w wielu różnych dziedzinach przemysłu. Projekt AMETIST miał na celu przyczynić się do znalezienia rozwiązania poprzez dostarczenie matematycznych narzędzi do wykrywania błędów. Ponadto położono fundament pod zunifikowaną strukturę ramową do modelowania systemów niezależnych od czasu i operowania nimi. Naukowcy starali się zwłaszcza przełożyć najwyższej klasy osiągnięcia naukowe na wyrafinowane automatyczne narzędzia, które umożliwiłyby tworzenie harmonogramów linii produkcyjnych w fabrykach w czasie rzeczywistym. Uczestnicząca w projekcie firma Axxom Software AG przedstawiła problem z optymalizacją łańcucha wartości dotyczący typowych zadań przydzielania i harmonogramowania zasobów występujących w przemyśle produkcji lakierów. Każdą część bezrurowego zakładu produkcji wsadowej, służącego jako obiekt odniesienia, zamodelowano jako system z dobrze określoną dynamiką. Wszystko, co może się odbywać w toku obróbki wsadowej, wyrażono w kategoriach zachowań - zostały one wygenerowane przez systemy dynamiczne i składały się na semantykę problemu. Problem z harmonogramowaniem wpływał negatywnie na koszty operacyjne w przeliczeniu na ilość produktu, a także koszty wynikające z opóźnienia zakończenia prac oraz wydatki na magazynowanie w razie przedwczesnego ukończenia ciągu operacji. Do weryfikacji struktury systemu, który został zmodyfikowany pod kątem poprawnych i zoptymalizowanych zachowań, zastosowano metody oparte na optymalizacji. Cenne doświadczenie nabyte dzięki studium przypadku firmy Axxom pozwala stwierdzić, że stosowanie technik sprawdzania modelu w zakresie planowania stanowi obiecujące podejście. Naukowcy z Universität Dortmund nie tylko rozszerzyli podstawowe modele. Ich prace w zakresie modelowania dostarczyły fundamentalnej wiedzy o sposobach radzenia sobie z wielką rozmaitością zjawisk towarzyszących używaniu modeli z rodziny tzw. automatów czasowych. Stwierdzono, że automaty czasowe nie są schematyczną technologią, którą można by stosować z pominięciem modelowania i strategii rozwiązań opracowanych specjalnie pod kątem konkretnego przypadku. Niemniej jednak okazało się, że biblioteki sporządzone do typowych konfiguracji stanowią dla niespecjalistów pomoc, dzięki której takie automaty mogą być szerzej stosowane.
