| 講演名 | 2004/6/3 シーケンス制御システムのマルチエージェントネットモデル導出手法 坂本 雅樹, 宮本 俊幸, 熊谷 貞俊, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 大規模システムの制御においては,人間にとって直観的に分かり易い簡単な制御ルールの組み合わせがしばしば用いられる.制御ルールベースの大規模化に伴い,ルール間の整合性や,その制御の下での物理システムの挙動が問題となり,その検査手法が望まれている.本論文では,制御ルールのSFCモデル,制御対象のペトリネットモデルが与えられていると仮定して,システムの検証に用いるためのマルチエージェントネットモデルの導出手法を示す. |
| 抄録(英) | A combination of intuitive and easy control rules is often used in control of large-scale systems. With growing control rule-bases, new problems such as: consistency among rules, and behavior of a physical system under the control, arise. Therefore checking techniques for such problems are required. In this paper, we propose a derivation technique of a multi agent net model from a system which is described by a SFC model for a control rules and a Petri net model for a physical system. |
| キーワード(和) | ペトリネット / 制御ルールベース / シーケンシャルファンクションチャート |
| キーワード(英) | Petri nets / rule-base control / Sequential Function Chart |
| 資料番号 | CST2004-9 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CST |
|---|---|
| 開催期間 | 2004/6/3(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Concurrent System Technology (CST) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | シーケンス制御システムのマルチエージェントネットモデル導出手法 |
| サブタイトル（和） | |
| タイトル（英） | A multi agent net model of sequence control systems |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ペトリネット / Petri nets |
| キーワード(2)（和/英） | 制御ルールベース / rule-base control |
| キーワード(3)（和/英） | シーケンシャルファンクションチャート / Sequential Function Chart |
| 第 1 著者 氏名（和/英） | 坂本 雅樹 / Masaki SAKAMOTO |
| 第 1 著者 所属（和/英） | 大阪大学大学院工学研究科電気工学専攻 Department of Electrical Engineering, Osaka University |
| 第 2 著者 氏名（和/英） | 宮本 俊幸 / Toshiyuki MIYAMOTO |
| 第 2 著者 所属（和/英） | 大阪大学大学院工学研究科電気工学専攻 Department of Electrical Engineering, Osaka University |
| 第 3 著者 氏名（和/英） | 熊谷 貞俊 / Sadatoshi KUMAGAI |
| 第 3 著者 所属（和/英） | 大阪大学大学院工学研究科電気工学専攻 Department of Electrical Engineering, Osaka University |
| 発表年月日 | 2004/6/3 |
| 資料番号 | CST2004-9 |
| 巻番号（vol） | vol.104 |
| 号番号（no） | 105 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |