ログイン 新規登録
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 研究報告
  2. アルゴリズム(AL)
  3. 2023
  4. 2023-AL-195

有限時間区間の時相論理仕様を有する空間的分布システムのモデル予測制御

https://ipsj.ixsq.nii.ac.jp/records/228937
https://ipsj.ixsq.nii.ac.jp/records/228937
44b6b73d-b562-4c40-a3d4-f4b1e1cd0c3e
名前 / ファイル ライセンス アクション
IPSJ-AL23195017.pdf IPSJ-AL23195017.pdf (869.8 kB)
Copyright (c) 2023 by the Institute of Electronics, Information and Communication Engineers This SIG report is only available to those in membership of the SIG.
AL:会員:¥0, DLIB:会員:¥0
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
著者名 小水, 一慶

× 小水, 一慶

小水, 一慶

Search repository
小林, 孝一

× 小林, 孝一

小林, 孝一

Search repository
山下, 裕

× 山下, 裕

山下, 裕

Search repository
著者名(英) Ikkei, Komizu

× Ikkei, Komizu

en Ikkei, Komizu

Search repository
Koichi, Kobayashi

× Koichi, Kobayashi

en Koichi, Kobayashi

Search repository
Yuh, Yamashita

× Yuh, Yamashita

en Yuh, Yamashita

Search repository
論文抄録
内容記述タイプ 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
出版者 情報処理学会
戻る
0
views
See details
Views

Versions

Ver.1 2025-01-19 11:39:56.754633
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3