| 研究概要 |
本研究により,以下の成果が得られた.
1.部分観測の下での離散事象システムのスーパバイザ制御における基本的問題である,Lm(G)-閉・可制御・可観測部分言語の計算について考察した.そして,従来用いられていたLm(G)-閉・可制御・ノーマル部分言語を包含するような,Lm(G)-閉・可制御・可観測部分言語の計算アルゴリズムを提案し,その計算量を明らかにした.さらに,本提案アルゴリズムで得られた部分言語は,Lm(G)-閉・可制御・可観測部分言語のあるサブクラスの最大要素となることを明らかにした.
2.耐故障性を有する離散事象システムの分散スーパバイザ制御系の設計について考察した.各ローカルスーパバイザの制御動作の統合ルールとして,主乗法ルールと主加法ルールを用いる場合において,ある指定した個数以下のローカルスーパバイザの制御動作が何らかの故障により停止したとしても,制御仕様が満足されるような耐故障性を有する分散スーパバイザが存在するための必要十分条件を導出した.そして,耐故障性を有する分散スーパバイザ制御系の設計が可能となるような,主乗法ルールと主加法ルールの適用方法についても明らかにした.
3.離散事象システムのスーパバイザ制御において,公称モデルを含んだモデル集合の任意の要素に対して制御仕様を満足するという意味でのロバスト性について考察した.ロバストなスーパバイザを設計すれば,構成要素の付加・変更や動作環境の変化によりシステムの振る舞いに変化が生じても,スーパバイザを再設計する必要がない,という利点がある.そこで,制御仕様を満足することができるモデル集合が最大となるような部分観測スーパバイザの設計法を提案した.
|
