Item type |
SIG Technical Reports(1) |
公開日 |
2023-11-09 |
タイトル |
|
|
タイトル |
有限時間区間の時相論理仕様を有する空間的分布システムのモデル予測制御 |
タイトル |
|
|
言語 |
en |
|
タイトル |
Model Predictive Control of Spatially Distributed Systems with Temporal Logic Specifications in Finite Time |
言語 |
|
|
言語 |
jpn |
資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_18gh |
|
資源タイプ |
technical report |
著者所属 |
|
|
|
北海道大学 |
著者所属 |
|
|
|
北海道大学 |
著者所属 |
|
|
|
北海道大学 |
著者所属(英) |
|
|
|
en |
|
|
Hokkaido University |
著者所属(英) |
|
|
|
en |
|
|
Hokkaido University |
著者所属(英) |
|
|
|
en |
|
|
Hokkaido University |
著者名 |
小水, 一慶
小林, 孝一
山下, 裕
|
著者名(英) |
Ikkei, Komizu
Koichi, Kobayashi
Yuh, Yamashita
|
論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
本論文では,時相論理仕様に基づいた空間的分布システムのモデル予測制御を提案する.空間的分布システムでは,時間的パターンの制御が重要な問題になる.SSTL f 式と呼ばれる,有限トレース上の信号空間時相論理 (SSTL) 式によってパターンが指定される有限最適制御問題を考える.SSTL f 式の構文とブールセマンティクスを与え,問題を定式化し,モデル予測制御を用いて解くための評価関数を考える.また,定式化した問題を混合整数線形計画 (MILP) 問題に帰着できる. |
論文抄録(英) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
In this paper, we propose a model predictive control of spatially distributed systems based on temporal logic specifications. In spatially distributed systems, control of temporal patterns is an important issue. We consider a finite horizon optimal control problem whose pattern is specified by a signal spatio temporal logic (SSTL) formula over finite traces, which is called an SSTL f formula. We give the syntax and Boolean semantics of the SSTL f expression, formulate the problem, and consider an evaluation function to solve it using model predictive control. The formulated problem can be converted into a mixed integer linear programming problem. |
書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AN1009593X |
書誌情報 |
研究報告アルゴリズム(AL)
巻 2023-AL-195,
号 17,
p. 1-4,
発行日 2023-11-09
|
ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
2188-8566 |
Notice |
|
|
|
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. |
出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |