Bounded feedback stabilization and global separation principle of distributed parameter systems

We show that the infinite-dimensional system /spl Sigma/:x/spl dot/(t)=Ax(t)+Bu(t), x/sub 0/ /spl epsiv/ H is globally strongly asymptotically stabilizable by an arbitrarily small smooth feedback. Here, the operator A is the infinitesimal generator of a C/sub 0/ semigroup of contractions e/sup tA/ on real Hilbert space H and B is a bounded linear operator mapping a Hilbert space of controls U into H. An explicit smooth feedback control law is given. Further, we identify the class of perturbations for which the system is still stabilizable by the same feedback law as for the nominal system. Based on these results and some differential Lyapunov operator equations, we then establish a global separation principle for the system /spl Sigma/ with a Kalman-like observer. Finally, these results are illustrated via an example dealing with the wave equation.

[1]  V. Jurdjevic,et al.  Controllability and stability , 1978 .

[2]  Claude D. Benchimol,et al.  A Note on Weak Stabilizability of Contraction Semigroups , 1978 .

[3]  M. Slemrod,et al.  Asymptotic behavior of nonlinear contraction semigroups , 1973 .

[4]  Marshall Slemrod.  Feedback stabilization of a linear control system in Hilbert space with ana priori bounded control , 1989, Math. Control. Signals Syst..

[5]  C. Foias,et al.  Harmonic Analysis of Operators on Hilbert Space , 1970 .

[6]  Jean-Paul Gauthier,et al.  A separation principle for bilinear systems with dissipative drift , 1992 .

[7]  R. Curtain.  Infinite-Dimensional Linear Systems Theory , 1978 .

[8]  N. Ahmed,et al.  Stabilization of some distributed parameter systems , 1992 .

[9]  Glenn F. Webb,et al.  Continuous nonlinear perturbations of linear accretive operators in banach spaces , 1972 .

[10]  R. Triggiani.  On the stabilizability problem in Banach space , 1975 .

[11]  Alan S. I. Zinober,et al.  Stabilization of uncertain distributed parameter systems , 1993 .

[12]  Z. Bien,et al.  Robust stability of uncertain linear systems with saturating actuators , 1994, IEEE Trans. Autom. Control..

[13]  N. U. Ahmed,et al.  On exponential stability of infinite dimensional linear systems with bounded or unbounded perturbations , 1988 .

[14]  M. Corless,et al.  A new class of stabilizing controllers for uncertain dynamical systems , 1982, 1982 21st IEEE Conference on Decision and Control.

[15]  M. Slemrod.  A Note on Complete Controllability and Stabilizability for Linear Control Systems in Hilbert Space , 1974 .

[16]  Amnon Pazy,et al.  Semigroups of Linear Operators and Applications to Partial Differential Equations , 1992, Applied Mathematical Sciences.

[17]  Ian R. Petersen,et al.  Structural Stabilization of Uncertain Systems: Necessity of the Matching Condition , 1985 .

[18]  N. Ahmed,et al.  Invariance of asymptotic stability of perturbed linear systems on Hilbert space , 1991 .

[19]  John M. Ball,et al.  Feedback stabilization of distributed semilinear control systems , 1979 .

[20]  J. Ball.  On the asymptotic behavior of generalized processes, with applications to nonlinear evolution equations , 1978 .

[21]  N. Levan,et al.  Strong Stabilizability of Linear Contractive Control Systems on Hilbert Space , 1979 .

[22]  H. Fattorini.  Some Remarks on Complete Controllability , 1966 .