Searcharxiv⌕ Search

arXiv subjects

Mohamed Camil Belhadjoudja

Publications and source records attributed to Mohamed Camil Belhadjoudja.

16 recordsLinked to original sources

Global $L^1$ Exponential Observer for the Quasilinear Diffusion Equation

A nonlinear observer is designed for a one-dimensional quasilinear diffusion equation with Neumann boundary conditions, using as an output the state at one end of the spatial domain. The observer consists of a copy of the system, with a nonlinear (in the output) correction term at the boundary. A Lyapunov-based analysis is performed to ensure global exponential stability of the zero equilibrium for the estimation error dynamics in the $L^1$ norm. The result holds for a general nonlinear diffusivity, under the assumption that it is lower-bounded by a positive constant, i.e., that the diffusion equation is uniformly parabolic.

math.AP↗

Region of Attraction of a Backstepping Observer for the Quasilinear Heat Equation

It has long been of interest to understand when control and observer-design methodologies developed for linear dynamical systems can provide local guarantees when applied to nonlinear systems. However, beyond establishing local stability, it is also important to characterize the region of attraction and performance in terms of system parameters and design gains--something that linearization-based approaches cannot achieve. For instance, although increasing an observer gain improves the convergence rate in the linear setting (as in backstepping design), the relationship between this gain and the convergence rate in the nonlinear setting need not be monotonic; understanding these dependencies is therefore crucial for reliable operation. In light of this discussion, we consider the one-dimensional quasilinear heat equation with state-dependent diffusivity, and design a boundary-output observer based on the backstepping design for a linear heat equation with constant diffusivity. Viewing the quasilinear system as a perturbation of the linear one, we establish exponential stability of the origin for the estimation error dynamics in $H^1$, with an estimate of the region of attraction depending on the system parameters, observer gains, and the mismatch between the nonlinear diffusivity and the constant design diffusivity. Importantly, the estimation error converges to zero rather than merely to a neighborhood scaling with this mismatch, even though, in contrast to backstepping-based stabilization of nonlinear PDEs, the mismatch need not decay along trajectories and may remain bounded away from zero, acting as a persistent state-dependent multiplicative perturbation. A technical challenge was to perform a sufficiently-fine Lyapunov analysis that does not yield overly conservative results such as mere boundedness of the estimation error.

eess.SY↗

Backstepping Control of First-Order Hyperbolic Equations in Arbitrary Dimensions with Non-Trapping Characteristics

This paper presents a backstepping approach for the boundary control of first-order hyperbolic equations with spatially varying coefficients posed on domains of arbitrary dimension. The method is based on a change of variables induced by the characteristic flow of the time-invariant transport operator, transforming the original multidimensional system into a continuum of decoupled one-dimensional hyperbolic equations evolving along individual characteristic curves. A backstepping controller is then designed for each equation in the decomposition, and the resulting control laws are reassembled in the original coordinates to achieve finite-time stabilization of the full system. The framework relies on the existence of characteristic curves foliating the spatial domain, with uniformly bounded transit times (non-trapping).

eess.SY↗

Backstepping Control of Multidimensional Coupled First-Order Hyperbolic PDEs with Collinear Velocities

This paper addresses the backstepping boundary stabilization of coupled multidimensional first-order hyperbolic systems. We consider systems whose transport velocity fields are collinear, meaning that each velocity field is a scalar multiple of a common base velocity field. Building upon a recent framework developed for scalar multidimensional first-order hyperbolic equations, we introduce a change of variables, based on characteristic curves defined entirely in the spatial domain, that converts the original multidimensional system into a continuum of coupled one-dimensional first-order hyperbolic systems. By designing a backstepping controller for each system in the continuum representation, and assuming that the transit times of the characteristic curves are uniformly bounded, we achieve finite-time stabilization of the multidimensional system.

eess.SY↗

Spectral Boundary Observer for Counter-Flow Heat Exchangers

