Descomposicion modular de diagnosticadores de fallos basados en modelos de eventos discretos

Zusammenfassung

El trabajo desarrollado en la presente tesis, ha tenido como motivo el estudio del problema del diagnostico de fallos de los Sistemas Automatizados de Producción en el marco de los Sistemas de Eventos Discretos. El estudio del formalismo de los Sistemas de Eventos Discretos, hace aproximadamente una decada se presentaba como una rama emergente en la que una parte de la comunidad investigadora estaba observando un notable interes y constituye en la actualidad, una rama consolidada de la Ingenieria de Sistemas. Sin embargo, en opinión del autor de la tesis, el estudio del diagnóstico de fallos en dicho contexto no ha sido tan exhaustivo como el realizado dentro de los dominios clásicos de los Sistemas de Control y también de aquellos derivados de las técnicas de la Inteligencia Artificial. Las crecientes exigencias en los niveles de automatización de los modernos sistemas de producción, constituidos por un gran número de subprocesos, a menudo con complicadas interacciones en su funcionamiento hacen que su vulnerabilidad crezca al mismo tiempo que su complejidad. Para éstos, se hace necesaria la implementación en los niveles de supervisión de métodos adecuados de diagnóstico de fallos, capaces de detectar la ocurrencia de éstos y su ubicación, especialmente en los sistemas distribuidos de fabricación y control, donde un mantinimiento normal se hace dificil dado que a menudo el sistema se encuentra disperso en grandes instalaciones separadas por requerimientos de implementación o bien, debido al necesario cumplimiento de normas legales de seguridad como consecuencia de la naturaleza peligrosa de los productos que intervienen en el proceso productivo. Las clases de sistemas de tradicionalmente han sido estudiados por los ingenieros de control poseen variables continuas, y la dinámica de dichos sistemas ha sido posible representarlas mediante ecuaciones diferenciales o bien, en diferencias. No obstante conforme los requerim