Máquinas de posiciones finitas para control lógicocomposición de patrones en sistemas reconfigurables de fabricación

Abstract

En los sistemas de fabricación, el control lógico es uno de los elementos claves en el desarrollo de las modificaciones y reconfiguraciones para la incorporación de nuevas especificaciones o estrategias de control. Así, los sistemas de fabricación a gran escala requieren de un importante esfuerzo en la creación y depuración el controllógico. El mercado actualmente esa sometido a fuertes variaciones, donde un producto puede requerir disminuir o aumentar su producción en periodos de tiempo realmente cortos, por lo tanto, los procesos productivos generados por los sistemas de fabricación deben ser capaces de adecuarse a estas nuevas circunstancias, donde la vida útil de un producto podría reducirse drásticamente y generar el lanzamiento de una nueva versión en periodos diferentes a los previstos. Estas alteraciones y modificaciones implican una reconfiguración del sistema de fabricación, donde se quiere del control lógico una respuesta capaz de atender con fiabilidad y suficiente rapidez a todos estos cambios. Esta tesis doctoral describe el desarrollo de sistemas modulares por bloques B-FPM basados en máquinas de posiciones finitas FPM, que permiten la descripción comportamental del sistema de control. Mediante la creación de patrones-VS, se facilita la rápida y fiable incorporación de las nuevas modificaciones en el controlador para sistemas reconfigurables. Las B-FPM son básicamente sistemas reconfigurables. Las B-FPM son básicamente sistemas de comunicación entre máquinas de posiciones finitas, las cuales presentan procesos reactivos. Los patrones-VS, son estructuras básicas de FPM que han sido verificadas para su composición. En este trabajo se incluyen las definiciones de FPM, B-FPM, patrones-VS, los lenguajes VS generados por FPM y el desarrollo teórico de todos ellos. Se describen también un conjunto de herramientas software, las cuales han sido creadas para la manipulación, análisis, verificación y ejecución de FPM. Finalme