システム制御理論とその応用.
特に,ハイブリッドシステム,離散事象システム,サイバーフィジカルシステム,システム生物学に興味があります.
(1) オンライン計算時間低減のための離散ダイナミクスモデリング
(1-1) 線形状態方程式表現に基づくモデリング(状態方程式ベーストモデリング)
(1-2) 初期値と時系列を考慮したモデリング(時系列ベーストモデリング)
(1-3) 有向グラフの分割に基づくモデリング(グラフスイッチングベーストモデリング)
(2) 有向グラフによる離散的な拘束をもつシステムの制御(例えば,障害物回避問題)とマルチビークルシステムへの応用
(3) オフライン計算とオンライン計算に基づくモデル予測制御の近似解法
(4) 区間演算を用いた領域的な解析と制御
(5) 確率ハイブリッドシステムの確率的拘束付き最適制御,離散抽象化
(1) ブーリアンネットワークにおける可制御性判定のための多項式時間アルゴリズム
(2) 整数計画法や多項式最適化を用いた確率ブーリアンネットワークの制御
(3) モデル検査を用いた確率ブーリアンネットワークの検証
(4) ペトリネットを用いた非同期ブーリアンネットワークのモデリングと制御
(5) 生体ネットワーク(遺伝子ネットワーク,代謝ネットワークなど)やエネルギー管理システム(リアルタイムプライシング)への応用
(1) 混合整数計画法を用いた入力むだ時間システムの制御
(2) 最適化を用いた Self-Triggered 制御
(3) 確率切替システムを用いたモデリングと制御
(1) プッシュダウンオートマトンで表現される離散事象システムのオパシティ(セキュリティ)や可診断性の検証
(1) 連続時間システムの部分空間同定法
(1) 大規模システムの分解: 並列計算やAssume-Gurantee 検証
(2) サービスサイエンス
(3) ビジネスプロセスのモデリング・設計
(4) 形式手法の制御工学への応用
(5) その他.妄想中
(1) 和分型状態方程式の提案
(2) 基礎的性質の解析(可制御性,Lyapunov 不等式など)
(3) 線形行列不等式(LMI)に基づくロバスト制御系の解析・設計
(1) 連続時間系および離散時間系が混在する制御系に対するモデリングと制御
(2) 鉄鋼プロセス(加熱炉の燃焼制御)への応用
(1) むだ時間を含む系に対する PID/I-PD 方式非干渉制御系の設計公式の導出
CSS Template CSSデザインサンプル