| 講演名 | 1997/11/27 P-インバリアントを用いたペトリネットのフィードバック制御 : 発火不可制御、不可観測なトランジションがある場合 巽 大輔, 太田 淳, 久村 富持, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 広い応用分野を有する離散事象システムの制御問題は、これまで多くの研究者によってオートマトンやペトリネットをモデルに、主に形式言語を基に研究されてきた。一方、YamalidouらはペトリネットのP-インバリアントを利用して、制御目的がマーキングの線形荷重和に関する不等式で表現されるネットのフィードバック制御を提案した。本報告は、これを発火不可制御、不可観測なトランジションを含むペトリネットに拡張したものであり、そのフィードバック制御系設計のための二つの方法を提案する。両者は共にネットの接続行列を利用するが、前者は不可制御、不可観測なトランジションに対し、それらを代行するものを探索する方法であり、後者は線形計画法が適用可能な形に定式化し、その解を利用するものである。 |
| 抄録(英) | Control problems of discrete event systems, which have wide application in engineering, have been investigated by many researchers, using automaton or Petri net model. These approach are mainly based on the formal language. On the other hand, Yamalidou et al. applied P-invariants of the Petri net to obtain feedback laws which satisfy the control objectives described by linear inequalities in markings. This paper is an extension of this approach to the case where a net includes uncontrollable and/or unobservable transitions. Two design methods are developed by making use of an incidence matrix. The one is based on finding replacing transitions for above transitions, and another is based on solving an linear programming problem. |
| キーワード(和) | ペトリネット / マーキングの線形拘束 / P-インバリアント / フィードバック制御 |
| キーワード(英) | Petri net / linear constraints on marking / P-invariant / feedback control |
| 資料番号 | CAS97-70 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CAS |
|---|---|
| 開催期間 | 1997/11/27(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Circuits and Systems (CAS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | P-インバリアントを用いたペトリネットのフィードバック制御 : 発火不可制御、不可観測なトランジションがある場合 |
| サブタイトル（和） | |
| タイトル（英） | Feedback Control of Petri Nets Based on Place Invariants : The Case with Uncontrollable and/or Unobservable Transitions |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ペトリネット / Petri net |
| キーワード(2)（和/英） | マーキングの線形拘束 / linear constraints on marking |
| キーワード(3)（和/英） | P-インバリアント / P-invariant |
| キーワード(4)（和/英） | フィードバック制御 / feedback control |
| 第 1 著者 氏名（和/英） | 巽 大輔 / Daisuke Tatsumi |
| 第 1 著者 所属（和/英） | 早稲田大学理工学部 School of Science and Engineering, Waseda University |
| 第 2 著者 氏名（和/英） | 太田 淳 / Atsushi Ohta |
| 第 2 著者 所属（和/英） | 愛知県立大学文学部 Faculty of Literature, Aichi Prefectural University |
| 第 3 著者 氏名（和/英） | 久村 富持 / Tomiji Hisamura |
| 第 3 著者 所属（和/英） | 早稲田大学理工学部 School of Science and Engineering, Waseda University |
| 発表年月日 | 1997/11/27 |
| 資料番号 | CAS97-70 |
| 巻番号（vol） | vol.97 |
| 号番号（no） | 401 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |