モバイル通信機能をもつ複合離散事象システムのモデリングと分散スーパバイザ制御

分散スーパバイザ制御においては,各ローカルスーパバイザが下した事象の生起の禁止・許可の決定に基づき最終判断するときの規則がいくつか提案されている.本研究では,OR規則とAND規則を対象にした.それぞれの規則のもとでブロッキングの発生しない分散スーパバイザの存在条件は共可観測性と密接な関係がある.本研究では,不動点計算法を用いて,いくつかの共可観測言語のクラスに属する超言語及び部分言語を計算するための逐次計算法を堤案した.さらに,これらのクラスに対して言語の和集合演算及び積集合演算に関して閉じているかどうかについて調べた.システムのもつモバイル性により,システムのダイナミクスは急激に変動する.それを表すために強制事象のあるハイブリッドオートマトンでモデル化されるハイブリッドシステムを考えた.状態フィードバックによって制御されたシステムのセマンティックスを定義した.ハイブリッド状態空間上の述語によって与えられた制御仕様を満たす許容フィードバックが存在するための必要十分条件を証明した.さらに,与えられた仕様に対してその条件を満たす最大部分言語が存在することを証明し,その言語を計算する手順を提案した.モバイルロボットの行動計画問題において,2層からなる階層的制御手法を提案した.下位層では,ステートネットのモジュラー表現を基に,各部位の行動を表現した.上位層では,時間付ペトリネットに基づく最適行動パターンの生成を行った,ヒューマノイドロボットに本手法を実装し,その有効性を検証した.

分散スーパバイザ制御においては,各ローカルスーパバイザが下した事象の生起の禁止・許可の決定に基づき最終判断するときの規則がいくつか提案されている.本研究では,OR規則とAND規則を対象にした.それぞれの規則のもとでブロッキングの発生しない分散スーパバイザの存在条件は共可観測性と密接な関係がある.本研究では,不動点計算法を用いて,いくつかの共可観測言語のクラスに属する超言語及び部分言語を計算するための逐次計算法を堤案した.さらに,これらのクラスに対して言語の和集合演算及び積集合演算に関して閉じているかどうかについて調べた.システムのもつモバイル性により,システムのダイナミクスは急激に変動する.それを表すために強制事象のあるハイブリッドオートマトンでモデル化されるハイブリッドシステムを考えた.状態フィードバックによって制御されたシステムのセマンティックスを定義した.ハイブリッド状態空間上の述語によって与えられた制御仕様を満たす許容フィードバックが存在するための必要十分条件を証明した.さらに,与えられた仕様に対してその条件を満たす最大部分言語が存在することを証明し,その言語を計算する手順を提案した.モバイルロボットの行動計画問題において,2層からなる階層的制御手法を提案した.下位層では,ステートネットのモジュラー表現を基に,各部位の行動を表現した.上位層では,時間付ペトリネットに基づく最適行動パターンの生成を行った,ヒューマノイドロボットに本手法を実装し,その有効性を検証した.