| Item type |
SIG Technical Reports(1) |
| 公開日 |
2017-11-09 |
| タイトル |
|
|
タイトル |
［招待講演］線形時相論理仕様に対するスーパバイザ制御 |
| タイトル |
|
|
言語 |
en |
|
タイトル |
Supervisory Control with Linear Temporal Logic Specifications |
| 言語 |
|
|
言語 |
jpn |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_18gh |
|
資源タイプ |
technical report |
| 著者所属 |
|
|
|
大阪大学大学院基礎工学研究科 |
| 著者所属 |
|
|
|
大阪大学大学院基礎工学研究科 |
| 著者所属(英) |
|
|
|
en |
|
|
Graduate School of Engineering Science, Osaka University |
| 著者所属(英) |
|
|
|
en |
|
|
Graduate School of Engineering Science, Osaka University |
| 著者名 |
榊原, 愛海
潮, 俊光
|
| 著者名(英) |
Ami, Sakakibara
Toshimitsu, Ushio
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
近年，線形時相論理仕様に対するシステム制御手法が注目を集めている．制御仕様を線形時相論理式で記述することで，形式言語を用いた場合に比べて望ましい振舞いの特徴を理解しやすくなる．本報告では，線形時相論理仕様を考慮したスーパバイザ制御の問題に対して，ゲーム理論的アプローチを用いて制御器設計を行う．さらに，コンカレント離散事象システムに対する階層制御へ拡張する． |
| 論文抄録(英) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
Recently, much attention has been paid to control problems with linear temporal logic specifications. Control specifications written by temporal logic formulas enable us to interpret a characteristics of desired behaior of the plant easier than language-based specifications. We study a supervisory control problem with a linear temporal logic specification, which is solved by game-theoretic approach. The proposed method is also applied to a hierarchical control framework. |
| 書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AN1009593X |
| 書誌情報 |
研究報告アルゴリズム（AL）
巻 2017-AL-165,
号 14,
p. 1-4,
発行日 2017-11-09
|
| ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
2188-8566 |
| Notice |
|
|
|
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. |
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-AL17165014.pdf (769.6 kB)
