To read the full-text of this research, you can request a copy directly from the author.
Abstract
We consider a 1-D linear transport equation on the interval (0,L), with an internal scalar control. We prove that if the system is controllable in a periodic Sobolev space of order greater than 1, then the system can be stabilized in finite time, and we give an explicit feedback law.
To read the full-text of this research, you can request a copy directly from the author.
... The Fredholm transformation that we will use here was then applied independently on the Kuramoto-Sivashinky equation and the Korteweg-de Vries equation in [12] and [11], respectively, and on some hyperbolic PDEs where appear nonlocal terms in [4,10]. Let us notice that this Fredholm transformation allows us also to solve the stabilization problem of some PDEs with distributed controls, such as the Schrödinger equation [9] and the transport equation [30]. ...
... Notice that the explicit representation (32) of ξ n allows us to confirm the general rule of thumb for the construction of the Riesz basis: the first two equations of (30) are, roughly speaking, almost equivalent to the eigenproblem −Aϕ n = λ n ϕ n as n → ∞, with the exception of the homogeneous boundary condition at x = 1. We shall prove here that ξ n (1) → 0 as n → ∞, confirming the intuition that ξ n solution to (30) is the sought Riesz basis. We highlight though that finer analysis, and especially the growth of the eigenvalues λ n with respect to n, is required to prove that the family ξ n is quadratically close to the eigenfunctions. ...
... To obtain a solution of (29), it is necessary to deduce the existence of a sequence c n such that the last equation of (30) is satisfied (recall the definition (32) and the relation (33)). As in [9,11,12], the difficulty is that the righthand side of the last equation of (30) is not in the appropriate space to use the Riesz basis property. We circumvent this issue by writing the last line of (30) as follows: ...
... • ( f n , φ n ) n∈Z denote the eigenfunctions forming a Riesz basis and the associated biorthonormal family of the operator given by (74) and associated to the target system (72). ...
... On the other hand, as already mentioned, the initial system (33)-(34) is not controllable when γ = 0. Therefore, in this section we mainly focus on the controllability of system (33)-(34) which will be the object of Section 4.1 and Corollary 4.1. Then, as the operator A given by (58) and the operator A given by (74) share many common properties, almost all the calculations and estimates in Section 4.1.1-4.1.6 also hold for A, which will lead to the controllability of System (73).This will be the goal of Section 4.2 and Theorem 4.5. ...
... However the equation above is actually purely formal, and the "right way" to formulate it is the weak form in (310), which is not surprising, as, according to Corollary 5.1, T I ν is not defined and thus (311) has no real mathematical meaning. This is already the case for transport equations ( [73,74]). ...
In this article we study the so-called water tank system. In this system, the behavior of water contained in a 1-D tank is modelled by Saint-Venant equations, with a scalar distributed control. It is well-known that the linearized systems around uniform steady-states are not controllable, the uncontrollable part being of infinite dimension. Here we will focus on the linearized systems around non-uniform steady states, corresponding to a constant acceleration of the tank. We prove that these systems are controllable in Sobolev spaces, using the moments method and perturbative spectral estimates. Then, for steady states corresponding to small enough accelerations, we design an explicit Proportional Integral feedback law (obtained thanks to a well-chosen dynamic extension of the system) that stabilizes these systems exponentially with arbitrarily large decay rate. Our design relies on feedback equivalence/backstepping.
... The standard backstepping approach relies on the Volterra transform of the second kind. It is worth noting that, in some situations, more general transformations have to be considered as for Korteweg-de Vries equations [4], Kuramoto-Sivashinsky equations [10], Schrödinger's equation [8], and hyperbolic equations with internal controls [38]. ...
... The arguments are then in the spirit of [2] (see also [29]) via an eigenvalue problem in finite dimension using a contradiction argument. By Lemma 3.1, to obtain the nullcontrollability at the time T > T opt , it suffices to prove (38) by contradiction. Assume that there exists a sequence of solutions (v N ) of (39)-(41) such that ...
... Applying the characteristic method, one can deduce that v(t, ·) = 0 in (0, 1) for t < −τ k+1 − · · · − τ k+m . It follows that V = 0 which contradicts the fact V = 0. Thus (38) holds and the null-controllability is valid for T > T opt . The details can be found in [14]. ...
In this paper, we discuss our recent works on the null-controllability, the exact controllability, and the stabilization of linear hyperbolic systems in one dimensional space using boundary controls on one side for the optimal time. Under precise and generic assumptions on the boundary conditions on the other side, we first obtain the optimal time for the null and the exact controllability for these systems for a generic source term. We then prove the null-controllability and the exact controllability for any time greater than the optimal time and for any source term. Finally, for homogeneous systems, we design feedbacks which stabilize the systems and bring them to the zero state at the optimal time. Extensions for the non-linear homogeneous system are also discussed.
... The standard backstepping approach relies on the Volterra transform of the second kind. It is worth noting that, in some situations, more general transformations have to be considered as for Korteweg-de Vries equations [4], Kuramoto-Sivashinsky equations [10], Schrödinger's equation [8], and hyperbolic equations with internal controls [38]. ...
... The arguments are then in the spirit of [2] (see also [29]) via an eigenvalue problem in finite dimension using a contradiction argument. By Lemma 3.1, to obtain the nullcontrollability at the time T > T opt , it suffices to prove (38) by contradiction. Assume that there exists a sequence of solutions (v N ) of (39)-(41) such that ...
... Applying the characteristic method, one can deduce that v(t, ·) = 0 in (0, 1) for t < −τ k+1 − · · · − τ k+m . It follows that V = 0 which contradicts the fact V = 0. Thus (38) holds and the null-controllability is valid for T > T opt . The details can be found in [14]. ...
In this paper, we discuss our recent works on the null-controllability, the exact controllability, and the stabilization of linear hyperbolic systems in one dimensional space using boundary controls on one side for the optimal time. Under precise and generic assumptions on the boundary conditions on the other side, we first obtain the optimal time for the null and the exact controllability for these systems for a generic source term. We then prove the null-controllability and the exact controllability for any time greater than the optimal time and for any source term. Finally, for homogeneous systems, we design feedbacks which stabilize the systems and bring them to the zero state at the optimal time. Extensions for the non-linear homogeneous system are also discussed
... The Fredholm transformation that we will use here has then been applied independently on the Kuramoto-Sivashinky equation, Korteweg-de Vries equation in [11] and [10], respectively, and on some hyperbolic PDEs where appear non-local terms in [3]. Let us notice that this Fredholm transformation allows also to solve the stabilization problem of some PDEs with distributed controls, such as the Schrödinger equation [8] and the transport equation [29]. ...
... From (16), we deduce that ∀n ∈ N * , b n = 0. Now, we remark that by (29), we have ...
... Proof of Lemma 3. Recall that by (30), (29) and the definition of ε n given in (41), we have ...
This paper deals with the rapid stabilization of a degenerate parabolic equation with a right Dirich-let control. Our strategy consists in applying a backstepping strategy, which seeks to find an invertible transformation mapping the degenerate parabolic equation to stabilize into an exponentially stable system whose decay rate is known and as large as we desire. The transformation under consideration in this paper is Fredholm. It involves a kernel solving itself another PDE, at least formally. The main goal of the paper is to prove that the Fredholm transformation is well-defined, continuous and invertible in the natural energy space. It allows us to deduce the rapid stabilization.
... Aside of the seemingly different approach of hyperbolic systems [15,16,17,47,48], the proof of Step 1 and 2 relied heavily in the literature on the quadratically close criterion. Roughly speaking, it amounts to show, after some computations, that n∈N p∈N\{n} 1 |λ n − λ p + λ| 2 < +∞ which holds if the eigenvalues λ n of the operator A scales as n α with α > 3/2 but fails as soon as α ⩽ 3/2. ...
... We have so far excluded from our discussion the case α = 1 as it seems to be a very specific case with techniques of its own. Indeed, the rapid stabilization for hyperbolic systems was established in [16,17] through direct methods or by identifying the isomorphism applied to the eigenbasis leading to the Riesz basis [15,47,48]. The other results found in the literature were concerned with operators such that α ⩾ 2, and in these cases the Riesz basis properties was proved through the quadratically close criterion, thanks to the sufficient growth of the eigenvalues. ...
... However the equation above is actually purely formal, and the "right way" to formulate it is the weak form in (251), which is not surprising, as, according to Corollary 5.1, T I ν is not defined and thus (252) has no real mathematical meaning. This is already the case for transport equations [76,77]. ...
... 2 (267) Now, using the boundary conditions (76) for φ m , we have ...
In this article we study the so-called water tank system. In this system, the behavior of water contained in a one dimensional tank is modelled by Saint-Venant equations, with a scalar distributed control. It is well-known that the linearized systems around uniform steady-states are not controllable, the uncontrollable part being of infinite dimension. Here we will focus on the linearized systems around non-uniform steady states, corresponding to a constant acceleration of the tank. We prove that these systems are controllable in Sobolev spaces, using the moments method and perturbative spectral estimates. Then, for steady states corresponding to small enough accelerations, we design an explicit Proportional Integral feedback law (obtained thanks to a well-chosen dynamic extension of the system) that stabilizes these systems exponentially with arbitrarily large decay rate. Our design relies on feedback equivalence/backstepping.
... Conclude on the rapid stabilization using the operator equality. Aside of the seemingly different approach of hyperbolic systems [13,14,15,41,42], the proof Step 1 and 2 relied heavily in the literature on the quadratically close criterion. Roughly speaking it amounts to show after some computations that n∈N p∈N\{n} 1 |λ n − λ p + λ| 2 < +∞ which holds if the eigenvalues λ n of the operator A scales as n α with α > 3/2 but fails as soon as α ≤ 3/2. ...
... We have so far excluded from our discussion the case α = 1 as it seems to be a very specific case with techniques on its own. Indeed, the rapid stabilisation for hyperbolic systems was established in [14,15] through direct methods or by identifying the isomorphism applied to the eigenbasis leading to the Riesz basis [13,41,42]. The other results found in the literature were concerned with operators such that α ≥ 2, and in these case the Riesz basis properties was proved through the quadratically close criterion, thanks to the sufficient growth of the eigenvalues. ...
Fredholm-type backstepping transformation, introduced by Coron and L\"u, has become a powerful tool for rapid stabilization with fast development over the last decade. Its strength lies in its systematic approach, allowing to deduce rapid stabilization from approximate controllability. But limitations with the current approach exist for operators of the form for . We present here a new compactness/duality method which hinges on Fredholm's alternative to overcome the threshold. More precisely, the compactness/duality method allows to prove the existence of a Riesz basis for the backstepping transformation for skew-adjoint operator verifying , a key step in the construction of the Fredholm backstepping transformation, where the usual methods only work for . The illustration of this new method is shown on the rapid stabilization of the linearized capillary-gravity water wave equation exhibiting an operator of critical order .
... To study the stabilization of the system (1), as already mentioned, we will use the backstepping method. We focus on the construction of an appropriate Fredholm transformation, in the spirit of [11], which has emerged as an alternative to the Volterra transformation during the last years (see also [12,13,28,16,17,15]). Let us emphasize that our main stabilization result can be obtained from the abstract theorem given in [1, Theorem 1.6], but the backstepping method has some additional advantages (see [16, Remark 2]) that make relevant the present study. ...
... The usual backstepping approach for PDE, presented in [40], searches for isomorphisms under the form of a Volterra transform of the second kind (see (4.3)), which are conveniently always invertible, among other advantages. Some attempt to introduce a generalized backstepping approach which does not necessarily rely on Volterra transforms have also been introduced in [20,17,27,49,50,18,26]. The Volterra approach has been used in many areas and for many systems in the last decades including parabolic equations (see for instance [5,21,24]), hyperbolic system (see for instance [39,46,3,2,29,30,19]), etc. ...
We study the boundary stabilization of one-dimensional cross-diffusion systems in a moving domain. We show first exponential stabilization and then finite-time stabilization in arbitrary small-time of the linearized system around uniform equilibria, provided the system has an entropic structure with a symmetric mobility matrix. One example of such systems are the equations describing a Physical Vapor Deposition (PVD) process. This stabilization is achieved with respect to both the volume fractions and the thickness of the domain. The feedback control is derived using the backstepping technique, adapted to the context of a time-dependent domain. In particular, the norm of the backward backstepping transform is carefully estimated with respect to time.
... In what follows, we present two examples with different boundary conditions. Example 3.1: Finite-time stability of linear transport systems with periodic boundary conditions was investigated in Zhang (2019), and it has been proved that if the system is controllable in a periodic Sobolev space of order greater than 1, then it can be stabilised in finite-time. Here, we focus on the global finite time stability of the following transport bilinear system with internal control ...
Based on the idea of Lyapunov function, we investigate the output finite-time stability of some classes of abstract bilinear systems using feedback control laws. We first design a stabilizing feedback control. Then, we study the well-posedness of the system in closed-loop by using the theory of maximal monotone operators. Then we proceed to the question of output finite-time stability in a settling time of the system at hand. The obtained results are also applied to derive output finite time stabilization results for linear systems. The algorithm of feedback control design is further applied to finite dimension systems and also to PDE of parabolic and hyperbolic types.
... Also, several results (e.g. [15]) were obtained using a backstepping approach, a very powerful method based on a Volterra transformation, developed mainly for PDE in [24], and generalized recently with a Fredholm transformation for hyperbolic systems [13,36,35]. One may look at [21] for a more detailed survey about this method and its use for the Saint-Venant equations. ...
... In the recent years several studies started to look at other more general linear transforms such as Fredholm transforms [52,49,46,154,155,48,75,74]. These transforms are more general, and therefore potentially more powerful, but they are not always invertible and proving the invertibility of the candidate transform becomes one of the main difficulties. ...
Hyperbolic systems model the phenomena of propagations at finite speeds. They are present in many fields of science and, consequently, in many human applications. For these applications, the question of stability or stabilization of their stationary state is a major issue. In this paper we present state-of-the-art tools to stabilize 1-D nonlinear hyperbolic systems using boundary controls. We review the power and limits of energy-like Lyapunov functions; the particular case of density–velocity systems; a method to stabilize shock steady-states; an extraction method allowing to use the spectral information of the linearized system in order to stabilize the nonlinear system; and some results on proportional-integral boundary control. We also review open questions and perspectives for this field, which is still largely open.
... There are mainly two ways to prove the existence of the transformation, either by direct methods [18,19] or, more commonly, by proving the existence of a Riesz basis. For the latter, we again distinguish two cases: either the Riesz basis is deduced directly by an isomorphism applied on an eigenbasis [17,50,51] or the existence of a Riesz basis follows by controllability assumptions and sufficient growth of the eigenvalues of the spatial operator allowing in particular to prove that the family is quadratically close to the eigenfunctions [16,20,21,27] (see Section 2.2 and Section 4 for a definition). ...
We study the rapid stabilization of the heat equation on the 1-dimensional torus using the backstepping method with a Fredholm transformation. We prove that, under some assumption on the control operator, two scalar controls are necessary and sufficient to get controllability and rapid stabilization. This classical framework allows us to present the backstepping method with Fredholm transformations on Laplace operators in a sharp functional setting, which is the main objective of this work. Finally, we prove that the same Fredholm transformation also leads to the local rapid stability of the viscous Burgers equation.
... Also, several results (e.g. [16]) were obtained using a backstepping approach, a very powerful method based on a Volterra transformation, developed mainly for PDE in [24], and generalized recently with a Fredholm transformation for hyperbolic systems [14,34,35]. One may look at [22] for a more detailed survey about this method and its use for the Saint-Venant equations. ...
We study the exponential stability in the norm of the nonlinear Saint-Venant (or shallow water) equations with arbitrary friction and slope using a single Proportional-Integral (PI) control at one end of the channel. Using a good but simple Lyapunov function we find a simple and explicit condition on the gain the PI control to ensure the exponential stability of any steady-states. This condition is independent of the slope, the friction coefficient, the length of the river, the inflow disturbance and, more surprisingly, can be made independent of the steady-state considered. When the inflow disturbance is time-dependent and no steady-state exist, we still have the Input-to-State stability of the system, and we show that changing slightly the PI control enables to recover the exponential stability of slowly varying trajectories.
... The finite-time stabilization of system (1.1) can be solved via backstepping approach changing the distribution of its eigenvalues. In fact, the backstepping approach has successfully been used in considering the stabilization of various systems (see [2][3][4][5][6][7][8][9] and the reference therein). ...
This paper consider the finite-time boundary stabilization for a first-order hyperbolic system with integral kernel and lower order term. Via choosing a suitable integral transformation converting the original system into a finite-time stable object system, then, we obtain the control law and certify the finite-time stabilization of the closed-loop system combined with the finite-time stability of object system and invertibility of forward transformation.
... The standard backstepping approach relies on the Volterra transform of the second kind. It is worth noting that, in some situations, more general transformations have to be considered as for Korteweg-de Vries equations [8], Kuramoto-Sivashinsky equations [15], Schrödinger's equation [12], and hyperbolic equations with internal controls [53]. ...
The optimal time for the controllability of linear hyperbolic systems in one dimensional space with one-side controls has been obtained recently for time-independent coefficients in our previous works. In this paper, we consider linear hyperbolic systems with time-varying zero-order terms. We show the possibility that the optimal time for the null-controllability becomes significantly larger than the one of the time-invariant setting even when the zero-order term is indefinitely differentiable. When the analyticity with respect to time is imposed for the zero-order term, we also establish that the optimal time is the same as in the time-independent setting.
... The standard backstepping approach relies on the Volterra transform of the second kind. It is worth noting that, in some situations, more general transformations have to be considered as for Korteweg-de Vries equations [5], Kuramoto-Sivashinsky equations [9], Schrödinger's equation [7], and hyperbolic equations with internal controls [30]. ...
This paper is devoted to the controllability of a general linear hyperbolic system in one space dimension using boundary controls on one side. Under precise and generic assumptions on the boundary conditions on the other side, we previously established the optimal time for the null and the exact controllability for this system for a generic source term. In this work, we prove the null-controllability for any time greater than the optimal time and for any source term. Similar results for the exact controllability are also discussed.
... Originally introduced to stabilize system exponentially [15,20], recently it is further developed as a tool for null control and small-time stabilization problems [14,17,[28][29][30][31], the so called piecewise backstepping, which shares the advantage that the feedback (control) is well formulated. It consists in stabilizing system with arbitrary exponential decay rate (rapid stabilization) with explicit computable estimates, and splitting the time interval into infinite many parts such that on each part backstepping exponential stabilization is applied to make the energy divide at least by 2. Concerning our KdV case, at least for non-critical cases, rapid stabilization by backstepping is achieved in [13], where they used the controllability of KdV equation with control of the form b(t) = u x (t, 0) − u x (t, L) as an intermediate step. ...
The controllability of the linearized KdV equation with right Neumann control is studied in the pioneering work of Rosier [25]. However, the proof is by contradiction arguments and the value of the observability constant remains unknown, though rich mathematical theories are built on this totally unknown constant. We introduce a constructive method that gives the quantitative value of this constant.
... But due to the finite speed of propagation, we are not able to get small-time global approximate stabilization of system (1.6.14) by using this kind of control. Recently, Zhang [Zha18b,Zha18a] proved the finite time stabilization of (1.6.14) with one scalar control, ...
This thesis is devoted to the study of stabilization of partial differential equations by nonlinear feedbacks. We are interested in the cases where classical linearization and stationary feedback law do not work for stabilization problems, for example KdV equations and Burgers equations. More precisely, it includes three important cases : stabilization of nonlinear systems whose linearized systems are not asymptotically stabilizable ; small-time local stabilization of linear controllable systems ; small-time global stabilization of nonlinear controllable systems. We find a strategy for the small-time global stabilization of the viscous Burgers equation : small-time global approximate stabilization and small-time local stabilization. Moreover, using a quadratic structure, we prove that the KdV system is exponentially stabilizable even in the case of critical lengths.
... The backstepping method, first introduced by Krstic and his collaborators [26], corresponds to moving the spectrum with the help of some feedback laws. It has been improved in [10,12] so that can be adapted to more one dimensional models [11,42,43]. From a spectrum point of view, this method is different from any other stabilizing techniques concentrating on finite dimensional low frequency terms, as a result it can be applied to hyperbolic systems. ...
The null controllability of the heat equation is known for decades [19,23,30]. The finite time stabilizability of the one dimensional heat equation was proved by Coron--Nguy\^en [13], while the same question for high dimensional spaces remained widely open. Inspired by Coron--Tr\'elat [14] we find explicit stationary feedback laws that quantitatively exponentially stabilize the heat equation with decay rate and estimates, where Lebeau--Robbiano's spectral inequality [30] is naturally used. Then a piecewise controlling argument leads to null controllability with optimal cost , as well as finite time stabilization.
... The standard backstepping approach relies on the Volterra transform of the second kind. It is worth noting that, in some situations, more general transformations have to be considered as for Korteweg-de Vries equations [19], Kuramoto-Sivashinsky equations [20], Schrödinger's equation [21], and hyperbolic equations with internal controls [22]. ...
This paper investigates the finite-time stability of some classes of abstract bilinear and linear systems using feedback control laws. We first design stabilizing feedback controls, and then based on the Lyapunov method, we proceed to the question of finite-time stability in a settling time of the system at hand and examine additional forms of finite-time stability, including the case of multiple equilibrium states and partial stability. The obtained results are further applied to parabolic and hyperbolic PDEs.
We study the rapid stabilization of the heat equation on the 1-dimensional torus using the backstepping method with a Fredholm transformation. This classical framework allows us to present the backstepping method with Fredholm transformations for the Laplace operator in a sharp functional setting, which is the main objective of this work. We first prove that, under some assumptions on the control operator, two scalar controls are necessary and sufficient to get controllability and rapid stabilization. Then, we prove that the Fredholm transformation constructed for the Laplacian also leads to the local rapid stability of the viscous Burgers equation.
This work focuses on the observer design for a first order ODE-transport PDE coupled at the boundary points. A novel anti-collocated observer and an output feedback boundary control law are designed for an under-actuated coupled system using the backstepping method. The homo-directional hyperbolic type PDE is considered with in-domain coupling between the states. The stabilization of the coupled systems are discussed by Lyapunov theory and linear matrix inequality (LMI) approach is implemented to design the gains. The obtained results show that the observer value coincides with the actual ones and it has been demonstrated through numerical examples. The effectiveness of the output feedback controller is also illustrated.
This paper deals with the exponential stabilization of first order ODE-transport PDE coupled at the boundary point. A state feedback boundary control law has been formulated with the help of the backstepping method. The main novelty of this paper is that the stabilization of the coupled system is discussed by Lyapunov theory and the appropriate observer gain is designed by using the linear matrix inequalities (LMIs). An anti-collocated observer design for the corresponding dual system is also presented. The state feedback boundary controller, observer design and the stabilization of the closed-loop system are discussed in detail with illustrative numerical examples.
We construct explicit time-varying feedback laws leading to the global (null) stabilization in small time of the viscous Burgers equation with three scalar controls. Our feedback laws use first the quadratic transport term to achieve the small-time global approximate stabilization and then the linear viscous term to get the small-time local stabilization.
In this thesis we study controllability and stabilization questions for some hyperbolic systems in one space dimension, with an internal control. The first question we study is the indirect internal controllability of a system of two coupled semilinear wave equations, the control being a function of time and space. Using the so-called fictitious control method, we give sufficient conditions for such a system to be locally controllable around 0, and a natural condition linking the minimal control time to the support of the control. Then, we study a particular case where the aforementioned sufficient conditions are not satisfied, applying the return method.The second question in this thesis is the design of explicit scalar feedbacks to stabilize controllable systems. The method we use draws from the backstepping method for PDEs elaborated by Miroslav Krstic, and its most recent developments: thus, the controllability of the system under consideration plays a crucial role. The method yields explicit stationary feedbacks which stabilize the linear periodic transport equation exponentially, and even in finite time.Finally, we implement this method on a more complex system, the so-called water tank system. We prove that the linearized systems around constant acceleration equilibria are controllable if the acceleration is not too strong. Our method then yields explicit feedbacks which, although they remain explicit, are no longer stationary and require the addition of an integrator in the feedback loop.
Using the backstepping approach we recover the null controllability for the heat equations with variable coefficients in space in one dimension and prove that these equations can be stabilized in finite time by means of periodic time-varying feedback laws. To this end, on the one hand, we provide a new proof of the well-posedness and the “optimal” bound with respect to damping constants for the solutions of the kernel equations; this allows one to deal with variable coefficients, even with a weak regularity of these coefficients. On the other hand, we establish the well-posedness and estimates for the heat equations with a nonlocal boundary condition at one side.
We consider the one dimensional Schr\"odinger equation with a bilinear control and prove the rapid stabilization of the linearized equation around the ground state. The feedback law ensuring the rapid stabilization is obtained using a transformation mapping the solution to the linearized equation on the solution to an exponentially stable target linear equation. A suitable condition is imposed on the transformation in order to cancel the non-local terms arising in the kernel system. This conditions also insures the uniqueness of the transformation. The continuity and invertibility of the transformation follows from exact controllability of the linearized system.
This paper deals with the stabilization problem of first-order hyperbolic partial differential equations (PDEs) with spatial-temporal actuation over the full physical domains. We assume that the interior actuator can be decomposed into a product of spatial and temporal components, where the spatial component satisfies a specific ordinary differential equation (ODE). A Volterra integral transformation is used to convert the original system into a simple target system using the backstepping-like procedure. Unlike the classical backstepping techniques for boundary control problems of PDEs, the internal actuation can not eliminate the residual term that causes the instability of the open-loop system. Thus, an additional differential transformation is introduced to transfer the input from the interior of the domain onto the boundary. Then, a feedback control law is designed using the classic backstepping technique which can stabilize the first-order hyperbolic PDE system in a finite time, which can be proved by using the semigroup arguments. The effectiveness of the design is illustrated with some numerical simulations.
Abstract We consider feedback transformations of the backstepping/feedback linearization type that have been prevalent in nite dimensional nonlinear stabilization, and, with the objective of ulti- mately addressing nonlinear PDE’s, generate the rst such transformations for a linear PDE that can have an arbitrary nite number,of open-loop unstable eigenvalues. These transformations have the form of recursive relationships and the fundamental,difculty is that the recursion has an innite number,of iterations. Naive versions of backstepping lead to unbounded,coefcients in those transformations. We show how to design them such that they are sufciently,regu- lar (not continuous but L∞). We then establish closedñloop stability, regularity of control, and regularity of solutions of the PDE.
This article studies a class of control systems in a Hilbert space H given by x ˙(t)=Ax(t)+bu(t), where A generates a holomorphic semigroup on H, u(t) is a scalar control, and the control input b is possibly unbounded. Many systems with boundary or point control can be represented in this form. The author considers the question of what eigenvalues {α k } k∈I the closed-loop system can have when u(t) is a feedback control. S.-H. Sun’s condition on {α k } k∈I [SIAM J. Control Optimization 19, 730-743 (1981; Zbl 0482.93035)] is generalized to the case where b is unbounded but satisfies an admissibility criterion; this condition is generalized further when unbounded feedback elements are allowed. These results are applied to a structurally damped elastic beam with a single point actuator. Similar techniques also prove a spectral assignability result for a damped elastic beam with a moment control force at one end, even though the associated input element is not admissible in the appropriate sense.
We consider a 1-D tank containing an inviscid incompressible
irrotational fluid. The tank is subject to the control which consists
of horizontal moves. We assume that the motion of the fluid
is well-described by the Saint–Venant equations (also
called the
shallow water equations).
We prove the local
controllability of this nonlinear control
system around any steady state.
As a corollary we get that one can move from any steady state to any
other steady state.
In this paper a family of stabilizing boundary feedback control laws for a class of linear parabolic PDEs motivated by engineering
applications is presented. The design procedure presented here can handle systems with an arbitrary finite number of open-loop
unstable eigenvalues and is not restricted to a particular type of boundary actuation. Stabilization is achieved through the
design of coordinate transformations that have the form of recursive relationships. The fundamental difficulty of such transformations
is that the recursion has an infinite number of iterations. The problem of feedback gains growing unbounded as the grid becomes
infinitely fine is resolved by a proper choice of the target system to which the original system is transformed. We show how
to design coordinate transformations such that they are sufficiently regular (not continuous but L
∞). We then establish closed-loop stability, regularity of control, and regularity of solutions of the PDE. The result is accompanied
by a simulation study for a linearization of a tubular chemical reactor around an unstable steady state.
We consider the problem of boundary stabilization of a 1-D (one-dimensional) wave equation with an internal spatially varying antidamping term. This term puts all the eigenvalues of the open-loop system in the right half of the complex plane. We design a feedback law based on the backstepping method and prove exponential stability of the closed-loop system with a desired decay rate. For plants with constant parameters the control gains are found in closed form. Our design also produces a new Lyapunov function for the classical wave equation with passive boundary damping.
We give a new sufficient condition on the boundary conditions for the exponential stability of one-dimensional nonlinear hyperbolic systems on a bounded interval. Our proof relies on the construction of an explicit strict Lyapunov function. We compare our sufficient condition with other known sufficient conditions for nonlinear and linear one-dimensional hyperbolic systems.
We consider a tank containing a fluid. The tank is subjected to
directly controlled translations and rotations. The fluid motion is
described by linearized wave equations under shallow water
approximations. For irrotational flows, a new variational formulation of
Saint-Venant equations is proposed. This provides a simple method to
establish the equations when the tank is moving. Several control
configurations are studied: one and two horizontal dimensions; tank
geometries (straight and nonstraight bottom, rectangular and circular
shapes), tank motions (horizontal translations with and without
rotations). For each configuration, we prove that the linear
approximation is steady-state controllable and provide a simple and
flatness-based algorithm for computing the steering open-loop control.
These algorithms rely on operational calculus. They lead to second order
equations in space variables whose fundamental solutions define delay
operators corresponding to convolutions with compact support kernels.
For each configuration, several controllability open-problems are
proposed and motivated
This paper deals with the stabilization of a rotating body-beam
system with torque control. The system we consider is the one studied by
Baillieul and Levi (1987). Xu and Baillieul proved (1993) that, for any
constant angular velocity smaller than a critical one, this system can
be stabilized by means of a feedback torque control law if there is
damping. We prove that this result also holds if there is no damping
We consider a tank containing a fluid. The tank is subjected to a one-dimensional horizontal move and the motion of the fluid is described by Saint-Venant's equations. We show how to parameterize the trajectories of the linearized system thanks to the horizontal coordinate of a particular point in the system -- the "flat output", see figure 2-- and a periodic function. The motion planning problem of the linearized model is solved in the general case of joining two steady states. Next we provide an algorithm, based on Godunov scheme, with a dedicated way of dealing with boundary conditions, to numerically simulate the evolution of the nonlinear system. Nonlinear simulations provide a way of checking the accuracy of the motion planning based on the tangent linear system. 1
We use a variant the backstepping method to study the stabilization of a 1-D linear transport equation on the interval \begin{document} (0,L) \end{document}, by controlling the scalar amplitude of a piecewise regular function of the space variable in the source term. We prove that if the system is controllable in a periodic Sobolev space of order greater than \begin{document} 1 \end{document}, then the system can be stabilized exponentially in that space and, for any given decay rate, we give an explicit feedback law that achieves that decay rate. The variant of the backstepping method used here relies mainly on the spectral properties of the linear transport equation, and leads to some original technical developments that differ substantially from previous applications.
We prove the null controllability of a linearized Korteweg–de Vries equation with a Dirichlet control on the left boundary. Instead of considering classical methods, i.e., Carleman estimates, the moment method, etc., we use a backstepping approach, which is a method usually used to handle stabilization problems.
We study the exponential stability for the C¹ norm of general 2 × 2 1-D quasilinear hyperbolic systems with source terms and boundary controls. When the propagation speeds of the system have the same sign, any nonuniform steady-state can be stabilized using boundary feedbacks that only depend on measurements at the boundaries and we give explicit conditions on the gain of the feedback. In other cases, we exhibit a simple numerical criterion for the existence of basic C¹ Lyapunov function, a natural candidate for a Lyapunov function to ensure exponential stability for the C¹ norm. We show that, under a simple condition on the source term, the existence of a basic C¹ (or Cp , for any p ≥ 1) Lyapunov function is equivalent to the existence of a basic H² (or Hq , for any q ≥ 2) Lyapunov function, its analogue for the H² norm. Finally, we apply these results to the nonlinear Saint-Venant equations. We show in particular that in the subcritical regime, when the slope is larger than the friction, the system can always be stabilized in the C¹ norm using static boundary feedbacks depending only on measurements at the boundaries, which has a large practical interest in hydraulic and engineering applications.
We address the question of the exponential stability for the norm of general 1-D quasilinear systems with source terms under boundary conditions. To reach this aim, we introduce the notion of basic Lyapunov functions, a generic kind of exponentially decreasing function whose existence ensures the exponential stability of the system for the norm. We show that the existence of a basic Lyapunov function is subject to two conditions: an interior condition, intrinsic to the system, and a condition on the boundary controls. We give explicit sufficient interior and boundary conditions such that the system is exponentially stable for the norm and we show that the interior condition is also necessary to the existence of a basic Lyapunov function. Finally, we show that the results conducted in this article are also true under the same conditions for the exponential stability in the norm, for any .
This paper focuses on the (local) small-time stabilization of a Korteweg–de Vries equation on bounded interval, thanks to a time-varying Dirichlet feedback law on the left boundary. Recently, backstepping approach has been successfully used to prove the null controllability of the corresponding linearized system, instead of Carleman inequalities. We use the “adding an integrator” technique to gain regularity on boundary control term which clears the difficulty from getting stabilization in small time.
This monograph explores the modeling of conservation and balance laws of one-dimensional hyperbolic systems using partial differential equations. It presents typical examples of hyperbolic systems for a wide range of physical engineering applications, allowing readers to understand the concepts in whichever setting is most familiar to them. With these examples, it also illustrates how control boundary conditions may be defined for the most commonly used control devices.
The authors begin with the simple case of systems of two linear conservation laws and then consider the stability of systems under more general boundary conditions that may be differential, nonlinear, or switching. They then extend their discussion to the case of nonlinear conservation laws and demonstrate the use of Lyapunov functions in this type of analysis. Systems of balance laws are considered next, starting with the linear variety before they move on to more general cases of nonlinear ones. They go on to show how the problem of boundary stabilization of systems of two balance laws by both full-state and dynamic output feedback in observer-controller form is solved by using a “backstepping” method, in which the gains of the feedback laws are solutions of an associated system of linear hyperbolic PDEs. The final chapter presents a case study on the control of navigable rivers to emphasize the main technological features that may occur in real live applications of boundary feedback control.
Stability and Boundary Stabilization of 1-D Hyperbolic Systems will be of interest to graduate students and researchers in applied mathematics and control engineering. The wide range of applications it discusses will help it to have as broad an appeal within these groups as possible.
This paper is devoted to a simple and new proof on the optimal finite control time for general linear coupled hyperbolic system by using boundary feedback on one side. The feedback control law is designed by first using a Volterra transformation of the second kind and then using an invertible Fredholm transformation. Both existence and invertibility of the transformations are easily obtained.
This paper deals with the saturated control problem of a class of distributed systems which can be modelled by first-order hyperbolic partial differential equations (PDE). The objective is designing a distributed-parameter state feedback with guaranteed performance for this class of systems, using the Lyapunov stability theory and polynomial sum-of-squares (SOS) programming. For this, a polynomial parameter varying (PPV) model is employed to exactly represent the nonlinear PDE system in a local region of the state space and then, based on it, a PPV state-feedback law is designed guaranteeing exponential stability and actuator saturation in such region. The approach is illustrated here through the standard example of a nonisothermal plug-flow reactor.
In this work, we consider the problem of boundary stabilization for a quasilinear 2×2 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 H2 exponential stability of the closed-loop 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 4×4 system of first-order hyperbolic PDEs, whose well-posedness is shown using the method of characteristics and successive approximations. Once the kernels are computed, the stabilizing feedback law can be explicitly constructed from them.
In the present article we study the stabilization of first-order linear
integro-differential hyperbolic equations. For such equations we prove that the
stabilization in finite time is equivalent to the exact controllability
property. The proof relies on a Fredholm transformation that maps the original
system into a finite-time stable target system. The controllability assumption
is used to prove the invertibility of such a transformation. Finally, using the
method of moments, we show in a particular case that the controllability is
reduced to the criterion of Fattorini.
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.
We propose a backstepping boundary control law for Burgers’ equation with actuator dynamics. While the control law without actuator dynamics depends only on the signals u(0,t) and u(1,t), the backstepping control also depends on u x (0,t),u x (1,t),u xx (0,t) and u xx (1,t), making the regularity of the control inputs the key technical issue of the paper. With elaborate Lyapunov analysis, we prove that all these signals are sufficiently regular and the closed-loop system, including the boundary dynamics, is globally H 3 stable and well posed.
The backstepping method is a systematic design tool for boundary control of various types of partial differential equations (PDEs). There has been no attempt to apply it to PDEs whose input is not at the boundary. In this paper, we consider a problem of feedback stabilization of 1-dimensional parabolic (unstable) PDEs with internal actuation based on the backstepping method. Since such a PDE can not be converted to a stable PDE by state feedback and the state transformation used in backstepping, an additional transformation is introduced. Under a certain condition, the newly proposed transformation moves the input from the interior of the domain to the boundary. This enables us to cancel the residual term that causes the open-loop instability by using the input. Furthermore, this transformation is continuously invertible. Therefore, a stabilizing state feedback for the original PDE is derived through the inverse transformation. The results are demonstrated by a numerical simulation.
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.
Canonical forms are developed for a class of linear hyperbolic systems. They are then applied to solve the problem of eigenvalue assignment by distributed feedback and boundary control. The duality of this problem is demonstrated to one of eigenvalue assignment by boundary feedback of an adjoint system subject to distributed control. For both systems it is shown that by feedback, the set , , can be assigned as eigenvalues of the closed loop system, subject to an asymptotic condition on the set . The feedback control is explicitly characterized.
Analogous results are obtained for the problem of eigenvalue assignment by distributed feedback and distributed control.
We prove the well-posedness of a linear closed-loop system with an explicit
(already known) feedback leading to arbitrarily large decay rates. We define a
mild solution of the closed-loop problem using a dual equation and we prove
that the original operator perturbed by the feedback is (up to the use of an
extension) the infinitesimal generator of a strongly continuous group. We also
give a justification to the exponential decay of the solutions. Our method is
direct and avoids the use of optimal control theory.
We consider the problem of stabilization of a one-dimensional wave equation that contains instability at its free end and control on the opposite end. In contrast to classical collocated “boundary damper” feedbacks for the neutrally stable wave equations with one end satisfying a homogeneous boundary condition, the controllers and the associated observers designed in the paper are more complex due to the open-loop instability of the plant. The controller and observer gains are designed using the method of “backstepping,” which results in explicit formulae for the gain functions. We prove exponential stability and the existence and uniqueness of classical solutions for the closed-loop system. We also derive the explicit compensators in frequency domain. The results are illustrated with simulations.
In this article we examine the effect of linear feedback control in the hyperbolic distributed parameter control system By means of a reduction to canonical form similar to the one already familiar for finite-dimensional systems we show this system to be equivalent to the controlled difference-delay system The theory of nonharmonic Fourier series is then employed to investigate the placement of eigenvalues in the closed loop system. Boundary value control and canonical form for observed systems are also studied.
We study the wellposedness and the main features of a class of feedback control systems. The involved control system is composed of the generator of a strongly continuous group for the free part and of an unbounded control operator, so that the results can be applied to boundary or point control problems for partial differential equations of hyperbolic or Petrowski type. The feedback operator is explicit and one can achieve an arbitrary large decay rate for the closed-loop system. These results are proved under a controllability assumption and the proofs rely on general results about the algebraic Riccati equation associated with the linear quadratic regulator problem.
This website provides an online version of the textbook "Mathematical control theory : second edition" by Eduardo Sontag from the Department of Mathematics, Rutgers, the State University of New Jersey, originally published by Springer in 1998. It introduces basic concepts and results in mathematical control and system theory. The book covers the "algebraic theory of linear systems, including controllability, observability, feedback equivalence, and minimality; stability via Lyapunov, as well as input/output methods; ideas of optimal control; observers and dynamic feedback; parameterization of stabilizing controllers (in the scalar case only); and some very basic facts about frequency domain such as the Nyquist criterion." The book is in PDF format.
This paper develops discontinuous control methods for minimum-phase semilinear infinite-dimensional systems driven in a Hilbert space. The control algorithms presented ensure asymptotic stability, global or local accordingly, as state feedback or output feedback is available, as well as robustness of the closed-loop system against external disturbances with the a priori known norm bounds. The theory is applied to stabilization of chemical processes around prespecified steady-state temperature and concentration profiles corresponding to a desired coolant temperature. Two specific cases, a plug flow reactor and an axial dispersion reactor, governed by hyperbolic and parabolic partial differential equations of first and second order, respectively, are under consideration. To achieve a regional temperature feedback stabilization around the desired profiles, with the region of attraction, containing a prescribed set of interest, a component concentration observer is constructed and included into the closed-loop system so that there is no need for measuring the process component concentration which is normally unavailable in practice. Performance issues of the discontinuous feedback design are illustrated in a simulation study of the plug flow reactor.
. We prove that under rather general assumptions an exactly controllable problem is uniformly stabilizable with arbitrarily prescribed decay rates. Our approach is direct and constructive and avoids many of the technical di#culties associated with the usual methods based on Riccati equations. We give several applications for the wave equation and for Petrovsky systems. Key words. observability, controllability, stabilizability by feedback, partial di#erential equation, wave equation, Petrovsky system AMS subject classifications. 35L05, 35Q72, 93B05, 93B07, 93C20, 93D15 PII. S0363012996301609 1. Introduction. Let# be a nonempty bounded open set in R n having a boundary # of class C 2 , and consider the following problem: (1.1) y ## -#y = 0 in# × (0, #), (1.2) y(0) = y 0 and y # (0) = y 1 in# , (1.3) y = u on # × (0, #). Considering u as a control function, a natural problem is to seek stabilizing feedback laws u = F (y, y # ). In order to motivate our work, let us r...