- 2020 - 2023 航空オープンデータを用いた空域交通流の数理的モデル化と制御
- 2016 - 2019 状況アウェアネスと情報スーパーバイザ制御のための数理モデルの構築
- 2015 - 2018 看護・介護サービスの質を高める音声つぶやきによる気づきプラットフォームの研究
- 2013 - 2016 離散事象システムのモデルレス故障診断法に関する研究
- 2009 - 2011 離散ダイナミクスの流体化によるシステムの安全性検証
- 2005 - 2007 高信頼ハイブリッドダイナミカルシステムの最適設計に関する研究
- 1999 - 2001 ペナルティを生じる完了時間の早まりと遅れに関するスケジューリング問題
- 1996 - 1996 大規模並行実時間システムの効率的な検証方法の研究
- システムの形式的モデル化と解析,特に並行システム,離散事象システム,ハイブリッドシステムに関する研究
全件表示