Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems

Abstract

This paper handles a supervisory control problem for partially observed discrete event systems, where both the system and the specification are modeled as nondeterministic automata. This problem requires us to synthesize a nondeterministic supervisor, named similarity-enforcing supervisor, such that the supervised system is simulated by the specification. To solve this problem, the existence condition of a similarity-enforcing supervisor under full observation is extended to the case of partial observation. We provide a method to synthesize a similarity-enforcing supervisor when the existence condition holds. In addition, we show that the synthesized supervisor is maximally permissive in a global sense, which is achievable owing to the nondeterminism of the supervisor.