We consider a system of two coupled first-order linear hyperbolic partial differential equations modeling heat transport in a counter-flow heat exchanger: one equation describes the transport of a hot fluid, and the other the transport of a cold fluid in the opposite direction. For this system, we design a boundary observer that uses only the temperature of the cold fluid measured at one boundary. Our approach is spectral: by assigning the spectrum of the operator governing the observation error dynamics to a prescribed region within the open left-half complex plane, we can freely tune the convergence rate of the observation error to zero in the $L^2$ norm. The main technical contribution is the proof that spectral stability, that is, the location of the spectrum in the open left-half plane, is equivalent to $L^2$ exponential stability of the origin for the observation error dynamics. This equivalence is established by showing that the operator governing the observation error dynamics satisfies the so-called spectral mapping property.

eess.SY↗

Backstepping Control of PDEs on Domains with Graph-Monotone Boundaries

Despite the extensive body of work on backstepping for one-dimensional PDEs, results in higher dimensions remain comparatively limited. Most available methods either exploit particular symmetries of the PDE or address problems posed on parallelepiped domains. To the best of our knowledge, the only approach that enables the design of backstepping controllers on non-parallelepiped regions without symmetry assumptions is the domain extension technique. This method, however, presents several drawbacks. In particular, the control input at each time instant is obtained by simulating a PDE on an extended domain, from which the actual input on the original domain is approximated. By contrast, in the one-dimensional setting, once the time-independent backstepping gain kernel is known, the control input can be computed in closed form as a feedback depending solely on the state at that same instant. Moreover, problems such as output-feedback design or adaptive and robust control do not appear straightforward to address with the domain extension method, at least to the best of our knowledge. These considerations motivate the search, whenever possible, for alternatives that preserve the main advantages of one-dimensional backstepping. A motivating example for the domain extension method is the control of the heat equation on a piano-shaped domain, with actuation applied at the tail of the piano. In this extended abstract, we show through a simple calculation that the domain extension method is not required in this setting. Instead, a strategy akin to that used for parallelepiped domains can be adopted. This result constitutes a first instance of a broader framework for backstepping control of asymmetric PDEs posed on non-parallelepiped regions, which we refer to as domains with graph-monotone boundaries. The general framework is developed in a forthcoming paper.

eess.SY↗

Boundary Control for Wildfire Mitigation

In this paper, we propose a feedback control strategy to protect vulnerable areas from wildfires. We consider a system of coupled partial differential equations (PDEs) that models heat propagation and fuel depletion in wildfires and study two cases. First, when the wind velocity is known, we design a Neumann-type boundary controller guaranteeing that the temperature of some protected region converges exponentially, in the $L^2$ norm, to the ambient temperature. Second, when the wind velocity is unknown, we design an adaptive Neumann-type boundary controller guaranteeing the asymptotic convergence, in the $L^2$ norm, of the temperature of the protected region to the ambient temperature. In both cases, the controller acts along the boundary of the protected region and relies solely on temperature measurements along that boundary. Our results are supported by numerical simulations.

math.AP↗

Stabilization of Quasilinear Parabolic Equations by Cubic Feedback at Boundary with Estimated Region of Attraction

For quasilinear parabolic partial differential equations (PDEs) that exhibit finite-time blow up in open loop, i.e., under null boundary conditions, we provide an estimate of the region of attraction under cubic feedback laws applied at the boundary, using boundary measurements. We guarantee: 1-L 2 and H 1 exponential stability of the origin with an estimate of the region of attraction. 2-Convergence of the H 2 and the C 1 norms of the solutions to zero. 3-Existence and uniqueness of complete classical solutions. 4-Positivity of the solutions starting from positive initial conditions. Unlike existing approaches, our framework handles nonlinear state-dependent diffusion, convection, and (destabilizing) reaction. The cubic terms are used to enlarge our estimate of the region of attraction. The size of the region of attraction is shown, in many cases, to grow unboundedly as diffusion increases. Finally, our controllers can be implemented as Neumann, Dirichlet, or mixed-type boundary conditions.

math.AP↗

Adaptive Boundary Control of the Kuramoto-Sivashinsky Equation Under Intermittent Sensing

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.

eess.SY↗

Convection-Enabled Boundary Control of a 2D Channel Flow

