| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2016-01-25 10:55 非決定離散事象システムの双模倣制御に関する一考察 ○串 直紀・高井重昌（阪大）  MSS2015-38 SS2015-47 |
|
| 抄録 | （和） | 非決定離散事象システムの双模倣制御に関する従来研究においては，スーパバイザはその状態集合の部分集合であるマーク状態集合をもつため，一般に制御対象の事象の生起を禁止するだけでなく，そのマーキングに影響を与える．そこで，本稿では，スーパバイザのマーク状態集合がその状態集合と等しいとし，そのようなスーパバイザによる双模倣制御問題について考察する．まず，スーパバイザが存在するための多項式オーダで検証可能な十分条件を導出する．そして，その十分条件によって存在性が特徴づけられるスーパバイザのサブクラスを明らかにする． |
| （英） | 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 / / / / | |
| 文献情報 | 信学技報, vol. 115, no. 419, MSS2015-38, pp. 19-22, 2016年1月. | |
| 資料番号 | MSS2015-38 | |
| 発行日 | 2016-01-18 (MSS, SS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | MSS2015-38 SS2015-47 |
|
| 研究会情報 | |
| 研究会 | SS MSS |
| 開催期間 | 2016-01-25 - 2016-01-26 |
| 開催地（和） | しいのき迎賓館 セミナールームB |
| 開催地（英） | Shiinoki-Geihin-Kan |
| テーマ（和） | 一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | MSS |
| 会議コード | 2016-01-SS-MSS |
| 本文の言語 | 日本語 |
| タイトル（和） | 非決定離散事象システムの双模倣制御に関する一考察 |
| サブタイトル（和） | |
| タイトル（英） | A Note on Bisimilarity Control of Nondeterministic Discrete Event Systems |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 離散事象システム / Discrete event systems |
| キーワード(2)（和/英） | スーパバイザ制御 / Supervisory control |
| キーワード(3)（和/英） | 非決定システム / Nondeterministic systems |
| キーワード(4)（和/英） | 双模倣制御 / Bisimilarity control |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 串 直紀 / Naoki Kushi / クシ ナオキ |
| 第1著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka University (略称： Osaka Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 高井 重昌 / Shigemasa Takai / タカイ シゲマサ |
| 第2著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka University (略称： Osaka Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2016-01-25 10:55:00 |
| 発表時間 | 25分 |
| 申込先研究会 | MSS |
| 資料番号 | MSS2015-38, SS2015-47 |
| 巻番号（vol） | vol.115 |
| 号番号（no） | no.419(MSS), no.420(SS) |
| ページ範囲 | pp.19-22 |
| ページ数 | 4 |
| 発行日 | 2016-01-18 (MSS, SS) |
[研究会発表申込システムのトップページに戻る]