[論文レビュー] Practical Distributed Control Synthesis

Doron Peled, Sven Schewe|arXiv (Cornell University)|Nov 14, 2011

Petri Nets in System Modeling参考文献 26被引用数 4

ひとこと要約

本稿では、プロセス間の局所的および共同知識を活用することで通信を最小限に抑える実用的な分散制御合成手法を提示している。これにより、正しさを保証しつつ、効率的で分散型の意思決定が可能になる。中央集権的な解決策が存在する場合には完全な合成が達成され、制御の中央集権化を回避しつつ、順序付きの監視と知識ベースの調整によって不必要なブロッキングやデッドロックを低減する。

ABSTRACT

Classic distributed control problems have an interesting dichotomy: they are either trivial or undecidable. If we allow the controllers to fully synchronize, then synthesis is trivial. In this case, controllers can effectively act as a single controller with complete information, resulting in a trivial control problem. But when we eliminate communication and restrict the supervisors to locally available information, the problem becomes undecidable. In this paper we argue in favor of a middle way. Communication is, in most applications, expensive, and should hence be minimized. We therefore study a solution that tries to communicate only scarcely and, while allowing communication in order to make joint decision, favors local decisions over joint decisions that require communication.

研究の動機と目的

• 分散制御合成の決定不能性に対処するため、プロセス間で制御された疎な通信を導入すること。
• 分散型コントローラーが局所的および共同知識に基づいて意思決定できるようにし、グローバルな同期に依存するのを減らすこと。
• システムの進行を保ちつつデッドロックを避けるために、監視者の相互作用を最小限に抑えること。
• 中央集権的なコントローラーが存在する場合に常に解決策を発見できる完全な合成手法を提供すること。
• 完全に中央集権的または完全に分散型の制御とは異なる、実用的でスケーラブルな代替手法を提供すること。

提案手法

• 各プロセスまたは監視者が、自身の局所的知識と他のプロセスの共同知識に基づいて意思決定を行う、知識ベースの制御合成を採用する。
• プロセスの優先順位を定めるために部分順序 $≯$ を導入し、十分な共同知識が得られた場合に高優先度プロセスが低優先度プロセスに意思決定を委任できるようにする。
• 他のプロセスや監視者グループが移行をサポートするのに十分な知識を共有していることが分かっている場合、プロセスはブロッキングを避けてアイドル状態になる。
• $\kappa^{\Pi_{i}^{\succ\pi}}$ のようなネストされた知識式を用いて、高優先度プロセスの共同知識を意思決定に反映する。
• 制御戦略は4段階の順序付きステップで構成される：局所的知識の確認、他のプロセスへの委任、監視者グループの知識に依存、最後に他の選択肢が存在しない場合にのみ監視者に依存する。
• 順序付き戦略により、無限の委任が生じないため、新たなデッドロックが導入されない。

実験結果

リサーチクエスチョン

• RQ1 通信を最小限に抑えつつ正しさを保つことで、分散制御合成を実用化できるか？
• RQ2 局所的および共同知識をどのように活用することで、分散システムにおける中央集権的監視への依存を減らせるか？
• RQ3 意思決定の委任時にプロセスが無限待機状態に陥らないようにするメカニズムは何か？
• RQ4 中央集権的なコントローラーが存在する場合に常に解決策を発見できる完全な合成手法を設計できるか？
• RQ5 プロセス間の部分順序をどのように活用して制御意思決定の優先順位を設定し、監視者の相互作用を減らせるか？

主な発見

• 提案手法は完全な合成を達成する：与えられた不変条件に対して中央集権的コントローラーが存在する場合、分散型の解決策が見つかる。
• プロセス間の部分順序の使用により、委任が無限待機や無制限の通信に発展しないようにされ、デッドロックの発生が防止される。
• 高優先度プロセスや監視者グループが十分な共同知識を有していることが分かっている場合に、プロセスがアイドル状態になることで監視者の相互作用が削減される。
• 元のシステムのすべてのステッピング閉LTL性質が保持され、意味論的な正しさが保証される。
• 完全な同期を避ける一方で、必要なときに正しい共同意思決定が可能になるため、スケーラブルで実用的な手法である。
• 解決策は先行研究で実装・検証されており、実世界の分散制御シナリオにおける実現可能性が示されている。