A New Verification Algorithm for Inferencing in Supervisory Control of Discrete-Event Systems
C K Sharpe, S.H. Yoon, Laurie Ricker, Hervé Marchand · IFAC-PapersOnLine · 2024
We present a new algorithm to verify inference observability in supervisory control of decentralized discrete-event systems. The algorithm's success relies on the following idea. An inferencing solution exists only when a language contains no inferencing cycles. When there are no cycles, the algorithm computes the smallest upper bound for an inferencing solution.