[论文解读] 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 control），一种通过最大化零控制区间来最小化控制努力的稀疏控制策略。证明了$L^1$-最优控制可得到最稀疏（最大放手）的解，并提出$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/L^2$-最优控制，缓解$L^1$-最优控制的不连续性问题。
• 通过数值示例展示控制稀疏性（$L^0$ 范数）与平滑性（导数的$L^∞$ 范数）之间的权衡。

提出的方法

• 证明$L^1$-最优控制问题的解等价于最大放手控制，即所有允许控制中稀疏性最高的控制。
• 采用时间离散化方法，数值求解具有固定初始和最终状态的四阶系统的$L^1$-最优控制问题。
• 提出一种$L^1/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$项，从而实现数值计算与平滑控制合成。
• 通过仿真在四阶系统上验证该方法，参数为$T=10$，$\mathbf{x}(0)=[1,1,1,1]^\top$，$\mathbf{x}(10)=\mathbf{0}$。
• 通过调节$r_1$权重并测量$\|u\|_{L^0}$与$\|du/dt\|_{L^\infty}$，分析稀疏性与平滑性之间的权衡。

实验结果

研究问题

• RQ1 在线性系统中，$L^1$-最优控制是否等价于最大放手（最稀疏）控制？
• RQ2 $L^1$-最优控制能否用于实现零控制输入时间的最大可能持续时间？
• RQ3 如何在保持稀疏性的前提下，缓解$L^1$-最优控制（bang-off-bang行为）中的不连续性？
• RQ4 在放手控制中，控制稀疏性与平滑性之间的权衡关系如何？
• RQ5 $L^1/L^2$-最优控制公式能否作为最大放手控制的连续近似？

主要发现

• $L^1$-最优控制的解等价于最大放手控制，意味着它在所有允许控制中实现了最稀疏的控制输入。
• 最大放手控制表现出bang-off-bang结构，即在$0$与$\pm u_{\text{max}}$之间突变切换，导致不连续性。
• 在数值示例中，$L^1$-最优控制实现了$80.8\%$的放手时间，$\|u\|_{L^0} = 1.92$秒（总时间10秒）。
• $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}$（稀疏性降低）。