| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2016-01-26 09:40 重み付きオートマトンに対する線形時相論理制約の下での最適制御 榊原愛海・Sasinee Pruekprasert・○潮 俊光（阪大）  MSS2015-54 SS2015-63 |
|
| 抄録 | （和） | 本報告では，遷移に重みが与えられた重み付きオートマトンを制御対象とする． 制御対象の事象には，可制御事象と不可制御事象の2種類があり，制御器は可制御事象の中から生起可能な事象を高々1つ選択する． 評価関数による定量的な評価に加え，線形時相論理を用いて定性的な制御仕様も与える． このとき，定性的な制御仕様を満たすと同時に最悪ケースの平均利得を最大化する制御器の設計問題を定式化する． 問題を平均利得ゲームにおける最適戦略の探索問題に帰着し，制御器を設計するアルゴリズムを提案する． |
| （英） | We consider a weighted automaton, where each edge has a weight that represents the cost of the transition. Its event set is partitioned into the sets of controllable and uncontrollable events. A controller selects at most one controllable event to be enabled. On the other hand, the qualitatively desired behavior of the automaton is given by linear temporal logic. In this paper, we formulate a design problem of an optimal controller that maximizes the worst-case value of the mean payoffs while making all controlled behaviors satisfy a given linear temporal logic control specification. We propose a design method using a two-player game automaton and provide algorithms derived by the concept of optimal strategies in the game. |
|
| キーワード | （和） | 重み付きオートマトン / 最適制御 / 線形時相論理 / ゲームオートマトン / / / / |
| （英） | weighted automata / optimal control / linear temporal logic / game automata / / / / | |
| 文献情報 | 信学技報, vol. 115, no. 419, MSS2015-54, pp. 109-112, 2016年1月. | |
| 資料番号 | MSS2015-54 | |
| 発行日 | 2016-01-18 (MSS, SS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | MSS2015-54 SS2015-63 |
|
| 研究会情報 | |
| 研究会 | SS MSS |
| 開催期間 | 2016-01-25 - 2016-01-26 |
| 開催地（和） | しいのき迎賓館 セミナールームB |
| 開催地（英） | Shiinoki-Geihin-Kan |
| テーマ（和） | 一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | MSS |
| 会議コード | 2016-01-SS-MSS |
| 本文の言語 | 日本語 |
| タイトル（和） | 重み付きオートマトンに対する線形時相論理制約の下での最適制御 |
| サブタイトル（和） | |
| タイトル（英） | Optimal Control of Weighted Automata with Linear Temporal Logic Constraints |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 重み付きオートマトン / weighted automata |
| キーワード(2)（和/英） | 最適制御 / optimal control |
| キーワード(3)（和/英） | 線形時相論理 / linear temporal logic |
| キーワード(4)（和/英） | ゲームオートマトン / game automata |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 榊原 愛海 / Ami Sakakibara / サカキバラ アミ |
| 第1著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka University (略称： Osaka Univ.) |
| 第2著者 氏名（和/英/ヨミ） | Sasinee Pruekprasert / Sasinee Pruekprasert / Sasinee Pruekprasert |
| 第2著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka University (略称： Osaka Univ.) |
| 第3著者 氏名（和/英/ヨミ） | 潮 俊光 / Toshimitsu Ushio / ウシオ トシミツ |
| 第3著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka University (略称： Osaka Univ.) |
| 講演者 | 第3著者 |
| 発表日時 | 2016-01-26 09:40:00 |
| 発表時間 | 25分 |
| 申込先研究会 | MSS |
| 資料番号 | MSS2015-54, SS2015-63 |
| 巻番号（vol） | vol.115 |
| 号番号（no） | no.419(MSS), no.420(SS) |
| ページ範囲 | pp.109-112 |
| ページ数 | 4 |
| 発行日 | 2016-01-18 (MSS, SS) |
[研究会発表申込システムのトップページに戻る]