講演名 | 2012-03-08 事象と状態の観測に基づく非決定離散事象システムの双模倣制御 木村 克行, 野村 雅司, 高井 重昌, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 本稿では,非決定オートマトンでモデル化された制御対象と制御仕様に対して,スーパバイザ制御されたシステムと制御仕様が双模倣となるような非決定スーパバイザを構成する問題について考察する.スーパバイザは生起した事象だけでなく,現在の状態も観測可能であると仮定し,スーパバイザによって許可された事象による非決定なすべての状態遷移が制御されたシステムで生起可能であることを保証する完全性の概念を導入する.そして,完全なスーパバイザが存在するための必要十分条件を導出する. |
抄録(英) | In this paper, we study a supervisory control problem for plants and specifications modeled by nondeterministic automata. This problem requires to synthesize a nondeterministic supervisor such that the supervised plant is bisimilar to a given specification. We assume that a supervisor can observe not only the event occurrence but also the current state of the plant, and introduce a notion of completeness of a supervisor which guarantees that all nondeterministic transitions caused by events enabled by the supervisor are defined in the supervised plant. We derive necessary and sufficient conditions for the existence of a complete supervisor for a given specification. |
キーワード(和) | 離散事象システム / スーパバイザ制御 / 非決定システム / 双模倣制御 |
キーワード(英) | discrete event system / supervisory control / nondeterministic system / bisimilarity control |
資料番号 | MSS2011-73 |
発行日 |
研究会情報 | |
研究会 | MSS |
---|---|
開催期間 | 2012/3/1(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Mathematical Systems Science and its applications(MSS) |
---|---|
本文の言語 | JPN |
タイトル(和) | 事象と状態の観測に基づく非決定離散事象システムの双模倣制御 |
サブタイトル(和) | |
タイトル(英) | Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations |
サブタイトル(和) | |
キーワード(1)(和/英) | 離散事象システム / discrete event system |
キーワード(2)(和/英) | スーパバイザ制御 / supervisory control |
キーワード(3)(和/英) | 非決定システム / nondeterministic system |
キーワード(4)(和/英) | 双模倣制御 / bisimilarity control |
第 1 著者 氏名(和/英) | 木村 克行 / Katsuyuki KIMURA |
第 1 著者 所属(和/英) | 大阪大学工学部 School of Engineering, Osaka University |
第 2 著者 氏名(和/英) | 野村 雅司 / Masashi NOMURA |
第 2 著者 所属(和/英) | 大阪大学大学院工学研究科 Graduate School of Engineering, Osaka University |
第 3 著者 氏名(和/英) | 高井 重昌 / Shigemasa TAKAI |
第 3 著者 所属(和/英) | 大阪大学大学院工学研究科 Graduate School of Engineering, Osaka University |
発表年月日 | 2012-03-08 |
資料番号 | MSS2011-73 |
巻番号(vol) | vol.111 |
号番号(no) | 453 |
ページ範囲 | pp.- |
ページ数 | 6 |
発行日 |