Abstract:This paper provides a rigorous derivation for what is known in the literature as the Lie bracket approximation of control-affine systems in a more general and sequential framework for higher-orders. In fact, by using chronological calculus, we show that said Lie bracket approximations can be derived, and considered, as higher-order averaging terms. Hence, the theory provided in this paper unifies both averaging and approximation theories of control-affine systems. In particular, the Lie bracket approximation of order ($n$) turns out to be a higher-order averaging of order ($n+1$). The derivation and formulation provided in this paper can be directly reduced to the first and second-order Lie bracket approximations available in the literature. However, we do not need to make many of the unproven assumptions provided in the literature and show that they are in fact natural corollaries from our work. Moreover, we use our results to show that important and useful information about control-affine extremum seeking systems can be obtained and used for significant performance improvement, including a faster convergence rate influenced by higher-order derivatives. We provide multiple numerical simulations to demonstrate both the conceptual elements of this work as well as the significance of our results on extremum seeking with comparison against the literature.

"Good Lie Brackets" for Control Affine Systems

Robust Absolute Stability For General Neutral Type Lurie Indirect Control Systems

Controllability of discrete-time linear systems on solvable Lie groups

On the characterization of the controllability property for linear control systems on nonnilpotent, solvable three-dimensional Lie groups

Weak condition for the existence of control sets with a nonempty interior for linear control systems on nilpotent groups

Control sets of one-input linear control systems on solvable, nonnilpotent 3D Lie groups

Weak condition for the existence of control sets with a nonempty interior of linear control systems on nilpotent groups

One-input linear control systems on the homogeneous spaces of the Heisenberg group -- The singular case

Controllability of generalized linear time-invariant systems

Controllability and Accessibility on Graphs for Bilinear Systems Over Lie Groups

Goh and Legendre-Clebsh conditions for nonsmooth control systems

Some Remarks on Controllability of the Liouville Equation

Ad-rank condition for controllability of linear control system on solvable Lie groups

Control sets of linear systems on semi-simple Lie groups

Optimal control of affine connection control systems from the point of view of Lie algebroids

The control set of a linear control system on the two dimensional solvable Lie group

Integral Control on Lie Groups

Higher-order Lie bracket approximation and averaging of control-affine systems with application to extremum seeking

New Meaning Of Exact Controllability Of Linear Systems In Hilbert Spaces