再配置可能離散事象システムのモデルと制御

抄録

状況に応じてシステムの構造が変化するシステムは再配置可能なシステムと呼ばれる．2階層オートマトンを用いた再配置可能離散事象システムをモデルを提案する．上位層では，システムの構造の変化をモデル化し，下位層で，システムの振る舞いを表現する．このシステムに対して，最大許容フィードバックが存在することを証明し，その導出アルゴリズムを提案する．