2022 Fiscal Year Research-status Report
Design theory for estimation and control of nonlinear systems by using symbolic computation for rings of differential operators
| Project/Area Number |
21K21285
|
|---|
| Research Institution | Osaka University |
|---|
Principal Investigator |
庵 智幸 大阪大学, 大学院情報科学研究科, 助教 (00908410)
|
|---|
| Project Period (FY) |
2021-08-30 – 2024-03-31
|
| Keywords | 非線形システム / Hamilton-Jacobi方程式 / 数式処理 / 偏微分方程式 / D加群 |
|---|
| Outline of Annual Research Achievements |
本研究の目的は，偏微分作用素の数式処理という新たな視点・方法論の導入による非線形制御・推定器設計理論の構築である．偏微分方程式からその本質的な情報を抜き出した概念であるD加群と呼ばれる概念を用いることで，理論的には問題の本質のみに着目した議論の展開が可能となり，また本質を変化させない範囲で利用できる自由度を網羅的に活用することで，アルゴリズム設計をより系統的に行える可能性がある．本年度の研究計画では，昨年度に定式化した推定・制御器設計問題を解くため，数式処理を用いた具体的なアルゴリズムの提案・設計を行う予定であった．
これに対し本年度では，昨年度から引き続き，非線形システム制御理論において重要な偏微分方程式であるHamilton-Jacobi方程式（HJ方程式）の解法に関する検討を進めた．具体的には，HJ方程式が有限次元ベクトル決定問題に帰着できるという昨年度の成果を元に，その決定問題が高々有限個の代数方程式で表現できることを証明した．これにより，もしその方程式が解を持てば，高々有限個の代数方程式を解くことでHJ方程式の解を見つけることが可能となる．また，偏微分作用素の数式処理において主要な計算対象の一つであるパフ系と呼ばれる偏微分方程式系に対し，その解を数値的に評価するアルゴリズムの精度向上に関して，最適制御の観点から検討を行った．以上の検討を進めることで，HJ方程式を解くことによる非線形性を大域的に考慮する制御器・状態推定器の提案や，偏微分作用素の数式処理に付随する問題に対する制御理論的アプローチの提案が期待できる．
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
解法アルゴリズムの提案・設計にまでは至れていないものの，非線形システム制御理論において重要な偏微分方程式であるHJ方程式を解くことが，高々有限個の代数方程式を解く問題へと帰着できることを証明できたのは大きな進捗と言える．また，実問題への応用を考えるうえでは，解法アルゴリズムの提案だけでなく，その効率化・高精度化が肝要である．この意味において，アルゴリズムの設計への制御理論の活用に関する知見も得られており，研究の進捗状況は概ね順調と言える．
|
| Strategy for Future Research Activity |
昨年度に引き続き，HJ方程式から得られるベクトル決定問題が解を持つ条件を検討する必要がある．また，非線形システム制御理論においては，HJ方程式の解の中でも安定化解と呼ばれるものが重要な役割を果たす．本年度では，ベクトル決定問題の解としてこの安定化解を得るための条件や具体的なアルゴリズムについても検討を進める．
|
| Causes of Carryover |
投稿した国際誌論文のオープンアクセス費用に関して所属機関からの援助を受けることができたため，その分の費用に関して繰越金が生じた．次年度での成果発表に関する学会参加費，論文投稿費などに使用する予定である．
|
