| 講演名 | 2012-07-03 時間付き離散事象システムにおける分散スーパバイザ構成のための部分言語の計算方法(システムと信号処理及び一般) 野村 雅司, 高井 重昌, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 本稿では,時間付き離散事象システムにおける分散スーパバイザ制御について考察する.ここで,可制御事象の許可に関するローカルスーパバイザの判断の統合のためにはORルールを,強制可能事象の強制に関するローカルスーパバイザの判断の統合のためにはANDルールを適用する.これらのルールの下で,与えられた制御仕様を満足させる分散スーパバイザが存在するための必要十分条件は従来研究の結果から容易に得ることができる.与えられた制御仕様を表す言語がこの存在条件を満たさない場合,存在条件を満足するようなその部分言語を計算する必要がある.そこで,本稿では,ある仮定の下でそのような部分言語を計算する方法を提案する. |
| 抄録(英) | In this paper, we study decentralized supervisory control of timed discrete event systems, where we adopt the OR rule for fusing local enablement decisions and the AND rule for fusing local enforcement decisions. Under these rules, necessary and sufficient conditions for the existence of a decentralized supervisor that achieves a given specification language are easily obtained from the existing result. If a given specification language does not satisfy these existence conditions, we must compute its sublanguage satisfying them. The main contribution of this paper is proposing a method for computing such a sublanguage under a certain assumption. |
| キーワード(和) | 時間付き離散事象システム / スーパバイザ制御 / 分散制御 / 強制可能事象 |
| キーワード(英) | timed discrete event system / supervisory control / decentralized control / forcible event |
| 資料番号 | CAS2012-28,VLD2012-38,SIP2012-60,MSS2012-28 |
| 発行日 |
| 研究会情報 | |
| 研究会 | MSS |
|---|---|
| 開催期間 | 2012/6/25(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Mathematical Systems Science and its applications(MSS) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | 時間付き離散事象システムにおける分散スーパバイザ構成のための部分言語の計算方法(システムと信号処理及び一般) |
| サブタイトル（和） | |
| タイトル（英） | Computation of Sublanguages for Synthesizing Decentralized Supervisors for Timed Discrete Event Systems |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 時間付き離散事象システム / timed discrete event system |
| キーワード(2)（和/英） | スーパバイザ制御 / supervisory control |
| キーワード(3)（和/英） | 分散制御 / decentralized control |
| キーワード(4)（和/英） | 強制可能事象 / forcible event |
| 第 1 著者 氏名（和/英） | 野村 雅司 / Masashi NOMURA |
| 第 1 著者 所属（和/英） | 大阪大学大学院工学研究科 Graduate School of Engineering, Osaka University |
| 第 2 著者 氏名（和/英） | 高井 重昌 / Shigemasa TAKAI |
| 第 2 著者 所属（和/英） | 大阪大学大学院工学研究科 Graduate School of Engineering, Osaka University |
| 発表年月日 | 2012-07-03 |
| 資料番号 | CAS2012-28,VLD2012-38,SIP2012-60,MSS2012-28 |
| 巻番号（vol） | vol.112 |
| 号番号（no） | 116 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |