2000 Fiscal Year Annual Research Report
モバイル通信機能をもつ複合離散事象システムのモデリングと分散スーパバイザ制御
| Project/Area Number |
12875080
|
|---|
| Research Category |
Grant-in-Aid for Exploratory Research
|
| Research Institution | Osaka University |
|---|
Principal Investigator |
潮 俊光 大阪大学, 大学院・基礎工学研究科, 教授 (30184998)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
小林 啓吾 大阪大学, 大学院・基礎工学研究科, 助手 (10314395)
山本 茂 大阪大学, 大学院・基礎工学研究科, 助教授 (70220465)
|
|---|
| Keywords | 離散事象システム / 分散スーパバイザ / モバイルロボット |
|---|
| Research Abstract |
本年度に得られた主たる成果は以下の4点である.
・複数のローカルスーパバイザによってコンカレントに制御する分散制御において,いくつかのローカルスーパバイザが故障により稼働しなくなってもシステム全体の振る舞いが正常に保てるような,信頼性のある分散スーパバイザが存在するための必要十分条件を明らかにした.この条件は同時に故障するスーパイザの個数に依存した条件となっている.この条件を満たさない言語に対して,信頼性のある分散スーパバイザが存在する部分言語の計算法を提案した.
・一般にオフラインで分散スーパバイザを構成する場合には,そのための計算量が増大し,実用的には問題がある.そこで,簡単に構成できる集中型スーパバイザをオフラインで構成しておき,それをもとにオンラインで制御パターンを計算するオンライン分散スーパバイザ制御法を提案した.この手法を使えば,モバイル通信によるサブシステム間の結合の時変性にもある程度対応可能となる.
・同期合成によって構成される大規模離散事象システムにおいて,述語の分離可能性と言語の分離可能性との間の関係を明らかにし,述語の分離可能性が言語の分離可能性よりも強い概念であることを示した.
・モバイルロボットの軌道計画問題を考察した.地図情報,ロボットの状態などの情報をペトリネットにより統一的に表現し,ロボットの意識を階層的表現方法によってダイナミックに表すことができた.さらに,LLPスーパバイザと最適化手法を組み合わせることにより最適な行動命令をオンラインで選択する方法を開発した.
|
-
[Publications] S.Takai,T.Ushio: "Reliable Decentralized Supervisory Control of Discrete Event Systems"IEEE Transactions on Systems, Man, and Cybernetics-Part B. 30・5. 661-667 (2000)
-
[Publications] S.Takai,T.Ushio: "Synthesis of Reliable Decentra1ized Supervisory for Discrete Event Systems"IEICE Transactions on Fundamentals of Electronics, Communications, and Computer Sciences. E83-A・11. 2212-2218 (2000)
-
[Publications] S.Takai,T.Ushio: "On-Line Synthesis of Decentralized Supervisors for Discrete Event Systems"IEICE Transactions on Fundamentals of Electronics, communications, and Computer Sciences. E83-A・11. 2282-2285 (2000)
-
[Publications] S.Takai,T.Ushio,Y.Furukawa: "Separability of Predicates and Languages in Large-Scale Discrete Event Systems"Discrete Event Systems Analysis and Control (Kluwer Academic Publishers). 337-344 (2000)
-
[Publications] K.Kobayashi,T.Ushio: "An Application of LLP Supervisory Control with Petri Net Models in Mobile Robots"Proceedings of IEEE International Conference on Systems, Man, and Cybernetics. 3015-3020 (2000)
