|
CPSを考慮に入れた自律分散ロボット群に理論モデル構築とその上でのロボット群の計算能力に関して以下の成果を得た．
（1）CPSを意識した新しい自律分散ロボット群のモデル化とその上でのロボットに対するオンライン経路探索アルゴリズムを開発した．（2）従来のLCMロボットモデルにおける集合問題の可解性を耐故障性の観点から明らかにした．（3）従来のLCMロボットモデルにおけるスケジューラに対する自己安定化を考慮した効率的な実現手法を与えた．また，ビザンチン故障を許したロボット群に対する自己安定アルゴリズム手法を開発した．（4）ライト付きロボット群に対する計算能力を明らかにした．特に，ロボットの持つメモリとロボット間の直接通信の能力に焦点をあて，ロボットの同期度との関係を解明した．また，モデルチェッキングを利用したライト付きロボットアルゴリズムの検証法を開発した．（5）リングネットワークにおける制限視野をもつライト付きロボット群の集合問題に対する色数最適なアルゴリズムを与えた．このアルゴリズムはロボットの動作が完全な非同期でも動作する．(6)...いずれの結果もCPSを考慮した新しい自律分散ロボット群のモデル化とそのモデル化のもとでの計算能力に対する限界の解明に寄与するものである．
|