Nonlinear convection, the source of turbulence in fluid flows, may hold the key to stabilizing turbulence by solving a specific cubic polynomial equation. We consider the incompressible Navier-Stokes equations in a two-dimensional channel. The tangential and normal velocities are assumed to be periodic in the streamwise direction. The pressure difference between the left and right ends of the channel is constant. Moreover, we consider no-slip boundary conditions, that is, zero tangential velocity, at the top and bottom walls of the channel, and normal velocity actuation at the top and bottom walls. We design the boundary control inputs to achieve global exponential stabilization, in the L2 sense, of a chosen Poiseuille equilibrium profile for an arbitrarily large Reynolds number. The key idea behind our approach is to select the boundary controllers such that they have zero spatial mean (to guarantee mass conservation) but non-zero spatial cubic mean. We reveal that, because of convection, the time derivative of the L2 energy of the regulation error is a cubic polynomial in the cubic mean of the boundary inputs. Regulation is then achieved by solving a specific cubic equation, using the Cardano root formula. The results are illustrated via a numerical example.

eess.SY↗

Inverse Optimal Cardano-Lyapunov Feedback for PDEs with Convection

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.

eess.SY↗

From Sontag s to Cardano-Lyapunov Formula for Systems Not Affine in the Control: Convection-Enabled PDE Stabilization

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.

eess.SY↗

On the Intelligent Proportional Controller Applied to Linear Systems

We analyze in this paper the effect of the well known intelligent proportional controller on the stability of linear control systems. Inspired by the literature on neutral time delay systems and advanced type systems, we derive sufficient conditions on the order of the control system, under which, the used controller fails to achieve exponential stability. Furthermore, we obtain conditions, relating the system s and the control parameters, such that the closed-loop system is either unstable or not exponentially stable. After that, we provide cases where the intelligent proportional controller achieves exponential stability. The obtained results are illustrated via numerical simulations, and on an experimental benchmark that consists of an electronic throttle valve.

math.OC↗

Geometric Control of a Robot's Tool

The goal of this paper is to present a rigorous and intrinsic formulation of a Riemannian PD-regulator of the robot's tool, The first one is based upon the Lasalle's invariance principle, we use it to control the tool's position in the workspace under the assumption of absence of singularities in configuration space, The second method deals with geometrical constraints on the trajectory of the robot's tool with the same assumption, we construct a unique orthogonal force that is viewed as a gravitational force that keeps the tool constrained, We also present a variation of the first method in the case of double pendulum based on the Lyapunov stability theorem. With this modification, we control the tool and the difference between the two angles, we did simulations on a two-link manipulator that shows the efficiency of the presented methods.

math.OC↗

Chaos Synchronization using Nonlinear Observers with applications to Cryptography

The goal of this survey paper is to provide an introduction to chaos synchronization using nonlinear observers and its applications in cryptography. I start with an overview of cryptography. Then, I recall the basics of chaos theory and how to use chaotic systems for cryptography, with an introduction to the problem of chaos synchronization. Then, I present the theory of non-linear observers, which is used for the synchronization of chaotic systems. I start with an explanation of the observability problem. Then, I introduce some of the classical observers: Kalman filter, Luenberger observer, Extended Kalman filter, Thau's observer, and High gain observer. I finish by introducing the more advanced observers: Adaptive observers, Unknown inputs observers, Sliding mode observers and ANFIS (Adaptive Neuro-Fuzzy Inference Systems) observers.

nlin.CD↗

Fuzzy-based Higher Adaptive Order Sliding Mode Observers

In this article, I introduce the notion of Fuzzy-based Higher adaptive order sliding mode observers through the example of the super-twisting adaptive order sliding mode observer. I begin by presenting the super-twisting second order sliding mode observer for systems in triangular form. Then I replace the sign functions with fuzzy inference systems in order to eliminate the chattering effect. I then show that this variant of the super-twisting second order sliding mode observer may not converge depending on the input, so I replace the square root with an adaptive power $γ$. The efficiency of the proposed method is illustrated by simulations made on MATLAB/Simulink.

eess.SY↗