[论文解读] Second-order analysis for the time crisis problem

Laurent Pfeiffer, Térence Bayen|arXiv (Cornell University)|Feb 14, 2019

Optimization and Variational Analysis参考文献 19被引用 4

一句话总结

本文为时间危机问题建立了二阶必要最优性条件——该问题是一个有限时域最优控制问题，其代价泛函具有不连续性，用于表示位于约束集 K 外部的时间。通过应用时间重参数化并增强动力学系统，该问题被转化为经典 Mayer 型控制问题，从而可利用标准最优控制工具，通过伴随方程、跳跃条件及临界锥分析推导出二阶条件。所得结果在满足横截性和内向控制假设的前提下，对庞特里亚金乘子成立。

ABSTRACT

In this article, we prove second-order necessary optimality conditions for the so-called time crisis problem that comes up within the context of viability theory. It consists in minimizing the time spent by solutions of a controlled dynamics outside a given subset $K$ of the state space. One essential feature is the discontinuity of the characteristic function involved in the cost functional. Thanks to a change of time and an augmentation of the dynamics, we relate the time crisis problem to an auxiliary Mayer control problem. This allows us to use the classical tools of optimal control for obtaining optimality conditions. Going back to the original problem, we deduce that way second order optimality conditions for the time crisis problem.

研究动机与目标

• 推导时间危机问题的二阶必要最优性条件，该问题涉及最小化位于闭约束集 K 外部的时间。
• 解决由于目标函数中 K^c 的特征函数导致的代价泛函不连续性问题。
• 通过时间重参数化与动态增强，将原问题转化为经典 Mayer 型控制问题。
• 在满足横截性和内向控制假设的前提下，确保最优性条件的有效性。
• 通过广义乘子与庞特里亚金乘子，将一阶结果推广至二阶条件。

提出的方法

• 使用分段常数密度函数 ρ_τ(t) 进行时间重参数化，将时间危机问题转化为 Mayer 型问题。
• 增强状态与控制动力学，将 K^c 的切换结构嵌入系统中，从而可应用标准最优控制技术。
• 定义增强哈密顿函数 H^a，并在穿越时间 τ_j 处推导伴随方程及其跳跃条件。
• 引入临界锥 C(ū,τ̄) 以表征满足线性化状态与约束动力学的可行扰动。
• 通过涉及 φ、g 与 H^a 的二阶导数的二次型 Ω[1,γ,ν](δu,δτ)，推导二阶条件。
• 证明广义拉格朗日乘子 γ 与 ν 可简化为庞特里亚金乘子，其唯一性在常数倍意义下成立，且非奇异。

实验结果

研究问题

• RQ1 尽管代价泛函不连续，是否仍可为时间危机问题推导出二阶最优性条件？
• RQ2 如何通过时间重参数化与动态增强，将时间危机问题转化为经典最优控制问题以应用标准工具？
• RQ3 横截性与内向控制条件在确保所推导最优性条件有效性方面起什么作用？
• RQ4 在此背景下，广义拉格朗日乘子是否等价于庞特里亚金乘子？其唯一性如何？
• RQ5 在控制与穿越时间发生扰动时，二阶条件的行为表现如何？

主要发现

• 为具有不连续代价泛函的有限时域时间危机问题，建立了二阶必要最优性条件。
• 通过时间重参数化与动态增强，时间危机问题被成功转化为经典 Mayer 型控制问题。
• 伴随系统在穿越时间 τ_j 处满足带跳跃条件的微分方程，涉及乘子向量 γ。
• 证明广义拉格朗日乘子 γ 与 ν 对应于庞特里亚金乘子，其非奇异且在常数倍意义下唯一。
• 在临界锥 C(ū,τ̄) 上，二次型 Ω[1,γ,ν](δu,δτ) 非负，从而确保了二阶必要条件。
• 哈密顿函数 H₀(·) 沿最优轨迹为常数，这是由最优性结构导出的关键性质。