2000 Fiscal Year Annual Research Report
離散事象システムに対するロバストなスーパバイザの設計とその生産システムへの応用
| Project/Area Number |
11750395
|
|---|
| Research Institution | Wakayama University |
|---|
Principal Investigator |
高井 重昌 和歌山大学, システム工学部, 助教授 (60243177)
|
|---|
| Keywords | 離散事象システム / スーパバイザ制御 / ロバスト制御 |
|---|
| Research Abstract |
本研究により,以下の成果が得られた.
1.時間の経過を陽に表現した時間付き離散事象システムに対するロバストスーパバイザ制御について考察した.そして,複数の時間付き離散事象システムに対して,事象の部分観測のもとで制御仕様を満足するようなロバストスーパバイザが存在するための必要十分条件を明らかにした.
2.離散事象システムの分散スーパバイザ制御において,ある指定した個数以下のローカルスーパバイザの制御動作が停止しても制御仕様が満足されるような,耐故障性を有する分散スーパバイザが存在するための必要十分条件を導出した.さらに,その条件が満足されない場合において,コーディネータを導入することにより,耐故障性を有する分散制御系を構築する方法を提案した.
3.離散事象システムの分散スーパバイザ制御において,与えられた制御仕様の最大可制御ノーマル部分言語を用いた,耐故障性を有する分散スーパバイザの構成法を提案した.さらに,集中型のスーパバイザから,耐故障性を有する分散スーパバイザを構成する方法を提案した.
4.離散事象システムにおいて,ブロッキングを許容したもとで,ある指定した個数以下のローカルスーパバイザの制御動作が停止しても制御仕様が満足されるような,耐故障性を有する分散スーパバイザが存在するための必要十分条件を導出した.さらにその条件を満足するような制御仕様の部分言語の構成法を明らかにした.
5.離散事象システムにおいて,各ローカルスーパバイザがそれぞれ独立に,制御動作をオンラインで計算するような分散スーパバイザの設計法を提案した.個々のローカルスーパバイザが観測事象に対して制御動作を計算するアルゴリズムの計算量は多項式オーダとなる.
|
-
[Publications] Shigemasa Takai: "Robust supervisory control of a class of timed discrete event systems under partial observation"Systems & Control Letters. 39・4. 267-273 (2000)
-
[Publications] Shigemasa Takai: "Reliable decentralized supervisory control of discrete event systems"IEEE Transactions on Systems, Man, and Cybernetics-Part B : Cybernetics. 30・5. 661-667 (2000)
-
[Publications] Shigemasa Takai: "Synthesis of reliable decentralized supervisors for discrete event systems"IEICE Transactions on Fundamentals. E83-A・11. 2212-2218 (2000)
-
[Publications] Shigemasa Takai: "Reliable decentralized supervisory control of discrete event systems with marked language specifications"Proceedings of the 2000 IEEE International Conference on Systems, Man, and Cybernetics. 2180-2185 (2000)
-
[Publications] Shigemasa Takai: "On-line synthesis of decentralized supervisors for discrete event systems"IEICE Transactions on Fundamentals. E83-A・11. 2282-2285 (2000)
