Core Concepts
本論文では、連続時間および離散時間の均質多主体システムのクラスを特定し、拡張可能な非協調的(つまり完全分散型)線形プロトコル設計を開発しています。エージェントモデルに対する条件を特定し、スケーラブルな線形プロトコルを設計できるようにしています。
Abstract
本論文では、連続時間および離散時間の均質多主体システムのクラスを特定し、拡張可能な非協調的線形プロトコル設計を開発しています。
まず、連続時間の場合について以下の手順で設計を行っています:
プリコンペンセータを設計して、エージェントモデルを左可逆にする。
左可逆なエージェントに対して、非協調的な動的プロトコルを設計して状態同期を達成する。
次に、離散時間の場合について以下のプロトコル設計を行っています:
中立安定なエージェントに対して、安定なオブザーバを用いたCSSアーキテクチャのプロトコルを設計する。
これらの設計により、任意の固定通信グラフおよび任意の主体数に対して、状態同期を達成できることを示しています。