宮本俊幸
大規模離散事象システムのオブジェクト指向ペトリネットによるモデル化と解析
交互方向乗数法を用いた分散スケジューリング
アンフォールディングを用いたデッドロックフリーな逐次構成型状態フィードバック制御
高信頼広域分散ストレージにおけるデータ配送のための分散アルゴリズム
マルチエージェントネットによる次世代生産システム(SCM・ERP)のモデル化と実現
次世代生産システム(NGMS):分散型生産・ビジネスモデルの協調的統合 - 東京大学・京都大学・川崎重工業・ホンダエンジニアリングとの共同研究