| 講演名 | 2013-01-23 コンカレント同期合成でモデル化された離散事象システムの可観測性解析 王 龍江, 高井 重昌, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 本論文ではコンカレント同期合成でモデル化された離散事象システムのスーパバイザ制御について考察する.対象システムと制御仕様がともにコンカレント同期合成でモデル化される場合,与えられた制御仕様に対して,事象の部分観測のもとでスーパバイザが存在するための必要十分条件は,その制御仕様が可制御可観測となることである.そこで,すべてのサブシステムの制御仕様が可制御可観測となるとき全体システムの制御仕様が可観測となることを示す.さらに,全体システムの制御仕様が可観測のとき,すべてのサブシステムの制御仕様が可観測となる十分条件を示す. |
| 抄録(英) | In this paper, we study supervisory control of concurrent discrete event systems under the assumption that both the plant and the specification are modeled by concurrent synchronous products. Controllability and observability are necessary and sufficient conditions for the existence of a supervisor under partial event observation. We first show that if the specifications of all subsystems are controllable and observable, then the specification of the entire system is observable Further, we present sufficient conditions under which observability of the specification of the entire system implies that of the specifications of all subsystems. |
| キーワード(和) | 離散事象システム / スーパバイザ制御 / コンカレント同期合成 / 可観測性 |
| キーワード(英) | discrete event systems / supervisory control / concurrent synchronous products / observability |
| 資料番号 | MSS2012-52 |
| 発行日 |
| 研究会情報 | |
| 研究会 | MSS |
|---|---|
| 開催期間 | 2013/1/15(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Mathematical Systems Science and its applications(MSS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | コンカレント同期合成でモデル化された離散事象システムの可観測性解析 |
| サブタイトル（和） | |
| タイトル（英） | Observability Analysis of Discrete Event Systems Modeled by Concurrent Synchronous Products |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 離散事象システム / discrete event systems |
| キーワード(2)（和/英） | スーパバイザ制御 / supervisory control |
| キーワード(3)（和/英） | コンカレント同期合成 / concurrent synchronous products |
| キーワード(4)（和/英） | 可観測性 / observability |
| 第 1 著者 氏名（和/英） | 王 龍江 / Longiang WANG |
| 第 1 著者 所属（和/英） | 大阪大学大学院工学研究科 Graduate School of Engineering, Osaka University |
| 第 2 著者 氏名（和/英） | 高井 重昌 / Shigemasa TAKAI |
| 第 2 著者 所属（和/英） | 大阪大学大学院工学研究科 Graduate School of Engineering, Osaka University |
| 発表年月日 | 2013-01-23 |
| 資料番号 | MSS2012-52 |
| 巻番号（vol） | vol.112 |
| 号番号（no） | 383 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |