| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2023-11-16 16:50 有限時間区間の時相論理仕様を有する空間的分布システムのモデル予測制御 ○小水一慶・小林孝一・山下 裕（北大）  CAS2023-71 MSS2023-41 |
|
| 抄録 | （和） | 本論文では，時相論理仕様に基づいた空間的分布システムのモデル予測制御を提案する．空間的分布システムでは，時間的パターンの制御が重要な問題になる．SSTL$_f$ 式と呼ばれる，有限トレース上の信号空間時相論理 (SSTL) 式によってパターンが指定される有限最適制御問題を考える．SSTL$_f$式の構文とブールセマンティクスを与え，問題を定式化し，モデル予測制御を用いて解くための評価関数を考える．また，定式化した問題を混合整数線形計画(MILP)問題に帰着できる． |
| （英） | 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. | |
| キーワード | （和） | 時相論理 / モデル予測制御 / 空間的分布システム / / / / / |
| （英） | temporal logic / model predictive control / spatially distributed systems / / / / / | |
| 文献情報 | 信学技報, vol. 123, no. 265, MSS2023-41, pp. 59-62, 2023年11月. | |
| 資料番号 | MSS2023-41 | |
| 発行日 | 2023-11-09 (CAS, MSS) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | CAS2023-71 MSS2023-41 |
|
| 研究会情報 | |
| 研究会 | MSS CAS IPSJ-AL |
| 開催期間 | 2023-11-16 - 2023-11-17 |
| 開催地（和） | 那覇市IT創造館 |
| 開催地（英） | |
| テーマ（和） | システムのモデリングと制御・検証・最適化の手法，機械学習的アプローチ及び一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | MSS |
| 会議コード | 2023-11-MSS-CAS-AL |
| 本文の言語 | 日本語 |
| タイトル（和） | 有限時間区間の時相論理仕様を有する空間的分布システムのモデル予測制御 |
| サブタイトル（和） | |
| タイトル（英） | Model Predictive Control of Spatially Distributed Systems with Temporal Logic Specifications in Finite Time |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 時相論理 / temporal logic |
| キーワード(2)（和/英） | モデル予測制御 / model predictive control |
| キーワード(3)（和/英） | 空間的分布システム / spatially distributed systems |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 小水 一慶 / Ikkei Komizu / コミズ イッケイ |
| 第1著者 所属（和/英） | 北海道大学 (略称： 北大) Hokkaido University (略称： Hokkaido Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 小林 孝一 / Koichi Kobayashi / コバヤシ コウイチ |
| 第2著者 所属（和/英） | 北海道大学 (略称： 北大) Hokkaido University (略称： Hokkaido Univ.) |
| 第3著者 氏名（和/英/ヨミ） | 山下 裕 / Yuh Yamashita / ヤマシタ ユウ |
| 第3著者 所属（和/英） | 北海道大学 (略称： 北大) Hokkaido University (略称： Hokkaido Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2023-11-16 16:50:00 |
| 発表時間 | 20分 |
| 申込先研究会 | MSS |
| 資料番号 | CAS2023-71, MSS2023-41 |
| 巻番号（vol） | vol.123 |
| 号番号（no） | no.264(CAS), no.265(MSS) |
| ページ範囲 | pp.59-62 |
| ページ数 | 4 |
| 発行日 | 2023-11-09 (CAS, MSS) |
[研究会発表申込システムのトップページに戻る]