-
Inverse Optimal Cardano-Lyapunov Feedback for PDEs with Convection
Authors:
Mohamed Camil Belhadjoudja,
Miroslav Krstic,
Mohamed Maghenem,
Emmanuel Witrant
Abstract:
We consider the problem of inverse optimal control design for systems that are not affine in the control. In particular, we consider some classes of partial differential equations (PDEs) with quadratic convection and counter-convection, for which the L2 norm is a control Lyapunov function (CLF) whose derivative has either a depressed cubic or a quadratic dependence in the boundary control input. W…
▽ More
We consider the problem of inverse optimal control design for systems that are not affine in the control. In particular, we consider some classes of partial differential equations (PDEs) with quadratic convection and counter-convection, for which the L2 norm is a control Lyapunov function (CLF) whose derivative has either a depressed cubic or a quadratic dependence in the boundary control input. We also consider diffusive PDEs with or without linear convection, for which a weighted L2 norm is a CLF whose derivative has a quadratic dependence in the control input. For each structure on the derivative of the CLF, we achieve inverse optimality with respect to a meaningful cost functional. For the case where the derivative of the CLF has a depressed cubic dependence in the control, we construct a cost functional for which the unique minimizer is the unique real root of a cubic polynomial: the Cardano-Lyapunov controller. When the derivative of the CLF is quadratic in the control, we construct a cost functional that is minimized by two distinct feedback laws, that correspond to the two distinct real roots of a quadratic equation. We show how to switch from one root to the other to reduce the control effort.
△ Less
Submitted 30 March, 2024;
originally announced April 2024.
-
From Sontag s to Cardano-Lyapunov Formula for Systems Not Affine in the Control: Convection-Enabled PDE Stabilization
Authors:
Mohamed Camil Belhadjoudja,
Miroslav Krstic,
Mohamed Maghenem,
Emmanuel Witrant
Abstract:
We propose the first generalization of Sontag s universal controller to systems not affine in the control, particularly, to PDEs with boundary actuation. We assume that the system admits a control Lyapunov function (CLF) whose derivative, rather than being affine in the control, has either a depressed cubic, quadratic, or depressed quartic dependence on the control. For each case, a continuous uni…
▽ More
We propose the first generalization of Sontag s universal controller to systems not affine in the control, particularly, to PDEs with boundary actuation. We assume that the system admits a control Lyapunov function (CLF) whose derivative, rather than being affine in the control, has either a depressed cubic, quadratic, or depressed quartic dependence on the control. For each case, a continuous universal controller that vanishes at the origin and achieves global exponential stability is derived. We prove our result in the context of convectionreaction-diffusion PDEs with Dirichlet actuation. We show that if the convection has a certain structure, then the L2 norm of the state is a CLF. In addition to generalizing Sontag s formula to some non-affine systems, we present the first general Lyapunov approach for boundary control of nonlinear PDEs. We illustrate our results via a numerical example.
△ Less
Submitted 26 March, 2024;
originally announced March 2024.
-
Adaptive Boundary Control of the Kuramoto-Sivashinsky Equation Under Intermittent Sensing
Authors:
Mohamed Camil Belhadjoudja,
Mohamed Maghenem,
Emmanuel Witrant,
Christophe Prieur
Abstract:
We study in this paper boundary stabilization, in the L2 sense, of the perturbed Kuramoto-Sivashinsky (KS) equation subject to intermittent sensing. We assume that we measure the state on a given spatial subdomain during certain time intervals, while we measure the state on the remaining spatial subdomain during the remaining time intervals. We assign a feedback law at the boundary of the spatial…
▽ More
We study in this paper boundary stabilization, in the L2 sense, of the perturbed Kuramoto-Sivashinsky (KS) equation subject to intermittent sensing. We assume that we measure the state on a given spatial subdomain during certain time intervals, while we measure the state on the remaining spatial subdomain during the remaining time intervals. We assign a feedback law at the boundary of the spatial domain and force to zero the value of the state at the junction of the two subdomains. Throughout the study, the equation's destabilizing coefficient is assumed to be unknown and possibly space dependent but bounded. As a result, adaptive boundary controllers are designed under different assumptions on the perturbation. In particular, we guarantee input-to-state stability (ISS) when an upperbound on the perturbation's size is known. Otherwise, only global uniform ultimate boundedness (GUUB) is guaranteed. In contrast, when the state is measured at every spatial point all the time (full state measurement), convergence to an arbitrarily-small neighborhood of the origin is guaranteed, even if the perturbation's maximal size is unknown. Numerical simulations are performed to illustrate our results.
△ Less
Submitted 25 April, 2025; v1 submitted 26 March, 2024;
originally announced March 2024.
-
On Observer-based Asymptotic Stabilization of Non-uniformly Observable Systems via Hybrid and Smooth Control: a Case Study
Authors:
Mohamed Maghenem,
William Pasillas-Lépine,
Antonio Loría,
Missie Aguado-Rojas
Abstract:
For systems that are not observable at the very equilibrium of interest to be stabilized, output-feedback stabilization is considerably challenging. In this paper we solve this control problem for the case-study of a second-order system that is bilinear and affine, both in the input and the output, but it is unobservable at the target equilibrium. The case-study is representative of a well-studied…
▽ More
For systems that are not observable at the very equilibrium of interest to be stabilized, output-feedback stabilization is considerably challenging. In this paper we solve this control problem for the case-study of a second-order system that is bilinear and affine, both in the input and the output, but it is unobservable at the target equilibrium. The case-study is representative of a well-studied class of non-uniformly observable systems and stems from automotive control. Our main contribution is a novel certainty-equivalence hybrid controller that achieves asymptotic stabilization semiglobally. The controller relies on a switched observer that estimates the state, provided that the latter is 'kept away' from the singular equilibrium. To achieve both competing tasks, stabilization and estimation, the controller also relies on the keen construction of a piecewise-constant, converging, reference. Our main results are illustrated via numerical simulations on a meaningful example.
△ Less
Submitted 20 September, 2023; v1 submitted 24 May, 2022;
originally announced May 2022.
-
Certifying the LTL Formula p Until q in Hybrid Systems
Authors:
Hyejin Han,
Mohamed Maghenem,
Ricardo G. Sanfelice
Abstract:
In this paper, we propose sufficient conditions to guarantee that a linear temporal logic (LTL) formula of the form p Until q, denoted by $p \mathcal{U} q$, is satisfied for a hybrid system. Roughly speaking, the formula $p \mathcal{U} q$ is satisfied means that the solutions, initially satisfying proposition p, keep satisfying this proposition until proposition q is satisfied. To certify such a f…
▽ More
In this paper, we propose sufficient conditions to guarantee that a linear temporal logic (LTL) formula of the form p Until q, denoted by $p \mathcal{U} q$, is satisfied for a hybrid system. Roughly speaking, the formula $p \mathcal{U} q$ is satisfied means that the solutions, initially satisfying proposition p, keep satisfying this proposition until proposition q is satisfied. To certify such a formula, connections to invariance notions such as conditional invariance (CI) and eventual conditional invariance (ECI), as well as finite-time attractivity (FTA) are established. As a result, sufficient conditions involving the data of the hybrid system and an appropriate choice of Lyapunov-like functions, such as barrier functions, are derived. The considered hybrid system is given in terms of differential and difference inclusions, which capture the continuous and the discrete dynamics present in the same system, respectively. Examples illustrate the results throughout the paper.
△ Less
Submitted 17 August, 2022; v1 submitted 11 June, 2021;
originally announced June 2021.
-
Observer Based Path Following for Underactuated Marine Vessels in the Presence of Ocean Currents: A Global Approach - With proofs
Authors:
D. J. W. Belleter,
M. Maghenem,
C. Paliotta,
K. Y. Pettersen
Abstract:
In this paper a solution to the problem of following a curved path in the presence of a constant unknown ocean current disturbance is presented. We introduce a path variable that represents the curvilinear abscissa on the path which is used to propagate the path-tangential reference frame. The proposed dynamic update law of the path variable is non singular and the guidance law is designed such th…
▽ More
In this paper a solution to the problem of following a curved path in the presence of a constant unknown ocean current disturbance is presented. We introduce a path variable that represents the curvilinear abscissa on the path which is used to propagate the path-tangential reference frame. The proposed dynamic update law of the path variable is non singular and the guidance law is designed such that the vessel can reject constant unknown ocean currents by using an ocean current observer. It is shown that the closed-loop system composed of the guidance law, controller and observer provides globally asymptotically stable and locally exponentially stable path following errors. The sway velocity dynamics is analyzed and, under adequate hypothesis on the path curvature, it is shown that the dynamics are well behaved and that the guidance law to exist. Simulations are presented to verify the theoretical findings.
△ Less
Submitted 11 October, 2018;
originally announced October 2018.
-
Observer Based Path Following for Underactuated Marine Vessels in the Presence of Ocean Currents: A Local Approach - With proofs
Authors:
Mohammed Maghenem,
Dennis W. J. Belleter,
Claudio Paliotta,
Kristin Y. Pettersen
Abstract:
In this article a solution to the problem of following a curved path in the presence of a constant unknown ocean current disturbance is presented. The path is parametrised by a path variable that is used to propagate a path-tangential reference frame. The update law for the path variable is chosen such that the motion of the path-tangential frame ensures that the vessel remains on the normal of th…
▽ More
In this article a solution to the problem of following a curved path in the presence of a constant unknown ocean current disturbance is presented. The path is parametrised by a path variable that is used to propagate a path-tangential reference frame. The update law for the path variable is chosen such that the motion of the path-tangential frame ensures that the vessel remains on the normal of the path-tangential reference frame. As shown in the seminal work [20] such a parametrisation is only possible locally. A tube is defined in which the aforementioned parametrisation is valid and the path-following problem is solved within this tube. The size of the tube is proportional to the maximum curvature of the path. It is shown that within this tube, the closed-loop system of the proposed controller, guidance law, and the ocean current observer provides exponential stability of the path-following error dynamics. The sway velocity dynamics are analysed taking into account couplings previously overlooked in the literature, and is shown to remain bounded. Simulation results are presented.
△ Less
Submitted 31 March, 2017;
originally announced April 2017.
