-
Initialization-Free Lie-Bracket Extremum Seeking in $\mathbb{R}^n$
Authors:
Mahmoud Abdelgalil,
Jorge Poveda
Abstract:
Stability results for extremum seeking control in $\mathbb{R}^n$ have predominantly been restricted to local or, at best, semi-global practical stability. Extending semi-global stability results of extremum-seeking systems to unbounded sets of initial conditions often demands a stringent global Lipschitz condition on the cost function, which is rarely satisfied by practical applications. In this p…
▽ More
Stability results for extremum seeking control in $\mathbb{R}^n$ have predominantly been restricted to local or, at best, semi-global practical stability. Extending semi-global stability results of extremum-seeking systems to unbounded sets of initial conditions often demands a stringent global Lipschitz condition on the cost function, which is rarely satisfied by practical applications. In this paper, we address this challenge by leveraging tools from higher-order averaging theory. In particular, we establish a novel second-order averaging result with \emph{global} (practical) stability implications. By leveraging this result, we characterize sufficient conditions on cost functions under which uniform global practical asymptotic stability can be established for a class of extremum-seeking systems acting on static maps. Our sufficient conditions include the case when the gradient of the cost function, rather than the cost function itself, satisfies a global Lipschitz condition, which covers quadratic cost functions. Our results are also applicable to vector fields that are not necessarily Lipschitz continuous at the origin, opening the door to non-smooth Lie-bracket ES dynamics. We illustrate all our results via different analytical and/or numerical examples.
△ Less
Submitted 25 January, 2024; v1 submitted 20 January, 2024;
originally announced January 2024.
-
On Lie-Bracket Averaging for a Class of Hybrid Dynamical Systems with Applications to Model-Free Control and Optimization
Authors:
Mahmoud Abdelgalil,
Jorge I. Poveda
Abstract:
Dynamical systems characterized by oscillatory behaviors and well-defined average vector fields have traditionally been subjects of stability analysis through methodologies rooted in averaging theory. Such tools have also found application in the stability analysis of systems that combine continuous-time dynamics and discrete-time dynamics, referred to as hybrid dynamical systems. However, in cont…
▽ More
Dynamical systems characterized by oscillatory behaviors and well-defined average vector fields have traditionally been subjects of stability analysis through methodologies rooted in averaging theory. Such tools have also found application in the stability analysis of systems that combine continuous-time dynamics and discrete-time dynamics, referred to as hybrid dynamical systems. However, in contrast to the existing results available in the literature for continuous-time systems, averaging results for hybrid systems have mostly been limited to first-order averaging methods. This limitation prevents their direct application for the analysis and design of systems and algorithms requiring high-order averaging techniques. Among other applications, such techniques are necessary to analyze hybrid Lie-bracket-based extremum seeking algorithms and hybrid vibrational controllers. To address this gap, this paper introduces a novel high-order averaging theorem for the stability analysis of hybrid dynamical systems with high-frequency periodic flow maps. The considered systems allow for the incorporation of set-valued flow maps and jump maps, effectively modeling well-posed differential and difference inclusions. By imposing appropriate regularity conditions on the hybrid system's data, results on $(T,\varepsilon)$-closeness of solutions and semi-global practical asymptotic stability for sets are established. In this way, our findings yield hybrid Lie-bracket averaging tools that extend those found in the literature on ordinary differential equations. These theoretical results are then applied to the study of three distinct applications in the context of model-free control and optimization.
△ Less
Submitted 29 August, 2023;
originally announced August 2023.
-
Singularly Perturbed Averaging with Application to Bio-Inspired 3D Source Seeking
Authors:
Mahmoud Abdelgalil,
Asmaa Eldesoukey,
Haithem Taha
Abstract:
We analyze a class of singularly perturbed high-amplitude, high-frequency oscillatory systems that arises in extremum seeking applications. We provide explicit formulas for averaging and establish the convergence of the trajectories of this class of systems to the trajectories of a suitably averaged reduced order system by combining the higher order averaging theorem with singular perturbation tec…
▽ More
We analyze a class of singularly perturbed high-amplitude, high-frequency oscillatory systems that arises in extremum seeking applications. We provide explicit formulas for averaging and establish the convergence of the trajectories of this class of systems to the trajectories of a suitably averaged reduced order system by combining the higher order averaging theorem with singular perturbation techniques. Finally, we propose a novel bio-inspired 3D source seeking algorithm and establish its singular practical stability.
△ Less
Submitted 31 March, 2022;
originally announced March 2022.
-
Recursive Averaging with Application to Bio-Inspired 3D Source Seeking
Authors:
Mahmoud Abdelgalil,
Haithem Taha
Abstract:
We analyze a class of high-amplitude, high-frequency oscillatory systems in which periodicity occurs on two distinct time scales and establish the convergence of its trajectories to a suitably averaged system by recursively applying the averaging theorem. Moreover, we introduce a novel bio-inspired 3D source seeking algorithm for rigid bodies with a collocated sensor and prove its practical stabil…
▽ More
We analyze a class of high-amplitude, high-frequency oscillatory systems in which periodicity occurs on two distinct time scales and establish the convergence of its trajectories to a suitably averaged system by recursively applying the averaging theorem. Moreover, we introduce a novel bio-inspired 3D source seeking algorithm for rigid bodies with a collocated sensor and prove its practical stability under typical assumptions on the source signal strength field by combining our averaging results with singular perturbation.
△ Less
Submitted 22 March, 2022;
originally announced March 2022.
-
Sea urchin sperm exploit extremum seeking control to find the egg
Authors:
Mahmoud Abdelgalil,
Yasser Aboelkassem,
Haithem Taha
Abstract:
Sperm cells perform extremely demanding tasks with minimal capabilities. The cells must quickly navigate in a noisy environment to find an egg within a short time window for successful fertilization without any global positioning information. Many research efforts have been dedicated to deriving mathematical principles that explain their superb navigation strategy. Here we show that the navigation…
▽ More
Sperm cells perform extremely demanding tasks with minimal capabilities. The cells must quickly navigate in a noisy environment to find an egg within a short time window for successful fertilization without any global positioning information. Many research efforts have been dedicated to deriving mathematical principles that explain their superb navigation strategy. Here we show that the navigation strategy of sea urchin sperm, also known as helical klinotaxis, is a natural implementation of a well-established adaptive control paradigm known as extremum seeking. This bridge between control theory and the biology of taxis in microorganisms is expected to deepen our understanding of the process. For example, the formulation leads to a coarse-grained model of the signaling pathway that offers new insights on the peculiar switching-like behavior between high and low gain steering modes observed in sea urchin sperm. Moreover, it may guide engineers in develo** bio-inspired miniaturized robots with minimal sensors.
△ Less
Submitted 4 October, 2022; v1 submitted 31 August, 2021;
originally announced August 2021.
-
A Geometric Approach to Modeling, Simulation and Control
Authors:
Mahmoud Abdelgalil,
Asmaa Eldesoukey,
Esraa Elshabrawy,
Mostafa Abdalla
Abstract:
In this work, we utilize discrete geometric mechanics to derive a 2nd-order variational integrator so as to simulate rigid body dynamics. The developed integrator is to simulate the motion of a free rigid body and a quad-rotor. We demonstrate the effectiveness of the simulator and its accuracy in long term integration of mechanical systems without energy dam**. Furthermore, this work deals with…
▽ More
In this work, we utilize discrete geometric mechanics to derive a 2nd-order variational integrator so as to simulate rigid body dynamics. The developed integrator is to simulate the motion of a free rigid body and a quad-rotor. We demonstrate the effectiveness of the simulator and its accuracy in long term integration of mechanical systems without energy dam**. Furthermore, this work deals with the geometric nonlinear control problem for rigid bodies where backstep** controller is designed for full tracking of position and orientation. The attitude dynamics and control are defined on \textbf{SO(3)} to avoid singularities associated with Euler angles or ambiguities accompanying quaternion representation. The controller is shown to track large rotation attitude signals close to $180^\circ$ achieving almost globally asymptotic stability for rotations. A Quad-rotor is presented as an example of an under-actuated system with nonlinear model on which we apply the backstep** control law. In addition, an aerodynamic model aiming at deriving the aerodynamic forces and torques acting on rotors is added for realistic simulation purposes and to testify the effectiveness of the derived control method.
△ Less
Submitted 14 May, 2020; v1 submitted 14 May, 2020;
originally announced May 2020.
-
Lie Bracket Approximation-Based Extremum Seeking with Vanishing Input Oscillations
Authors:
Mahmoud Abdelgalil,
Haithem Taha
Abstract:
In recent years, an approach to extremum seeking control made it possible to design control vector fields that lead to asymptotic stability of the minimum point provided that the minimum value of the function is known a priori. In this work, we aim to relax that assumption. We propose an extremum-seeking control law that converges to the minimum point with vanishing control oscillations, without a…
▽ More
In recent years, an approach to extremum seeking control made it possible to design control vector fields that lead to asymptotic stability of the minimum point provided that the minimum value of the function is known a priori. In this work, we aim to relax that assumption. We propose an extremum-seeking control law that converges to the minimum point with vanishing control oscillations, without access to the minimum value of the cost function. We provide a numerical example to support our results.
△ Less
Submitted 24 May, 2021; v1 submitted 20 February, 2020;
originally announced February 2020.