Optimización de cadenas de valor industriales
En los numerosos y variados sectores industriales se presentan distintos problemas. El proyecto AMETIST buscó la manera de contribuir a las soluciones proporcionando instrumentos matemáticos para la detección de errores. Además, se pusieron los cimientos para un marco unificador de modelización y manipulación de sistemas dependientes del tiempo. En particular, los científicos pretendían transformar la investigación más actual en sofisticadas herramientas automáticas que permitieran programar en directo las líneas de producción de las fábricas. El socio del proyecto Axxom Software AG planteó un problema de optimización de cadenas de valor que representaba las típicas tareas de asignación de recursos y programación temporal necesarias en industrias de producción de laca. Cada uno de los componentes de una planta de proceso por lotes sin tuberías utilizada como referencia se modeló como sistema con una dinámica bien definida. Todo lo que puede suceder durante un proceso por lotes se expresó en términos de comportamientos; estos se generaron mediante sistemas dinámicos y constituyeron la semántica del problema. El problema de programación abarcaba los costes operativos por cantidad de producto, así como los costes de la finalización con retraso de los trabajos y los gastos de almacenamiento por la conclusión temprana de una secuencia de operaciones. Se aplicaron métodos basados en la optimización para verificar la estructura del sistema, que fue modificada para lograr comportamientos correctos y óptimos. La valiosa experiencia acumulada con el estudio del caso Axxom mostró que la aplicación de técnicas de comprobación de modelos a la programación temporal es prometedora. Los investigadores de la Universidad de Dortmund no sólo proporcionaron ampliaciones de los modelos básicos; sus esfuerzos de modelización rindieron unos conocimientos fundamentales sobre cómo afrontar una gran diversidad de fenómenos usando lo que se conoce como familia de modelos autómatas temporizados. Los autómatas temporizados no resultaron ser una tecnología fácil, que se pueda aplicar sin estrategias de modelado y soluciones desarrolladas especialmente para cada caso bajo escrutinio. No obstante, la generación de librerías para las configuraciones más habituales se conformó como una vía de aplicación de forma más sencilla y generalizada para usuarios no especializados.
