| 研究概要 |
1.全体システムを複数のローカルな状態フィードバックにより制御する分散状態フィードバック制御について,述語のn-可観測性の概念を導入し,仕様を満たす分散状態フィードバックが存在するための必要十分条件を明らかにした。
2.システムの状態の部分観測のもとで,状態フィードバックのモジュラ設計法について考察した.特に仕様が複数の部分仕様の和で与えられる場合に関して,各部分仕様に対して状態フィードバックが構成できる場合,全体仕様に対しても状態フィードバックが構成できるための必要十分条件,さらにそのときモジュラ設計法が可能であるための必要十分条件を明らかにした.
3.離散事象システムの特徴的側面である同時進行性をペトリネットにより陽に表現し,同時進行性のもとで最も多くの事象の同時発火を許容するという意味で最適なフィードバックである最大許容フィードバックが存在するための必要十分条件を明らかにした.
4.制御仕様が許容状態および目標状態に関して与えられる場合の状態フィードバック制御について考察した.特に目標状態に到達しないブロッキングという現象に注目し,ブロッキングが発生しない状態フィードバックの構成法,および論理的な評価関数を導入したときのブロッキングを許容した状態フィードバックの最適化手法を提案した.
5.コンプリメントなプレースと許可枝からなるペトリネットに対して,システムの全状態空間を生成することなく,最大許容フィードバックを構成する多項式オーダのアルゴリズムを提案した.
|
