[論文レビュー] Maximum-Hands-Off Control and L1 Optimality

Masaaki Nagahara, Daniel E. Quevedo+1 more|arXiv (Cornell University)|Jul 31, 2013

Advanced Control Systems Optimization参考文献 12被引用数 19

ひとこと要約

本稿では、制御入力を最小化し、ゼロ制御区間を最大化することで制御労力を最小化するスパース制御戦略、マキシマム・ハンズ・オフ（maximum-hands-off）制御を提案する。$L^1$-最適制御が最もスパース（最大ハンズ・オフ）な解をもたらすことを証明し、スパarsityとエネルギー効率のバランスを取るために$L^1/L^2$-最適制御を提案する。

ABSTRACT

In this article, we propose a new paradigm of control, called a maximum-hands-off control. A hands-off control is defined as a control that has a much shorter support than the horizon length. The maximum-hands-off control is the minimum-support (or sparsest) control among all admissible controls. We first prove that a solution to an L1-optimal control problem gives a maximum-hands-off control, and vice versa. This result rationalizes the use of L1 optimality in computing a maximum-hands-off control. The solution has in general the "bang-off-bang" property, and hence the control may be discontinuous. We then propose an L1/L2-optimal control to obtain a continuous hands-off control. Examples are shown to illustrate the effectiveness of the proposed control method.

研究の動機と目的

• ゼロ制御入力の時間区間を最大限にすることにより、エネルギー消費、排出ガス、通信負荷を低減する新しい制御パラダイムの開発。
• 線形系において、$L^1$-最適制御とマキシマム・ハンズ・オフ（最もスパース）制御との理論的同等性を正式に確立すること。
• $L^1$-最適制御の不連続性（バング・オフ・バング動作）を、連続的な代替手法を用いて緩和すること。
• 数値例を通じて、制御のスパarsity（$L^0$ノルム）と滑らかさ（微分の$L^\infty$ノルム）のトレードオフを示すこと。

提案手法

• $L^1$-最適制御問題の解が、最大ハンズ・オフ制御（つまり、許容可能な制御の中で最もスパースな制御）に等価であることを証明する。
• 時間離散化を用いて、初期状態と終了状態が固定された4次系における$L^1$-最適制御問題を数値的に解く。
• $L^1$-ノルムによるスパarsityと$L^2$-ノルムによる滑らかさを組み合わせた$L^1/L^2$-最適制御定式化を提案し、$J = \int_0^T \left( \lambda_1 \|u(t)\|_1 + \frac{1}{2} r_1 \|u(t)\|_2^2 \right) dt$ を最小化する。
• 非滑らか性を持つ$L^1$項を扱うために飽和に基づく近似を用い、数値計算と滑らかな制御合成を可能にする。
• 4次系（$T=10$、$\mathbf{x}(0)=[1,1,1,1]^\top$、$\mathbf{x}(10)=\mathbf{0}$）におけるシミュレーションにより手法を検証する。
• 重み$r_1$を変化させ、$\|u\|_{L^0}$と$\|du/dt\|_{L^\infty}$を測定することで、スパarsityと滑らかさのトレードオフを分析する。

実験結果

リサーチクエスチョン

• RQ1 線形系において、$L^1$-最適制御はマキシマム・ハンズ・オフ（最もスパース）制御と同等であるか？
• RQ2 $L^1$-最適制御を用いることで、ゼロ制御入力の持続時間の最大値を達成できるか？
• RQ3 $L^1$-最適制御の不連続性（バング・オフ・バング動作）を、スパarsityを維持したまま緩和できるか？
• RQ4 ハンズ・オフ制御において、制御のスパarsityと滑らかさのトレードオフは何か？
• RQ5 $L^1/L^2$-最適制御定式化は、マキシマム・ハンズ・オフ制御の連続的近似として機能するか？

主な発見

• $L^1$-最適制御の解は、最大ハンズ・オフ制御と等価であり、許容可能な制御の中で最もスパースな入力を達成していることを意味する。
• 最大ハンズ・オフ制御はバング・オフ・バング構造を示し、$0$と$\pm u_{\text{max}}$の間で急激に切り替わるため、不連続性を示す。
• 数値例では、$L^1$-最適制御が10秒中で80.8%のハンズ・オフ時間を達成し、$\|u\|_{L^0} = 1.92$秒を記録した。
• $L^1/L^2$-最適制御は連続的な制御入力を生成し、$L^1$-最適解の不連続性を解消する。
• $L^1/L^2$-最適制御は、$L^1$-最適（最もスパース）と$L^2$-最適（最小エネルギー）制御の間の中間的解として機能する。
• 重み$r_1$を変化させることで、調整可能なトレードオフが可能である：$r_1$を大きくすると$\|du/dt\|_{L^\infty}$（より滑らか）が小さくなるが、$\|u\|_{L^0}$（よりスパースでなくなる）が増加する。