| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2023-11-16 11:15 ［招待講演］二階層線形時相論理制約の下でのヘテロジニアスなマルチロボットシステムの最適荷物搬送問題 永江孝太郎（阪大）・○潮 俊光（南山大）  CAS2023-60 MSS2023-30 |
|
| 抄録 | （和） | 異なる特性を持つロボット群からなるシステムに対する荷物搬送問題を考える．その特性に基づいてロボットをグループに分割する．荷物搬送サービスを記述するための簡潔な表現を導入する．この表現をworkとよぶ．二階層論理であるcounting線形時相論理(cLTL)にworkを加えたcLTLwという論理を提案する．この論理によって荷物搬送サービス問題を定式化する．cLTLw論理式を満たす各ロボットの経路を整数線形計画問題に変換する． |
| （英） | We address an optimal package delivery problem for heterogeneous multi-robot system that consists of robots with different characteristics. The robots are partitioned into several groups based on their characteristics. We introduce a concise description of such tasks, called a textit{work}, and propose a novel logic called counting linear temporal logic with works(cLTLw) to represent such specifications and formulate the optimal package delivery problem using cLTLw formulas. We convert the problem into an integer linear programming problem. | |
| キーワード | （和） | マルチロボットシステム / 荷物搬送問題 / 線形時相論理 / 整数線形計画問題 / / / / |
| （英） | multi-robot systems / package delivery problem / linear temporal logic / integer linear programming problem / / / / | |
| 文献情報 | 信学技報, vol. 123, no. 265, MSS2023-30, pp. 1-6, 2023年11月. | |
| 資料番号 | MSS2023-30 | |
| 発行日 | 2023-11-09 (CAS, MSS) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | CAS2023-60 MSS2023-30 |
|
| 研究会情報 | |
| 研究会 | MSS CAS IPSJ-AL |
| 開催期間 | 2023-11-16 - 2023-11-17 |
| 開催地（和） | 那覇市IT創造館 |
| 開催地（英） | |
| テーマ（和） | システムのモデリングと制御・検証・最適化の手法，機械学習的アプローチ及び一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | MSS |
| 会議コード | 2023-11-MSS-CAS-AL |
| 本文の言語 | 日本語 |
| タイトル（和） | 二階層線形時相論理制約の下でのヘテロジニアスなマルチロボットシステムの最適荷物搬送問題 |
| サブタイトル（和） | |
| タイトル（英） | Optimal Package Delivery Problem of Heterogeneous Multi-Robot Systems under Two-layered Linear Temporal Logic Constraints |
| サブタイトル（英） | |
| キーワード(1)（和/英） | マルチロボットシステム / multi-robot systems |
| キーワード(2)（和/英） | 荷物搬送問題 / package delivery problem |
| キーワード(3)（和/英） | 線形時相論理 / linear temporal logic |
| キーワード(4)（和/英） | 整数線形計画問題 / integer linear programming problem |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 永江 孝太郎 / Kotaro Nagae / ナガエ コウタロウ |
| 第1著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka University (略称： Osaka Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 潮 俊光 / Toshimitsu Ushio / ウシオ トシミツ |
| 第2著者 所属（和/英） | 南山大学 (略称： 南山大) Nanzan University (略称： Nanzan Univ.) |
| 講演者 | 第2著者 |
| 発表日時 | 2023-11-16 11:15:00 |
| 発表時間 | 45分 |
| 申込先研究会 | MSS |
| 資料番号 | CAS2023-60, MSS2023-30 |
| 巻番号（vol） | vol.123 |
| 号番号（no） | no.264(CAS), no.265(MSS) |
| ページ範囲 | pp.1-6 |
| ページ数 | 6 |
| 発行日 | 2023-11-09 (CAS, MSS) |
[研究会発表申込システムのトップページに戻る]