Resumen

Este estudio propone un método de diagnóstico de fallos de sistemas de eventos discretos basado en un modelo de red de Petri con transiciones parcialmente observables. Se asume que la estructura del modelo de red de Petri y el marcado inicial son conocidos, y los fallos pueden ser modelados por sus transiciones no observables. Una de las contribuciones de este trabajo es el uso de la información de la estructura de la red de Petri para construir un diagnosticador de fallos en línea que pueda describir el comportamiento del sistema de fallos normales o potenciales. Modelando el flujo de tokens en lugares particulares que contienen información de fallos, se puede calcular la variación de tokens en estos lugares. Se determina si las salidas y entradas de estos lugares están habilitadas o no mediante el análisis de algunas estructuras especiales. Con la información de estructura, no es necesario recorrer todos los estados. Además, la complejidad computacional del polinomio permite que el modelo cumpla los requisitos de tiempo real. Otra contribución de este trabajo es simplificar el modelo de subred antes de realizar el proceso de diagnóstico mediante el uso de reglas de reducción. Al eliminar algunos nodos que no contienen la información de diagnóstico necesaria, se puede reducir el coste de memoria.

• Materias:Matemáticas Análisis Matemático Álgebra Ingeniería Matemática aplicada Lógica matemática
• Subjects:mathematics Mathematical Analysis Algebra Engineering Applied Mathematics Mathematical logic
• Palabras claves:modelo de red, información de estructura, sistemas de eventos discretos, método de diagnóstico de fallos, información de diagnóstico necesaria, diagnosticador de fallos en línea, petri, lugares, fichas, uso
• Keywords:net model, structure information, discrete event systems, fault diagnosis method, necessary diagnostic information, online fault diagnoser, petri, places, tokens, use