ネットモデルに基づくシーケンス制御系の設計法に関する研究

1996 Fiscal Year Annual Research Report

• Project/Area Number: 07650485
• Research Institution: Nagoya University
• Principal Investigator: 小野木 克明 名古屋大学, 工学部, 教授 (80115542)
• Keywords: シーケンス制御 / 離散事象システム / ペトリネット / 条件 / 事象ネット / システム設計 / 半言語

Research Abstract

シーケンス制御系の合理的な一つの設計法として,システムの動作を正しく表すモデルとそのモデルの挙動を正しく記述できる動作表現法を考え,その表現法によって記述された目標動作を実現するような制御系モデルを構成し,それに基づいて制御系を設計する方法が考えられる.このような考えから本研究においては,シーケンス制御系を離散事象システムとしてとらえ,そのモデルにC/Eネットを用い,そのもとで一つのシーケンス制御系の設計法を提案した.この設計法の特徴として,次のことが挙げられる.
(1)制御対象とコントローラの両者を同じモデルで記述することによって,制御系全体の解析,設計を一貫した形で進めることができる.
(2)シーケンス制御系の動作の特徴をそのままの形で保存できる半言語を仕様記述に使うことによって,目標動作を正しく記述することができる.
(3)複雑なシーケンス制御系の設計にあたっては,目標動作を階層的に詳細化しながら記述することによって,制御系の階層設計が可能となる.
本研究においては,制御対象で発生する事象はすべて可制御な事象であるとの仮定のもとで設計法の開発を行った.しかし,現実の制御対象においては,処理の終了,故障発生,システムダウンなどのように制御不可能な事象や,場合によっては観測不可能な事象が存在することもある.このような事象が存在するときの制御法の開発は今後の課題である.

Research Products

• [Publications] 橋爪進: "条件/事象ネットモデルを用いた離散事象の制御" 化学工学論文集. 22・5. 1070-1078 (1996)
• [Publications] 松谷豊: "補助事象なし条件/事象ネット構成問題の解集合を求める一方法" 計測自動制御学会論文集. 32・10. 1454-1460 (1996)
• [Publications] 橋爪進: "与えられた半言語に適合するアトム全体の集合を求めるアルゴリズム" 計測自動制御学会論文集. 32・11. 1560-1565 (1996)
• [Publications] S.Hashizume: "Construction of Petri Nets from a given Partial Language" IEICE Trans.Fundamentals. E-79-A.12. 2192-2195 (1996)