[論文レビュー] Constrained optimal control of monotone systems with applications to battery fast-charging

Ross Drummond, Nicola E. Courtier+3 more|arXiv (Cornell University)|Jan 18, 2023

Advanced Battery Technologies Research被引用数 4

ひとこと要約

本稿は単調制御系理論を用いてリチウムイオン電池における高速充電制御の最適性に必要な条件を確立し、制約付き問題の最適解が充電過程のどこかで制約に「乗る」必要があることを証明している。主な貢献は、バングアンドライド制御方針の理論的基盤を提供することであり、単調系において最適性を達成するには制約の能動的適用が不可欠であることを示しており、速度、安全性、耐久性のバランスを取る電池充電プロトコルへの直接的応用が可能である。

ABSTRACT

Enabling fast charging for lithium ion batteries is critical to accelerating the green energy transition. As such, there has been significant interest in tailored fast-charging protocols computed from the solutions of constrained optimal control problems. Here, we derive necessity conditions for a fast charging protocol based upon monotone control systems theory.

研究の動機と目的

• 単調系に適用可能な制約付き最適制御の理論的枠組みを構築すること。
• 実験的に成功しているプロトコル（例：CC-CV）が最適である理由を、最適性に必要な条件を導出することで説明すること。
• 単調系の最適制御が、充電プロセスのどこかの時点で少なくとも1つの制約を能動的に適用する必要があることを確立すること。
• 安全性および性能制約下での電池システムにおけるバングアンドライド制御方針の厳密な数学的基盤を提供すること。
• モデルベースおよびデータ駆動型手法の限界を克服し、理論駆動で解析的に裏付けられた最適制御設計手法を導入すること。

提案手法

• 単調制御系における制約付き最適制御問題の理論的分析。仮定(H1)–(H4)を想定し、システムダイナミクスおよび制約の単調性を含む。
• 制御理論を用いた必要条件の導出。将来の任意の時間窓で制約が非活性である場合、制御は最適ではあり得ないことを示す。
• 最大原理および単調性の性質を用いて最適制御の構造を特徴づける。
• 電池挙動をモデル化するため、電荷状態、緩和電圧、温度を含む電気化学的および熱的ダイナミクスを有する単一粒子モデル（SPM）の使用。
• コスト関数として時間経過における電荷状態の最大化を想定し、ハイブリッド等価回路モデルと熱的ダイナミクスを組み合わせた数値的検証。
• 数値的に計算された最適解とバングアンドライド制御の比較により、理論的予測の妥当性を検証。

実験結果

リサーチクエスチョン

• RQ1 バングアンドライド制御方針が制約付き単調系において最適となる条件は何か？
• RQ2 実務で実証された高速充電プロトコル（例：CC-CV）がなぜうまく機能するのか。これは理論的に説明可能か？
• RQ3 電池充電における最適制御に必要な条件を導出するために、システムダイナミクスの単調性をどのように活用できるか？
• RQ4 アクティブな制約は最適充電プロファイルの構造を決定づける上で果たす役割は何か？
• RQ5 熱的および電気化学的ダイナミクスを有する現実的な電池モデルにおいて、制約適用の理論的必然性を検証可能か？

主な発見

• 単調制御系における最適性の必要条件は、充電プロセスのどこかの時点で少なくとも1つの制約がアクティブである必要があること。
• リチウムイオン電池の最適高速充電プロトコルは、電流、電圧、または温度制限などの制約をどこかの時点で適用しなければならず、これによりバングアンドライド制御構造の妥当性が裏付けられる。
• 電気化学的および熱的ダイナミクスを有する電池モデルの数値シミュレーションにより、最適制御がバングアンドライド方針とよく一致することが確認された。
• 理論的枠組みから導出された最適制御戦略は、モーメント・メジャー数値ルーチンによって得られた解と一致しており、解析的手法の妥当性が検証された。
• 結果として、CC-CV充電が実験的に成功する理由を、制約適用の必要条件を自然に満たしていることによって理論的に説明できるようになった。
• 本フレームワークは、効率的かつ安全な高速充電プロトコルの設計に理論的根拠を提供し、制約の使用に明確な数学的裏付けを提供する。