| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2013-01-23 10:40 コンカレント同期合成でモデル化された離散事象システムの可観測性解析 ○王 龍江・高井重昌（阪大）  MSS2012-52 |
|
| 抄録 | （和） | 本論文ではコンカレント同期合成でモデル化された離散事象システムのスーパバイザ制御について考察する．対象システムと制御仕様がともにコンカレント同期合成でモデル化される場合，与えられた制御仕様に対して，事象の部分観測のもとでスーパバイザが存在するための必要十分条件は，その制御仕様が可制御可観測となることである．そこで，すべてのサブシステムの制御仕様が可制御可観測となるとき全体システムの制御仕様が可観測となることを示す．さらに，全体システムの制御仕様が可観測のとき，すべてのサブシステムの制御仕様が可観測となる十分条件を示す． |
| （英） | 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 / / / / | |
| 文献情報 | 信学技報, vol. 112, no. 383, MSS2012-52, pp. 39-44, 2013年1月. | |
| 資料番号 | MSS2012-52 | |
| 発行日 | 2013-01-15 (MSS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | MSS2012-52 |
|
| 研究会情報 | |
| 研究会 | MSS |
| 開催期間 | 2013-01-22 - 2013-01-23 |
| 開催地（和） | 大阪国際会議場 |
| 開催地（英） | Osaka Int. Convention Center |
| テーマ（和） | 一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | MSS |
| 会議コード | 2013-01-MSS |
| 本文の言語 | 日本語 |
| タイトル（和） | コンカレント同期合成でモデル化された離散事象システムの可観測性解析 |
| サブタイトル（和） | |
| タイトル（英） | Observability Analysis of Discrete Event Systems Modeled by Concurrent Synchronous Products |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 離散事象システム / discrete event systems |
| キーワード(2)（和/英） | スーパバイザ制御 / supervisory control |
| キーワード(3)（和/英） | コンカレント同期合成 / concurrent synchronous products |
| キーワード(4)（和/英） | 可観測性 / observability |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 王 龍江 / Longjiang Wang / ワン ロンジャン |
| 第1著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka University (略称： Osaka Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 高井 重昌 / Shigemasa Takai / |
| 第2著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka University (略称： Osaka Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2013-01-23 10:40:00 |
| 発表時間 | 25分 |
| 申込先研究会 | MSS |
| 資料番号 | MSS2012-52 |
| 巻番号（vol） | vol.112 |
| 号番号（no） | no.383 |
| ページ範囲 | pp.39-44 |
| ページ数 | 6 |
| 発行日 | 2013-01-15 (MSS) |
[研究会発表申込システムのトップページに戻る]