Resumen

Este artículo trata de la detección y aislamiento de fallos en sistemas estocásticos de eventos discretos modelados con redes de Petri parcialmente observadas. Los eventos ocurren según funciones de densidad de probabilidad arbitrarias. Los modelos incluyen los sensores utilizados para medir los eventos y las marcas, así como las restricciones temporales que deben satisfacer las operaciones del sistema. Estas restricciones temporales se definen en función de intervalos de tolerancia especificados para cada transición. Un fallo es una operación que termina demasiado pronto o demasiado tarde. En primer lugar, se calcula el conjunto de trayectorias coherentes con una trayectoria medida temporizada dada. A continuación, se estima la probabilidad de que no se cumplan las especificaciones temporales para cualquier secuencia de mediciones y, como consecuencia, se obtiene la probabilidad de que se haya producido un fallo temporal.

• Materias:Álgebra Análisis Matemático Ingeniería Matemática aplicada Lógica matemática
• Subjects:Algebra Mathematical Analysis Engineering Applied Mathematics Mathematical logic
• Palabras claves:Detección de fallos; aislamiento; sistemas estocásticos de eventos discretos temporizados; redes de Petri temporizadas parcialmente observadas; funciones de densidad de probabilidad; restricciones temporales.
• Keywords:Faults detection; isolation; timed stochastic discrete event systems; partially observed timed Petri nets; probability density functions; temporal constraints