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

書誌事項

タイトル別名
  • Modular Control of Petri Nets under Partial Observation
  • ブブン カンソク ノ モト デ ノ ペトリ ネット ノ モジュラ セイギョ

この論文をさがす

抄録

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.

収録刊行物

参考文献 (9)*注記

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