時相論理仕様に基づく空間的分布システムのモデル予測制御

カテゴリ: 部門大会

論文No: OS1-1-6

グループ名: 【C】2023年電気学会電子・情報・システム部門大会

発行日: 2023/08/23

タイトル(英語): Model Predictive Control of Spatially Distributed Systems Based on Temporal Logic Specifications

著者名: 小水 一慶（北海道大学）,小林 孝一（北海道大学）,山下 裕（北海道大学）

著者名(英語): Ikkei Komizu (Hokkaido University),Koichi Kobayashi (Hokkaido University),Yuh Yamashita (Hokkaido University)

キーワード: 時相論理|モデル予測制御|空間的分布システム空間的分布システム|Temporal Logic|Model Predictive Control|Spatially Distributed Systems

要約(日本語): 本研究では，SSTL_f で制御仕様が記述された空間的分布システムのモデル予測制御の手法を提案する．SSTL_f とは，有限時間区間において時相論理に空間演算子を加えたものである．まず，空間的分布システムのモデルについて説明する．次に，SSTL_f の構文とセマンティクスを説明する．その上で，SSTL_f の仕様をもつ有限時間最適制御問題を定式化する．また，本研究では，一つの制御器による集中的な制御を想定している．空間的分布システムは一般に大規模であり，多数の制御入力をもっている．制御器とアクチュエータ間の通信コストを考慮して，制御入力をできるだけ変更しない評価関数を考える．また，定式化した問題を混合整数線形計画問題に帰着させる．最後に，部屋の温度のシミュレーションの例を示し，本研究の提案の有用性を示す．