We consider the problem of global stabilization of a semilinear dissipative evolution equation by finite-dimensional control with finite-dimensional outputs. Coupling between the system modes occurs directly through the nonlinearity and also through the control influence functions. Similar modal coupling occurs in the infinite-dimensional error dynamics through the nonlinearity and measurements. For both the control and observer designs, rather than decompose the original system into Fourier modes, we consider Lyapunov functions based on the infinite-dimensional dynamics of the state and error systems, respectively. The inner product terms of the Lyapunov derivative are decomposed into Fourier modes. Upper bounds on the terms representing control and observation spillover are obtained. Linear quadratic regulator (LQR) designs are used to stabilize the state and error systems with these upper bounds. Relations between system and LQR design parameters are given to ensure global stability of the state and error dynamics with robustness with respect to control and observation spillover, respectively. It is shown that the control and observer designs can be combined to yield a globally stabilizing compensator. The control and observer designs are numerically demonstrated on the problem of controlling stall in a model of axial compressors.
Introduction.Modeling and control of infinite-dimensional systems is commonly practiced by approximating the underlying system by a finite-dimensional lumped system (via Galerkin projection [33], proper orthogonal decomposition [28,20,21,30], inertial manifolds [45], etc.). This is not necessary when the control is also infinite-dimensional and the system is spatially invariant [4,25], which simplifies the analysis of the infinite-dimensional system. However, for practical reasons, it is desirable to obtain finite-dimensional controllers that will stabilize the entire system (see, e.g., [3,26,34]). The problem inherent in decomposing a nonlinear infinite-dimensional system into Fourier modes is that the nonlinearity couples all of the modes, often making the decomposed system just as intractable as the original infinite-dimensional one. Common to all dissipative systems, the higher modes of the system often exhibit some form of stability which allows for the treatment of a truncated system of a finite number of modes. Control design can then be systematically carried out to stabilize the reduced order system. However, a systematic and quantifiable method of determining the minimum order of truncation remains elusive. The high modes of the system cannot be completely neglected due to the fact that modes are still coupled through the nonlinearity and that the control can inadvertently introduce energy into these high modes. This energy can act to destabilize the high modes or can be transferred to the low modes through nonlinear coupling. This phenomenon is referred to as spillover [2]. Analysis of reduced order systems [10,17]