Table of Contents
Fetching ...

Extremum Seeking with High-Order Lie Bracket Approximations: Achieving Exponential Decay Rate

Victoria Grushkovskaya, Sameh A. Eisa

TL;DR

The paper advances extremum seeking by leveraging higher-order Lie bracket averaging to achieve exponential-like convergence for cost functions with polynomial-like local behavior near a minimizer. By designing ES dynamics that excite high-order Lie brackets and using Chen-Fliess series, it enables trajectory motion along higher-order derivative directions of the cost, potentially outperforming traditional ES when $J(x)-J^* \\sim \\|x-x^*\\|^{m}$ with $m>2$. The main results show semi-global practical exponential stability for two-input ES under suitable bracket realizations and extend to multi-input designs and unknown degrees through dithering strategies that combine multiple orders. Numerical simulations on $J(x)=(x-1)^4$ corroborate faster convergence relative to classic ES, while highlighting oscillations that motivate further damping and gain-scheduling techniques. Overall, the work opens a promising direction for high-order Lie bracket methods in concrete ES implementations with improved convergence properties.

Abstract

This paper focuses on the further development of the Lie bracket approximation approach for extremum seeking systems. Classical results in this area provide extremum seeking algorithms with exponential convergence rates for quadratic-like cost functions, and polynomial decay rates for cost functions of higher degrees. This paper proposes a novel control design approach that ensures the motion of the extremum seeking system along directions associated with higher-order Lie brackets, thereby ensuring exponential convergence for cost functions that are polynomial-like but with degree greater than two.

Extremum Seeking with High-Order Lie Bracket Approximations: Achieving Exponential Decay Rate

TL;DR

The paper advances extremum seeking by leveraging higher-order Lie bracket averaging to achieve exponential-like convergence for cost functions with polynomial-like local behavior near a minimizer. By designing ES dynamics that excite high-order Lie brackets and using Chen-Fliess series, it enables trajectory motion along higher-order derivative directions of the cost, potentially outperforming traditional ES when with . The main results show semi-global practical exponential stability for two-input ES under suitable bracket realizations and extend to multi-input designs and unknown degrees through dithering strategies that combine multiple orders. Numerical simulations on corroborate faster convergence relative to classic ES, while highlighting oscillations that motivate further damping and gain-scheduling techniques. Overall, the work opens a promising direction for high-order Lie bracket methods in concrete ES implementations with improved convergence properties.

Abstract

This paper focuses on the further development of the Lie bracket approximation approach for extremum seeking systems. Classical results in this area provide extremum seeking algorithms with exponential convergence rates for quadratic-like cost functions, and polynomial decay rates for cost functions of higher degrees. This paper proposes a novel control design approach that ensures the motion of the extremum seeking system along directions associated with higher-order Lie brackets, thereby ensuring exponential convergence for cost functions that are polynomial-like but with degree greater than two.

Paper Structure

This paper contains 11 sections, 6 theorems, 23 equations, 1 figure.

Key Result

Lemma 1

If a compact set $S\subset\mathbb R^n$ is locally (globally) uniformly asymptotically stable for eqn:LBS_main then it is locally (semi-globally) practically uniformly asymptotically stable for eqn:controlAffineIntro.

Figures (1)

  • Figure 1: Blue: the proposed ES system in \ref{['ex1_we']}, which converges practically in an exponential rate to 1, the minimum point of $J_1(x)=(x-1)^4$; green: a traditional ES approach from literature \ref{['ex1_Durr']}, which converges practically to 1 in a polynomial rate; red: the minimum point of $J_1$, $x^*=1$.

Theorems & Definitions (9)

  • Lemma 1: DurrAutoGZE18PE23
  • Lemma 2
  • Theorem 1
  • proof
  • Remark 1
  • Lemma 3
  • Remark 2
  • Theorem 2
  • Theorem 3