Máquinas de posiciones finitas para control lógico: composición de patrones en sistemas reconfigurables de fabricación
- Autores: Jesús A. Trujillo Medina
- Directores de la Tesis: Enrique Baeyens Lázaro (dir. tes.), Jean Pasek Zbigniew (codir. tes.)
- Lectura: En la Universidad de Valladolid ( España ) en 2005
- Idioma: español
- Tribunal Calificador de la Tesis: José Ramón Perán González (presid.), Javier Pérez Turiel (secret.), Luis Basañez Villaluenga (voc.), Pablo Lucio de la Fuente Redondo (voc.), Francisco José Morant Anglada (voc.)
- Materias:
- Texto completo no disponible (Saber más ...)
- Resumen
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
