| 講演名 | 2016-01-25 非決定離散事象システムの双模倣制御に関する一考察 串 直紀(阪大), 高井 重昌(阪大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 非決定離散事象システムの双模倣制御に関する従来研究においては，スーパバイザはその状態集合の部分集合であるマーク状態集合をもつため，一般に制御対象の事象の生起を禁止するだけでなく，そのマーキングに影響を与える．そこで，本稿では，スーパバイザのマーク状態集合がその状態集合と等しいとし，そのようなスーパバイザによる双模倣制御問題について考察する．まず，スーパバイザが存在するための多項式オーダで検証可能な十分条件を導出する．そして，その十分条件によって存在性が特徴づけられるスーパバイザのサブクラスを明らかにする． |
| 抄録(英) | In the previous work of bisimilarity control of nondeterministic discrete event systems, a supervisor has the set of marked states that is a subset of its set of states, so a supervisor not only disables the occurrence of an event in the plant but also influences the marking of the supervised plant in general. In this paper, we consider the bisimilarity control problem where the set of marked states of a supervisor is the same as the set of states. First, we derive sufficient conditions for the existence of such a supervisor and show that the conditions are verified in polinomial time. Then, we identify the subclass of supervisors whose existence is characterized by the sufficient conditions. |
| キーワード(和) | 離散事象システム / スーパバイザ制御 / 非決定システム / 双模倣制御 |
| キーワード(英) | Discrete event systems / Supervisory control / Nondeterministic systems / Bisimilarity control |
| 資料番号 | MSS2015-38,SS2015-47 |
| 発行日 | 2016-01-18 (MSS, SS) |
| 研究会情報 | |
| 研究会 | SS / MSS |
|---|---|
| 開催期間 | 2016/1/25(から2日開催) |
| 開催地（和） | しいのき迎賓館 セミナールームB |
| 開催地（英） | Shiinoki-Geihin-Kan |
| テーマ（和） | 一般 |
| テーマ（英） | |
| 委員長氏名（和） | 結縁 祥治(名大) / 山根 智(金沢大) |
| 委員長氏名（英） | Shoji Yuen(Nagoya Univ.) / Satoshi Yamane(Kanazawa Univ.) |
| 副委員長氏名（和） | 緒方 和博(北陸先端大) / 名嘉村 盛和(琉球大) |
| 副委員長氏名（英） | Kazuhiro Ogata(JAIST) / Morikazu Nakamura(Univ. of Ryukyus) |
| 幹事氏名（和） | 小林 隆志(東工大) / 鷲崎 弘宜(早大) / 中田 充(山口大) / 豊嶋 伊知郎(東芝) |
| 幹事氏名（英） | Takashi Kobayashi(Tokyo Inst. of Tech.) / Hironobu Washizaki(Waseda Univ.) / Mitsuru Nakata(Yamaguchi Univ.) / Ichiro Toyoshima(Toshiba) |
| 幹事補佐氏名（和） | 肥後 芳樹(阪大) / 金城 秀樹(沖縄大) |
| 幹事補佐氏名（英） | Yoshiki Higo(Osaka Univ.) / Hideki Kinjo(Okinawa Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Software Science / Technical Committee on Mathematical Systems Science and its applications |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 非決定離散事象システムの双模倣制御に関する一考察 |
| サブタイトル（和） | |
| タイトル（英） | A Note on Bisimilarity Control of Nondeterministic Discrete Event Systems |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 離散事象システム / Discrete event systems |
| キーワード(2)（和/英） | スーパバイザ制御 / Supervisory control |
| キーワード(3)（和/英） | 非決定システム / Nondeterministic systems |
| キーワード(4)（和/英） | 双模倣制御 / Bisimilarity control |
| 第 1 著者 氏名（和/英） | 串 直紀 / Naoki Kushi |
| 第 1 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 第 2 著者 氏名（和/英） | 高井 重昌 / Shigemasa Takai |
| 第 2 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 発表年月日 | 2016-01-25 |
| 資料番号 | MSS2015-38,SS2015-47 |
| 巻番号（vol） | vol.115 |
| 号番号（no） | MSS-419,SS-420 |
| ページ範囲 | pp.19-22(MSS), pp.19-22(SS), |
| ページ数 | 4 |
| 発行日 | 2016-01-18 (MSS, SS) |