| 講演名 | 2018-06-15 決定性の仕様をもつ部分観測非決定離散事象システムの双模倣制御 中郷 勇輝(阪大), 高井 重昌(阪大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 事象の完全観測のもとでは，決定性の制御仕様をもつ非決定離散事象システムに対して，双模倣制御問題の解となるスーパバイザが存在するための必要十分条件が従来研究において示されている．しかし，すべての事象が観測できるとは限らない．そこで，本研究では，事象の部分観測のもとで，すべての可制御事象は可観測であると仮定し，双模倣制御問題の解となるスーパバイザが存在するための必要十分条件を導出する． |
| 抄録(英) | For nondeterministic discrete event systems with deterministic control specifications, necessary and sufficient conditions for the existence of a supervisorthat solves the bisimilarity control problem under full event observationhave been presented in the literature. However, all events are not necessarily observable. In this paper, we derive necessary and sufficient conditions for the existence of a solution to the bisimilarity control problem under partial event observation, provided that all controllable events are observable. |
| キーワード(和) | 非決定離散事象システム / 双模倣制御 / スーパバイザ / 部分観測 |
| キーワード(英) | nondeterministic discrete event system / bisimilarity control / supervisor / partial observation |
| 資料番号 | CAS2018-21,VLD2018-24,SIP2018-41,MSS2018-21 |
| 発行日 | 2018-06-07 (CAS, VLD, SIP, MSS) |
| 研究会情報 | |
| 研究会 | CAS / SIP / MSS / VLD |
|---|---|
| 開催期間 | 2018/6/14(から2日開催) |
| 開催地（和） | 北海道大学フロンティア応用科学研究棟 |
| 開催地（英） | Hokkaido Univ. (Frontier Research in Applied Sciences Build.) |
| テーマ（和） | システムと信号処理および一般 |
| テーマ（英） | System and Signal Processing, etc |
| 委員長氏名（和） | 岡崎 秀晃(湘南工科大) / 村松 正吾(新潟大) / 名嘉村 盛和(琉球大) / 峯岸 孝行(三菱電機) |
| 委員長氏名（英） | Hideaki Okazaki(Shonan Inst. of Tech.) / Shogo Muramatsu(Niigata Univ.) / Morikazu Nakamura(Univ. of Ryukyus) / Noriyuki Minegishi(Mitsubishi Electric) |
| 副委員長氏名（和） | 山脇 大造(日立) / 相川 直幸(東京理科大) / 林 和則(阪市大) / 髙井 重昌(阪大) / 戸川 望(早大) |
| 副委員長氏名（英） | Taizo Yamawaki(Hitachi) / Naoyuki Aikawa(TUS) / Kazunori Hayashi(Osaka City Univ) / Shigemasa Takai(Osaka Univ.) / Nozomu Togawa(Waseda Univ.) |
| 幹事氏名（和） | 橘 俊宏(湘南工科大) / 中村 洋平(日立) / 渡邊 修(拓殖大) / 中本 昌由(広島大学) / 豊嶋 伊知郎(東芝エネルギーシステムズ) / 金澤 尚史(阪大) / 新田 高庸(NTT) / 小平 行秀(会津大) |
| 幹事氏名（英） | Toshihiro Tachibana(Shonan Inst. of Tech.) / Yohei Nakamura(Hitachi) / Osamu Watanabe(Takushoku Univ.) / Masayoshi Nakamoto(Hiroshima Univ.) / Ichiro Toyoshima(Toshiba) / Takahumi Kanazawa(Osaka Univ.) / Koyo Nitta(NTT) / Yukihide Odaira(Aizu Univ.) |
| 幹事補佐氏名（和） | 山口 基(ルネサスエレクトロニクス) / / 金城 秀樹(沖縄大) |
| 幹事補佐氏名（英） | Motoi Yamaguchi(Renesas Electronics) / / Hideki Kinjo(Okinawa Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Circuits and Systems / Technical Committee on Signal Processing / Technical Committee on Mathematical Systems Science and its applications / Technical Committee on VLSI Design Technologies |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 決定性の仕様をもつ部分観測非決定離散事象システムの双模倣制御 |
| サブタイトル（和） | |
| タイトル（英） | Bisimilarity Control of Partially Observed Nondeterministic Discrete Event Systems with Deterministic Specifications |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 非決定離散事象システム / nondeterministic discrete event system |
| キーワード(2)（和/英） | 双模倣制御 / bisimilarity control |
| キーワード(3)（和/英） | スーパバイザ / supervisor |
| キーワード(4)（和/英） | 部分観測 / partial observation |
| 第 1 著者 氏名（和/英） | 中郷 勇輝 / Yuki Nakago |
| 第 1 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 第 2 著者 氏名（和/英） | 高井 重昌 / Shigemasa Takai |
| 第 2 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 発表年月日 | 2018-06-15 |
| 資料番号 | CAS2018-21,VLD2018-24,SIP2018-41,MSS2018-21 |
| 巻番号（vol） | vol.118 |
| 号番号（no） | CAS-82,VLD-83,SIP-84,MSS-85 |
| ページ範囲 | pp.111-114(CAS), pp.111-114(VLD), pp.111-114(SIP), pp.111-114(MSS), |
| ページ数 | 4 |
| 発行日 | 2018-06-07 (CAS, VLD, SIP, MSS) |