研究課題/領域番号 |
23K26130
|
補助金の研究課題番号 |
23H01436 (2023)
|
研究種目 |
基盤研究(B)
|
配分区分 | 基金 (2024) 補助金 (2023) |
応募区分 | 一般 |
審査区分 |
小区分21040:制御およびシステム工学関連
|
研究機関 | 広島大学 |
研究代表者 |
永原 正章 広島大学, 先進理工系科学研究科(工), 教授 (90362582)
|
研究期間 (年度) |
2023-04-01 – 2026-03-31
|
研究課題ステータス |
交付 (2024年度)
|
配分額 *注記 |
18,850千円 (直接経費: 14,500千円、間接経費: 4,350千円)
2025年度: 5,590千円 (直接経費: 4,300千円、間接経費: 1,290千円)
2024年度: 5,980千円 (直接経費: 4,600千円、間接経費: 1,380千円)
2023年度: 7,280千円 (直接経費: 5,600千円、間接経費: 1,680千円)
|
キーワード | 機械学習 / XAI / 最適制御 / データ分析 / サイバーフィジカルシステム |
研究開始時の研究の概要 |
機械学習におけるモデルの説明可能性は,予測結果の信頼性を高めるために必須の性質であり,近年盛んに研究されている.特にサイバーフィジカルシステムなど物理系とのインタラクションの中で機械学習モデルが利用される状況では,物理的な説明可能性が,系の安定性や安全性の解析において重要である.本研究では,物理的な説明可能性を機械学習モデルに持たせるために,物理系の微分方程式および物理的制約を陽に考慮した機械学習モデルを導入し,最適制御問題として定式化する.また本手法の有効性を実システムにおいて検証するために交通(モビリティ)の計測データにもとづく行動履歴の推定を行う.
|
研究実績の概要 |
サイバーフィジカルシステムにおいて,物理的な制約条件のもとでデータから機械学習モデルを導出することは本質的な問題である.この問題に対して,数理的に等価な最適制御問題を導出し,その必要条件を書き下すことによって,機械学習モデルの性質を議論することが可能となる.これにより,機械学習モデルの物理的な説明可能性を高めることも可能である.また,最適制御問題の数値解法を活用することにより,高精度かつ高速に最適解(すなわち機械学習モデルのパラメータ)を求めることが可能となる.
以上の研究目的に沿って,本年度は以下の研究実績を得た.まず,スパースモデリング等スパース性を活用した機械学習モデルに応用可能なスパース最適制御問題に対して,その必要条件や解の存在性,また高精度な数値計算アルゴリズムを導出した [M. Nagahara, International Journal of Robust and Nonlinear Control, 2023].また確率的な変動を考慮したスパース最適制御についても研究成果を得た [M. Kishida and M. Nagahara, IEEE Transactions on Automatic Control, 2023].また,スパースモデリングやスパース最適制御に関するサーベイ論文も発表した[M. Nagahara, IEICE Transactions on Communications, 2023][M. Nagahara and Y. Yamamoto, Mathematics of Control, Signals, and Systems, 2024]
|
現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
当初の予定通り,最適制御問題の定式化と必要条件の導出,また高精度・高速アルゴリズムの提案を行い,トップジャーナルに学術論文およびサーベイ論文を発表することができた.また,IFAC World Congress等の国際会議でも成果を発表することができた.以上より,研究はおおむね順調に進展していると言える.
|
今後の研究の推進方策 |
物理的制約を持つ最適制御問題を最適制御問題として定式化したとき,例えばスパースモデリングに出てくるような非凸制約や非凸評価関数が現れる.これに対して,これまでは凸制約や凸関数で近似した方法を考察の対象としてきたが,この近似がうまくいかないケースも見つかっている.今後は,このようなケースに対しても効率よく最適解(すなわち学習パラメータ)を得ることが可能な手法を新しく提案することが考えられる.さらに,提案手法の有効性を検証するために,リアルデータを用いた機械学習モデルの構築と検証が重要である.
|