講演名 | 2002/7/30 ORルールとANDルールを用いた分散スーパバイザ制御系の生成言語 池内 直哉, 大家 浩一, 高井 重昌, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 可制御事象の禁止に関する各ローカルスーパバイザの判断が,ORルールもしくはANDルールで統合されるような,離散事象システムの分散スーパバイザ制御について考察する.そして,制御仕様は空でない閉じた可制御言語で記述されると仮定する.YooとLafortuneは,その制御動作のもとでの生成言語が制御仕様である可制御言語の部分言語となるような,分散スーパバイザを構成している.しかし,その生成言語自体は陽には与えられていない.そこで本稿では,生成言語を制御仕様に関して陽に表現する.この表現により,仕様言語に含まれているが,分散スーパバイザによって禁止されてしまう事象列の集合が計算できる. |
抄録(英) | We study decentralized supervisory control of discrete event systems where local disabling actions are fused by the OR or AND rules. We assume that a control specification is described by a closed controllable language. Yoo and Lafortune have synthesized a safe decentralized supervisor that achieves a sublanguage of this controllable specification language. In this paper, we present a closed form expression of the generated language under the control action of the decentralized supervisor. By using this closed form expression, we can compute a set of legal event sequences that are disabled by the decentralized supervisor. |
キーワード(和) | 離散事象システム / スーパバイザ制御 / 分散スーパバイザ / ORルール / ANDルール |
キーワード(英) | discrete event system / supervisory control / decentralized supervisor / OR rule / AND rule |
資料番号 | CST2002-13 |
発行日 |
研究会情報 | |
研究会 | CST |
---|---|
開催期間 | 2002/7/30(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Concurrent System Technology (CST) |
---|---|
本文の言語 | JPN |
タイトル(和) | ORルールとANDルールを用いた分散スーパバイザ制御系の生成言語 |
サブタイトル(和) | |
タイトル(英) | The Generated Language under Decentralized Supervision with the OR and And Rules |
サブタイトル(和) | |
キーワード(1)(和/英) | 離散事象システム / discrete event system |
キーワード(2)(和/英) | スーパバイザ制御 / supervisory control |
キーワード(3)(和/英) | 分散スーパバイザ / decentralized supervisor |
キーワード(4)(和/英) | ORルール / OR rule |
キーワード(5)(和/英) | ANDルール / AND rule |
第 1 著者 氏名(和/英) | 池内 直哉 / Naoya IKEUCHI |
第 1 著者 所属(和/英) | 和歌山大学システム工学部 Faculty of Systems Engineering, Wakayama University |
第 2 著者 氏名(和/英) | 大家 浩一 / Koichi OYA |
第 2 著者 所属(和/英) | 和歌山大学システム工学部 Faculty of Systems Engineering, Wakayama University |
第 3 著者 氏名(和/英) | 高井 重昌 / Shigemasa TAKAI |
第 3 著者 所属(和/英) | 和歌山大学システム工学部 Faculty of Systems Engineering, Wakayama University |
発表年月日 | 2002/7/30 |
資料番号 | CST2002-13 |
巻番号(vol) | vol.102 |
号番号(no) | 259 |
ページ範囲 | pp.- |
ページ数 | 4 |
発行日 |