Optimisation des chaînes de valeur industrielles
Des problèmes divers surviennent dans les nombreux différents secteurs industriels. L'objectif du projet AMETIST était de contribuer à apporter des solutions à ces problèmes en fournissant des outils mathématiques pour la détection d'erreurs. Le projet a également permis de jeter les bases d'un cadre unifié pour la modélisation et la manipulation de systèmes temporisés. En particulier, les chercheurs ont cherché à transposer les recherches les plus avancées dans la création d'outils automatisés sophistiqués qui permettraient une planification en temps réel des chaînes de production dans les usines. Le partenaire de projet Axxom Software AG a proposé un problème d'optimisation de chaîne de valeur qui représentait les tâches classiques d'allocation et de planification de ressources telles qu'elles surviennent dans l'industrie de production de laque. Chaque composant d'une usine sans conduit en discontinu servant de référence a été modélisé en tant que système avec une dynamique bien définie. Tout ce qui peut survenir pendant le traitement par lots a été exprimé en termes de comportements; ces derniers ont été générés par les systèmes dynamiques et ont constitué la base sémantique du problème. Le problème de planification incluait les coûts opérationnels par quantité de produit, ainsi que les coûts relatifs aux tâches en retard et les frais de stockage résultant de l'achèvement anticipé d'une séquence d'opérations. Des méthodes basées sur l'optimisation ont été appliquées pour la vérification de la structure du système, qui a été modifié pour atteindre des comportements exacts et optimaux. La précieuse expérience acquise avec l'étude de cas Axxom a montré que l'application de techniques de vérification de modèle pour la planification se révèle prometteuse. Les chercheurs de l'université de Dortmund (Allemagne) n'ont pas seulement proposé des extensions des modèles de base. Leur travail de modélisation a apporté des connaissances fondamentales sur la manière d'aborder une grande diversité de phénomènes par l'utilisation de ce qui est communément appelé la famille des modèles d'automates temporisés. Les automates temporisés ne se sont pas révélés être une technologie «push bottom» à appliquer sans modélisation et stratégies de solutions spécifiquement développées pour le cas à l'étude. En revanche, la génération de bibliothèques classiques est apparue comme une piste vers une application plus large et facile pour les utilisateurs non spécialistes.
