We study the output feedback exponential stabilization for a 1-d wave PDE with dynamic boundary. With only one measurement, we construct an infinite-dimensional state observer to trace the state and design an estimated state based controller to exponentially stabilize the original system. This is an essentially important improvement for the existence literature [Ö. Morgül, B.P. Rao and F. Conrad, IEEE Transactions on Automatic Control, 39(10) (1994), 2140-2145] where two measurements including the high order angular velocity feedback were adopted. When a control matched nonlinear internal uncertainty and external disturbance are taken into consideration, we construct an infinite-dimensional extended state observer (ESO) to estimate the total disturbance and state simultaneously. By compensating the total disturbance, an estimated state based controller is designed to exponentially stabilize the original system while making the closed-loop system bounded. Riesz basis approach is crucial to the verifications of the exponential stabilities of two coupled systems of the closed-loop systems. Some numerical simulations are presented to illustrate the effectiveness.
We consider an interlinked production model consisting of conservation laws (PDE) coupled to ordinary differential equations (ODE). Our focus is the analysis of control laws for the coupled system and corresponding stabilization questions of equilibrium dynamics in the presence of disturbances. These investigations are carried out using an appropriate Lyapunov function on the theoretical and numerical level. The discrete $L^2-$stabilization technique allows to derive a mixed feedback law that is able to ensure exponential stability also in bottleneck situations. All results are accompanied by …
In this paper, we present a rapid boundary stabilization of a Timoshenko beam with anti-damping and anti-stiffness at the uncontrolled boundary, by using PDE backstepping. We introduce a transformation to map the Timoshenko beam states into a (2+2) x (2+2) hyperbolic PIDE-ODE system. Then backstepping is applied to obtain a control law guaranteeing closed-loop stability of the origin in the H^1 sense. Arbitrarily rapid stabilization can be achieved by adjusting control parameters. Finally, a numerical simulation shows that the proposed controller can rapidly stabilize the Timoshenko beam. This…
This paper addresses the topic of global output feedback stabilization of semilinear reaction-diffusion PDEs. The semilinearity is assumed to be confined into a sector condition. We consider two different types of actuation configurations, namely: bounded control operator and right Robin boundary control. The measurement is selected as a left Dirichlet trace. The control strategy is finite dimensional and is designed based on a linear version of the plant. We derive a set of sufficient conditions ensuring the global exponential stabilization of the semilinear reaction-diffusion PDE. These cond…
The synthesis of suboptimal feedback laws for controlling nonlinear dynamics arising from semi-discretized PDEs is studied. An approach based on the State-dependent Riccati Equation (SDRE) is presented for H2 and Hinf control problems. Depending on the nonlinearity and the dimension of the resulting problem, offline, online, and hybrid offline-online alternatives to the SDRE synthesis are proposed. The hybrid offline-online SDRE method reduces to the sequential solution of Lyapunov equations, effectively enabling the computation of suboptimal feedback controls for two-dimensional PDEs. Numeric…
This paper studies the boundary output feedback stabilization of general 1-D reaction-diffusion PDEs in the presence of a state delay in the reaction term. The control input applies through a Robin boundary condition while the system output is selected as a either Dirichlet or Neumann boundary trace. The control strategy takes the form of a finite-dimensional observer-based controller with feedback and observer gains that are computed in order to dominate the state delayed term. For any arbitrarily given value of the state delay, we show the exponential stability of the resulting closed-loop s…
Using the backstepping design, we achieve exponential stabilization of the coupled Saint-Venant-Exner (SVE) PDE model of water dynamics in a sediment-filled canal with arbitrary values of canal bottom slope, friction, porosity, and water-sediment interaction under subcritical or supercritical flow regime. The studied SVE model consists of two rightward convecting transport Partial Differential Equations (PDEs) and one leftward convecting transport PDE. A single boundary input control (with actuation located only at downstream) strategy is adopted. A full state feedback controller is firstly de…
This paper provides necessary and sufficient conditions for exponential stabilization of distributed systems affine in control, evolving in a Banach state space, by means of constant controls. An explicit estimate of the convergence speed is obtained under the given constant control. Various applications are provided.
This paper addresses the boundary output feedback stabilization of general 1-D reaction-diffusion PDEs with delayed boundary measurement. The output takes the form of a either Dirichlet or Neumann trace. The output delay can be arbitrarily large. The control strategy is composed of a finite-dimensional observer that is used to observe a delayed version of the first modes of the PDE and a predictor component which is employed to obtain the control input to be applied at current time. For any given value of the output delay, we assess the stability of the resulting closed-loop system provided th…
This paper is devoted to the study of the stability and stabilizability of heat equation in non-cylindrical domain. The interesting thing is that there is a class of initial values such that the system is no longer exponentially stable. The system is only polynomially stable or only analogously exponentially stable. Then, the rapid exponential stabilization of the system is obtained by the backstepping method.
The present work is devoted to the problem of boundary stabilization of the semilinear 1-D heat equation with nonlocal boundary conditions. The stabilizing controller is finite-dimensional, linear, given in an explicit form, involving only the eigenfunctions of the Laplace operator with nonlocal boundary conditions.
In this paper, we study the stabilization problem for the Ito systems with both multiplicative noise and multiple delays which exist widely in applications such as networked control systems. Sufficient and necessary conditions are obtained for the exponential stabilization problem of Ito stochastic systems with multiple delays. On one hand, we derive the solvability of the modified Riccati equation in case of the mean-square exponential stabilization. On the other hand, the mean-square exponential stabilization is guaranteed by the solvability of a modified Riccati equation. A novel stabilizin…
This paper deals with the problem of boundary stabilization of first-order n\times n inhomogeneous quasilinear hyperbolic systems. A backstepping method is developed. The main result supplements the previous works on how to design multi-boundary feedback controllers to realize exponential stability of the original nonlinear system in the spatial H^2 sense.
This paper is concerned with the output feedback boundary stabilization of general 1-D reaction diffusion PDEs in the presence of an arbitrarily large input delay. We consider the cases of Dirichlet/Neumann/Robin boundary conditions for the both boundary control and boundary condition. The boundary measurement takes the form of a either Dirichlet or Neumann trace. The adopted control strategy is composed of a finite-dimensional observer estimating the first modes of the PDE coupled with a predictor to compensate the input delay. In this context, we show for any arbitrary value of the input del…
For an arbitrary parameter $p\in [1,+\infty]$, we consider the problem of exponential stabilization in the spatial $L^{p}$-norm, and $W^{1,p}$-norm, respectively, for a class of anti-stable linear parabolic PDEs with space-time-varying coefficients in the absence of a Gevrey-like condition, which is often imposed on time-varying coefficients of PDEs and used to guarantee the existence of smooth (w.r.t. the time variable) kernel functions in the literature. Then, based on the obtained exponential stabilities, we show that the solution of the considered system depends continuously on the $L^{p}$…
This paper studies the exponential stabilization on infinite dimensional system with impulse controls, where impulse instants appear periodically. The first main result shows that exponential stabilizability of the control system with a periodic feedback law is equivalent to one kind of weak observability inequalities. The second main result presents that, in the setting of a discrete LQ problem, the exponential stabilizability of control system with a periodic feedback law is equivalent to the solvability of an algebraic Riccati-type equation which was built up in [Qin, Wang and Yu, SIAM J. C…
We propose a new central synergistic hybrid approach for global exponential stabilization on the Special Orthogonal group SO(3). We introduce a new switching concept relying on a central family of (possibly) non-differentiable potential functions that enjoy (as well as their gradients) the following properties: 1) being quadratic with respect to the Euclidean attitude distance, and 2) being synergistic with respect to the gradient's singular and/or critical points. The proposed approach is used to solve the attitude tracking problem, leading to global exponential stability results.
In this work, we investigate the state stabilization and trajectory tracking problems of underactuated surface ships with full state model of having non-diagonal inertia and damping matrices. By combining the novel state transformations, the direct Lyapunov approach, and the nonlinear time-varying tools, the stabilization and the trajectory tracking controllers are developed respectively guaranteeing global uniform asymptotic convergence of the state to the desired set point and global exponential convergence to the desired reference trajectory via mild persistent exciting conditions. Simulati…
This paper discusses the in-domain feedback stabilization of reaction-diffusion PDEs with Robin boundary conditions in the presence of an uncertain time- and spatially-varying delay in the distributed actuation. The proposed control design strategy consists of a constant-delay predictor feedback designed based on the known nominal value of the control input delay and is synthesized on a finite-dimensional truncated model capturing the unstable modes of the original infinite-dimensional system. By using a small-gain argument, we show that the resulting closed-loop system is exponentially stable…
A class of nonlinear control-affine systems with bounded time-varying drift is considered. It is assumed that the control vector fields together with their iterated Lie brackets satisfy Hormander's condition in a neighborhood of the origin. Then the problem of exponential stabilization is treated by exploiting periodic time-varying feedback controls. An explicit parametrization of such controllers is proposed under a suitable non-resonance assumption. It is shown that these controllers ensure the exponential stability of the closed-loop system provided that the period is small enough. The prop…
This paper develops systematically the output feedback exponential stabilization for a one-dimensional unstable/anti-stable wave equation where the control boundary suffers from both internal nonlinear uncertainty and external disturbance. Using only two displacement signals, we propose a disturbance estimator that not only can estimate successfully the disturbance in the sense that the error is in $L^2(0,\infty)$ but also is free high-gain. With the estimated disturbance, we design a state observer that is exponentially convergent to the state of original system. An observer-based output feed…
This paper is devoted to the stabilization problem for nonlinear driftless control systems by means of a time-varying feedback control. It is assumed that the vector fields of the system together with their first order Lie brackets span the whole tangent space at the equilibrium. A family of trigonometric open-loop controls is constructed to approximate the gradient flow associated with a Lyapunov function. These controls are applied for the derivation of a time-varying feedback law under the sampling strategy. By using Lyapunov's direct method, we prove that the controller proposed ensures ex…
We develop reinforcement learning (RL) boundary controllers to mitigate stop-and-go traffic congestion on a freeway segment. The traffic dynamics of the freeway segment are governed by a macroscopic Aw-Rascle-Zhang (ARZ) model, consisting of $2\times 2$ quasi-linear partial differential equations (PDEs) for traffic density and velocity. Boundary stabilization of the linearized ARZ PDE model has been solved by PDE backstepping, guaranteeing spatial $L^2$ norm regulation of the traffic state to uniform density and velocity and ensuring that traffic oscillations are suppressed. Collocated Proport…
Classical discrete-time adaptive controllers provide asymptotic stabilization. While the original adaptive controllers did not handle noise or unmodelled dynamics well, redesigned versions were proven to have some tolerance; however, exponential stabilization and a bounded gain on the noise was rarely proven. Here we consider a classical pole placement adaptive controller using the original projection algorithm rather than the commonly modifed version; we impose the assumption that the plant parameters lie in a convex, compact set and that the parameter estimates are projected onto that set at…
We study the output feedback exponential stabilization of a one-dimensional unstable wave equation, where the boundary input, given by the Neumann trace at one end of the domain, is the sum of the control input and the total disturbance. The latter is composed of a nonlinear uncertain feedback term and an external bounded disturbance. Using the two boundary displacements as output signals, we design a disturbance estimator that does not use high gain. It is shown that the disturbance estimator can estimate the total disturbance in the sense that the estimation error signal is in $L^2[0,\infty)…
We consider the problem of stabilizing the bilayer \textit{Saint-Venant} model, which is a coupled system of two rightward and two leftward convecting transport partial differential equations (PDEs). In the stability proofs, we employ a Lyapunov function in which the parameters need to be successively determined. To the best of the authors' knowledge, this is the first time this kind of Lyapunov function is employed, and this result is the first one on the stabilization of the linearized bilayer \textit{Saint-Venant} model. Numerical simulations of the bilayer \textit{Saint-Venant} problem are…
In this work, we consider the problem of boundary stabilization for a quasilinear 2X2 system of first-order hyperbolic PDEs. We design a new full-state feedback control law, with actuation on only one end of the domain, which achieves H^2 exponential stability of the closedloop system. Our proof uses a backstepping transformation to find new variables for which a strict Lyapunov function can be constructed. The kernels of the transformation are found to verify a Goursat-type 4X4 system of first-order hyperbolic PDEs, whose well-posedness is shown using the method of characteristics and success…
We present designs for exponential stabilization of an ODE-heat PDE-ODE coupled system where the control actuation only acts in one ODE. The combination of PDE backstepping and ODE backstepping is employed in a state-feedback control law and in an observer that estimates PDE and two ODE states only using one PDE boundary measurement. Based on the state-feedback control law and the observer, the output-feedback control law is then proposed. The exponential stability of the closed-loop system and the boundedness and exponential convergence of the control law are proved via Lyapunov analysis. Fin…
This paper is devoted to the study of the local rapid exponential stabilization problem for a controlled Kuramoto-Sivashinsky equation on a bounded interval. We build a feedback control law to force the solution of the closed-loop system to decay exponentially to zero with arbitrarily prescribed decay rates, provided that the initial datum is small enough. Our approach uses a method we introduced for the rapid stabilization of a Korteweg-de Vries equation. It relies on the construction of a suitable integral transform and can be applied to many other equations.
This paper is devoted to the study of the rapid exponential stabilization problem for a controlled Korteweg-de Vries equation on a bounded interval with homogeneous Dirichlet boundary conditions and Neumann boundary control at the right endpoint of the interval. For every noncritical length, we build a feedback control law to force the solution of the closed-loop system to decay exponentially to zero with arbitrarily prescribed decay rates, provided that the initial datum is small enough. Our approach relies on the construction of a suitable integral transform.
Delay is Necessary for a Potential to Achieve Exponential Stabilization of the Wave Equation via Internal Control
Université Paris-Saclay, CNRS, CentraleSupélec, Inria, Laboratoire des Signaux et Systèmes (L2S)(巴黎萨克雷大学、法国国家科学研究中心、中央理工-苏佩莱克学院、法国国家信息与自动化研究所、信号与系统实验室);Université de Monastir(蒙纳斯蒂尔大学);Institut Polytechnique des Sciences Avancées (IPSA)(高等科学技术理工学院)