Preprint

Finite time internal stabilization of a linear 1 D transport equation

Authors:
Preprints and early-stage research may not have been peer reviewed yet.
To read the file of this research, you can request a copy directly from the author.

No file available

Request Full-text Paper PDF

To read the file of this research,
you can request a copy directly from the author.

ResearchGate has not been able to resolve any citations for this publication.
Article
Full-text available
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.
Article
Full-text available
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.
Article
Full-text available
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.
Article
Full-text available
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.
Article
Full-text available
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.
Article
Full-text available
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 successive approximations. Once the kernels are computed, the stabilizing feedback law can be explicitly constructed from them.
Article
Full-text available
 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.
Article
Full-text available
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.
Article
Full-text available
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
Article
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.
Article
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.
Article
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.
Article
We address the question of the exponential stability for the C1C^{1} norm of general 1-D quasilinear systems with source terms under boundary conditions. To reach this aim, we introduce the notion of basic C1C^{1} Lyapunov functions, a generic kind of exponentially decreasing function whose existence ensures the exponential stability of the system for the C1C^{1} norm. We show that the existence of a basic C1C^{1} 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 C1C^{1} norm and we show that the interior condition is also necessary to the existence of a basic C1C^{1} 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 CpC^{p} norm, for any p1p\geq1.
Article
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.
Book
This revised and expanded monograph presents the general theory for frames and Riesz bases in Hilbert spaces as well as its concrete realizations within Gabor analysis, wavelet analysis, and generalized shift-invariant systems. Compared with the first edition, more emphasis is put on explicit constructions with attractive properties. Based on the exiting development of frame theory over the last decade, this second edition now includes new sections on the rapidly growing fields of LCA groups, generalized shift-invariant systems, duality theory for as well Gabor frames as wavelet frames, and open problems in the field. Key features include: *Elementary introduction to frame theory in finite-dimensional spaces * Basic results presented in an accessible way for both pure and applied mathematicians * Extensive exercises make the work suitable as a textbook for use in graduate courses * Full proofs includ ed in introductory chapters; only basic knowledge of functional analysis required * Explicit constructions of frames and dual pairs of frames, with applications and connections to time-frequency analysis, wavelets, and generalized shift-invariant systems * Discussion of frames on LCA groups and the concrete realizations in terms of Gabor systems on the elementary groups; connections to sampling theory * Selected research topics presented with recommendations for more advanced topics and further readin g * Open problems to stimulate further research An Introduction to Frames and Riesz Bases will be of interest to graduate students and researchers working in pure and applied mathematics, mathematical physics, and engineering. Professionals working in digital signal processing who wish to understand the theory behind many modern signal processing tools may also find this book a useful self-study reference. Review of the first edition: "Ole Christensen’s An Introduction to Frames and Riesz Bases is a first-rate introduction to the field … . The book provides an excellent exposition of these topics. The material is broad enough to pique the interest of many readers, the included exercises supply some interesting challenges, and the coverage provides enough background for those new to the subject to begin conducting original research." — Eric S. Weber, American Mathematical Monthly, Vol. 112, February, 2005
Book
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.
Article
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.
Article
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.
Article
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.
Article
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.
Conference Paper
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.
Article
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.
Book
Preface.- 1. The Hahn-Banach Theorems. Introduction to the Theory of Conjugate Convex Functions.- 2. The Uniform Boundedness Principle and the Closed Graph Theorem. Unbounded Operators. Adjoint. Characterization of Surjective Operators.- 3. Weak Topologies. Reflexive Spaces. Separable Spaces. Uniform Convexity.- 4. L^p Spaces.- 5. Hilbert Spaces.- 6. Compact Operators. Spectral Decomposition of Self-Adjoint Compact Operators.- 7. The Hille-Yosida Theorem.- 8. Sobolev Spaces and the Variational Formulation of Boundary Value Problems in One Dimension.- 9. Sobolev Spaces and the Variational Formulation of Elliptic Boundary Value Problems in N Dimensions.- 10. Evolution Problems: The Heat Equation and the Wave Equation.- 11. Some Complements.- Problems.- Solutions of Some Exercises and Problems.- Bibliography.- Index.
Article
We consider the problem of boundary feedback stabilization of homogeneous equilibria in unstable fluid mixtures that are governed by unstable linear reaction-convection-diffusion equations. We extend boundary feedback control laws designed for the one-dimensional reaction-diffusion equation using the backstepping method to this higher-dimensional case. We show that, under certain mathematical conditions on the velocity field, boundary feedback controls similar to the ones for one-dimensional equations also works for the higher dimensional case and exponentially stabilize the homogeneous equilibrium zero at any given decay rate.
Article
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 {ρj}\{ \rho _j \} , jZj \in \mathbb{Z}, can be assigned as eigenvalues of the closed loop system, subject to an asymptotic condition on the set {ρj}\{ \rho _j \} . The feedback control is explicitly characterized. Analogous results are obtained for the problem of eigenvalue assignment by distributed feedback and distributed control.
Article
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.
Article
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.
Article
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.
Article
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.
Article
. 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...
Stabilization of control systems and nonlinearities
  • Jean-Michel Coron
Jean-Michel Coron. Stabilization of control systems and nonlinearities. In Proceedings of the 8th International Congress on Industrial and Applied Mathematics, pages 17-40. Higher Ed. Press, Beijing, 2015.
Boundary control of PDEs
  • Miroslav Krstić
  • Andrey Smyshlyaev
Miroslav Krstić and Andrey Smyshlyaev. Boundary control of PDEs, volume 16 of Advances in Design and Control. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2008. A course on backstepping designs.
  • Amnon Pazy
Amnon Pazy. Semigroups of linear operators and applications to partial differential equations, volume 44 of Applied Mathematical Sciences. Springer-Verlag, New York, 1983.