ロジックコントローラによって制御されるシステムのシーケンス生成と故障検出に関する一考察

摘要

本研究では，プログラマブルロジックコントローラ(PLC) としてラダー図によって制御されるシーケンス制御系を例にとり，システムのモデル化が完全ではないということを，等価的に非決定性を有するシステムであるとみなし，状態遷移を集合値関数としてモデル化する．次に，ラダー図と制御対象のモデルとの閉ループ系を構成し，状態空間を与えるアルゴリズムを提案する．最後に，提案手法を具体例に適用し，得られた状態空間に存在しない状態が観測されたとき故障検出に適用できることを示す．