部分観測のもとでのペトリネットのモジュラ制御

抄録

This paper studies state feedback control of Petri nets under partial observation. We consider the case where a control specification is given in terms of conjunction of component predicates. For such a specification, modular feedback synthesis is useful. We first show that modular synthesis of the unique maximally permissive controller (MPC) is not always possible under partial observation. We then present a necessary and sufficient condition for the unique MPC to be constructed in a modular fashion. Moreover, we demonstrate modular synthesis of the unique MPC for a simple manufacturing system.