A Belief-Evolution-Based Approach for Online Control of Fuzzy Discrete-Event Systems Under Partial Observation

In this paper, we investigate the partially observed supervisor synthesis problem in the framework of fuzzy discrete-event systems (DESs). The goal is to synthesize a fuzzy supervisor such that the behavior of the closed-loop system is within a given fuzzy language. A new approach for solving this problem is proposed based on the idea of belief evolution. Specifically, we propose an algorithm that can be implemented in an online manner. We show that the proposed algorithm is both sound and complete, i.e., it effectively solves the supervisor synthesis problem. To the best of our knowledge, this is the first algorithm with such a property for fuzzy DESs, as previous works on this topic mostly focus on the supervisor existence condition rather than the supervisor synthesis problem.