Modular Control of Petri Nets under Partial Observation

DOI Web Site 9 References

Bibliographic Information

Other Title
  • 部分観測のもとでのペトリネットのモジュラ制御
  • ブブン カンソク ノ モト デ ノ ペトリ ネット ノ モジュラ セイギョ

Search this article

Abstract

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.

Journal

References(9)*help

See more

Keywords

Details 詳細情報について

Report a problem

Back to top