Resumen

Este trabajo aborda el problema de identificar una red de Petri que modele el comportamiento inobservable de un sistema a partir del conocimiento de su evolución dinámica. Suponemos que se da un modelo parcial de red de Petri que representa el comportamiento observable de un sistema en el que todas las transiciones son observables. Un identificador monitoriza la evolución del sistema y registra la secuencia de transiciones observada (y las posibles marcas correspondientes). Algunas transiciones no observables que modelan el comportamiento desconocido del sistema se identifican a partir de la secuencia de transición formulando y resolviendo problemas de programación lineal entera. Estas transiciones inobservables identificadas, junto con el modelo de red de Petri parcial dado, caracterizan todo el sistema, incluido el comportamiento observable e inobservable. Se consideran dos casos diferentes. En primer lugar, suponemos que ningún lugar es observable. En tal caso, una secuencia de transición sólo se observa durante la evolución del sistema. En segundo lugar, suponemos que un subconjunto de lugares es observable; es decir, la observación contiene no sólo la secuencia de transición, sino también las marcas correspondientes. Por lo tanto, se debe imponer una restricción adicional a la transición inobservable en los problemas de programación relacionados en función de las marcas observadas, de modo que se pueda encontrar una transición inobservable más auténtica.

• Materias:Control del proceso Aerodinámica Robótica Regulación automática Diagnóstico de fallos
• Subjects: Aerodynamics Robotics Automatic regulation Fault diagnosis
• Palabras claves:secuencia de transición, sistema, modelo de red, petri parcial, comportamiento inobservable, transiciones inobservables, problemas de programación lineal entera, transición inobservable auténtica, secuencia de transición observada, problemas de programación relacionados
• Keywords:transition sequence, system, net model, partial petri, unobservable behavior, unobservable transitions, integer linear programming problems, authentic unobservable transition, observed transition sequence, related programming problems