| 講演抄録／キーワード |
| 講演名 |
2005-07-01 11:15
p-インバリアントを利用した離散事象システムの異常診断
○三橋慎介・伊藤貴史・橋爪 進・矢嶌智之・小野木克明（名大） |
| 抄録 |
（和） |
本報では，バッチ制御システムを離散事象システムとしてとらえてペトリネットでモデル化し，不可観測な状態変数を含むバッチ制御システムのペトリネットモデルに基づく一つの異常検出手法を提案する．本手法は，ペトリネットモデルのp-インバリアントによりシステムが満たすべき動作制約を求め，動作制約が成立するかどうかをモニタリングすることにより，異常を検出するものである．また，成立および非成立の動作制約から，異常原因と考えられる状態変数を絞り込む方法についても検討する．さらに，システムの安全な操作を保証するためのインターロックの一つの構成法を示す． |
| （英） |
This paper presents a fault detection technique for batch control systems with unobservable process variables based on discrete event systems approach. According to the technique, first a batch control system is modeled using a Petri net, next operational constraints are generated on the basis of place-invariants of the net, and then faults is detected by verifying if the operational constraints hold or not with process variable monitoring. It also presents a method of finding places corresponding to causes of fault, and discusses the synthesis of safety interlock controllers. |
| キーワード |
（和） |
異常診断 / 離散事象システム / p-インバリアント / / / / / |
| （英） |
Fault Diagnosis / Discrete Event System / Place-Invariant / / / / / |
| 文献情報 |
信学技報, vol. 105, 2005年6月. |
| 資料番号 |
|
| 発行日 |
2005-06-24 (CST) |
| ISSN |
Print edition: ISSN 0913-5685 |
| PDFダウンロード |
|