任意の制御パターンをもつ部分観測システムのスーパバイザ制御

抄録

In this paper, we study supervisory control of partially observed discrete event systems with arbitrary control patterns. We assume that the desirable behavior is specified as a nonempty and closed language. We present a necessary and sufficient condition for the existence of a supervisor which achieves the desirable behavior under partial observation. We also consider the case that there does not exist a supervisor for a given specification language under the assumption that the set of control patterns is closed under union. We present a sublanguage of the specification language for which a supervisor exists.