In discrete-event system control, the worst-case time complexity for computing a system's observer is exponential in number of that states. This results practical difficulties since some problems require calculating multiple observers changing system, e.g., synthesizing an opacity-enforcing supervisor. Although these iterative manner allows us to synthesize supervisor and although methods have ...