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

  1. TRUJILLO MEDINA, JESÚS ÁNGEL
Supervised by:
  1. Enrique Baeyens Lázaro Director
  2. Jean Pasek Zbigniew Co-director

Defence university: Universidad de Valladolid

Fecha de defensa: 04 May 2005

Committee:
  1. José Ramón Perán González Chair
  2. Javier Pérez Turiel Secretary
  3. Francisco José Morant Anglada Committee member
  4. Luis Basañez Villaluenga Committee member
  5. Pablo Lucio de la Fuente Redondo Committee member
Department:
  1. Systems and Automatic Engineering

Type: Thesis

Teseo: 126727 DIALNET

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