Dynamic Event Observation and Partial State-Change Perception for Distributed Supervisory Control

In many applications of discrete event systems, in addition to observing event occurrences, controllers directly detect changes from one subset of state space to another, and such detection often involves latency. Incorporating these practical imperatives into system design, we extend the works on state observation in [1] to model state-change perception and redefine the traditional coobservability accordingly. Given the number of supervisors fixed, a P-class verifier for the updated version of coobservability is also presented when controllers' system estimates depend on both transition-based event observations and state-change perception.