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

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. (C) 2021 Elsevier Ltd. All rights reserved.

Automated summary

This paper tackles the supervisory control problem for partially observed discrete event systems by synthesizing a similarity-enforcing supervisor that ensures the system behaves according to the given specification. The paper extends the existence condition of a similarity-enforcing supervisor for full observation to the case of partial observation, and provides a method to synthesize the supervisor. It also demonstrates that the synthesized supervisor is maximally permissive in a global sense.