Table of Contents
Fetching ...

Robust maximum hands-off optimal control: existence, maximum principle, and $L^{0}$-$L^1$ equivalence

Siddhartha Ganguly, Kenji Kashima

TL;DR

This work addresses robust sparse optimal control under parametric uncertainty by formulating a robust $L^{0}$ objective and relaxing it to a convex $L^{1}$ surrogate. It develops a robust, nonsmooth Pontryagin maximum principle and proves that the $L^{0}$ and $L^{1}$ formulations share the same set of optimal solutions, enabling a convex semi-infinite programming approach for synthesis. The algorithmic contribution parametrizes controls with piecewise-constant bases and solves a finite-dimensional SIP exactly via robust optimization, yielding sparse, robust controls that satisfy all terminal constraints for every uncertain parameter. The results provide a principled, computationally viable framework for robust hands-off control with potential applications in attitude control, networked systems, and energy-efficient design.

Abstract

This work advances the maximum hands-off sparse control framework by developing a robust counterpart for constrained linear systems with parametric uncertainties. The resulting optimal control problem minimizes an $L^{0}$ objective subject to an uncountable, compact family of constraints, and is therefore a nonconvex, nonsmooth robust optimization problem. To address this, we replace the $L^{0}$ objective with its convex $L^{1}$ surrogate and, using a nonsmooth variant of the robust Pontryagin maximum principle, show that the $L^{0}$ and $L^{1}$ formulations have identical sets of optimal solutions -- we call this the robust hands-off principle. Building on this equivalence, we propose an algorithmic framework -- drawing on numerically viable techniques from the semi-infinite robust optimization literature -- to solve the resulting problems. An illustrative example is provided to demonstrate the effectiveness of the approach.

Robust maximum hands-off optimal control: existence, maximum principle, and $L^{0}$-$L^1$ equivalence

TL;DR

This work addresses robust sparse optimal control under parametric uncertainty by formulating a robust objective and relaxing it to a convex surrogate. It develops a robust, nonsmooth Pontryagin maximum principle and proves that the and formulations share the same set of optimal solutions, enabling a convex semi-infinite programming approach for synthesis. The algorithmic contribution parametrizes controls with piecewise-constant bases and solves a finite-dimensional SIP exactly via robust optimization, yielding sparse, robust controls that satisfy all terminal constraints for every uncertain parameter. The results provide a principled, computationally viable framework for robust hands-off control with potential applications in attitude control, networked systems, and energy-efficient design.

Abstract

This work advances the maximum hands-off sparse control framework by developing a robust counterpart for constrained linear systems with parametric uncertainties. The resulting optimal control problem minimizes an objective subject to an uncountable, compact family of constraints, and is therefore a nonconvex, nonsmooth robust optimization problem. To address this, we replace the objective with its convex surrogate and, using a nonsmooth variant of the robust Pontryagin maximum principle, show that the and formulations have identical sets of optimal solutions -- we call this the robust hands-off principle. Building on this equivalence, we propose an algorithmic framework -- drawing on numerically viable techniques from the semi-infinite robust optimization literature -- to solve the resulting problems. An illustrative example is provided to demonstrate the effectiveness of the approach.
Paper Structure (8 sections, 6 theorems, 81 equations, 4 figures, 1 table)

This paper contains 8 sections, 6 theorems, 81 equations, 4 figures, 1 table.

Key Result

theorem 1

Consider the optimal control problems e:OCP--e:OCP:L1 along with their data ocp:data:1--ocp:data:3. Define the set of admissible control actions Note that for a given $\uparam \in \pset$ and $\st(0;\uparam) = \param$, by $\st_{u}(\horizon;\uparam)$ we denote the state trajectory of the ODE eq:sys, under the control action $\cont(\cdot)$, evaluated at time $\horizon$.The state trajectory at $t = \

Figures (4)

  • Figure 1: Roadmap of the robust hands-off synthesis. The original OCP \ref{['e:OCP']}, featuring an $\lpL[0]$ objective and semi-infinite uncertainty constraints, is reduced --- via the $\lpL[0]$–$\lpL[1]$ equivalence (Theorem \ref{['thrm:PMP:conditions']} and Theorem \ref{['thrm:equivalence']}, under the conditions of Corollary \ref{['corr:bang-off-bang']}) --- to a convex robust $\lpL[1]$ formulation. For practical implementation, in § \ref{['subsec:algo:dev:sip']}, after performing piecewise constant control parametrization, the problem is further transformed into a finite-dimensional convex semi-infinite program \ref{['eq:SR:pre_SIP']}, which is then addressed using tools from robust optimization.
  • Figure 2: A bird's-eye view of our algorithmic architecture $\glbopt(\param)$.
  • Figure 3: State and control trajectories obtained via $\glbopt$.
  • Figure 4: State trajectories obtained via the scenario approach, with $N=500$ and $1000$.

Theorems & Definitions (18)

  • theorem 1
  • proof
  • theorem 2
  • proof
  • remark 1
  • corollary 1
  • remark 2
  • proof
  • theorem 3
  • proof
  • ...and 8 more