Composite quadratic Lyapunov functions for constrained control systems

A Lyapunov function based on a set of quadratic functions is introduced in this paper. We call this Lyapunov function a composite quadratic function. Some important properties of this Lyapunov function are revealed. We show that this function is continuously differentiable and its level set is the convex hull of a set of ellipsoids. These results are used to study the set invariance properties of continuous-time linear systems with input and state constraints. We show that, for a system under a given saturated linear feedback, the convex hull of a set of invariant ellipsoids is also invariant. If each ellipsoid in a set can be made invariant with a bounded control of the saturating actuators, then their convex hull can also be made invariant by the same actuators. For a set of ellipsoids, each invariant under a separate saturated linear feedback, we also present a method for constructing a nonlinear continuous feedback law which makes their convex hull invariant.

[1]  Tingshu Hu,et al.  Control Systems with Actuator Saturation: Analysis and Design , 2001 .

[2]  A. Teel.  Global stabilization and restricted tracking for multiple integrators with bounded controls , 1992 .

[3]  Tingshu Hu,et al.  Stabilization of exponentially unstable linear systems with saturating actuators , 2001, IEEE Trans. Autom. Control..

[4]  Zongli Lin,et al.  Low gain feedback , 1999 .

[5]  Franco Blanchini,et al.  Set invariance in control , 1999, Autom..

[6]  Stephen P. Boyd,et al.  Linear Matrix Inequalities in Systems and Control Theory , 1994 .

[7]  Stephen P. Boyd,et al.  Analysis of linear systems with saturation using convex optimization , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[8]  E. Davison,et al.  A computational method for determining quadratic lyapunov functions for non-linear systems , 1971 .

[9]  Graham C. Goodwin,et al.  Robust hybrid control incorporating over-saturation , 1999 .

[10]  Tingshu Hu,et al.  Control Systems with Actuator Saturation: Analysis and Design , 2001 .

[11]  Anders Rantzer,et al.  Computation of piecewise quadratic Lyapunov functions for hybrid systems , 1997, 1997 European Control Conference (ECC).

[12]  D. Bernstein,et al.  A chronological bibliography on saturating actuators , 1995 .

[13]  Eduardo Sontag,et al.  A general result on the stabilization of linear systems using bounded controls , 1994, IEEE Trans. Autom. Control..

[14]  A. Michel,et al.  Dynamical systems with saturation nonlinearities , 1994 .

[15]  Tingshu Hu,et al.  Composite quadratic Lyapunov functions , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[16]  David Q. Mayne,et al.  Control of Constrained Dynamic Systems , 2001, Eur. J. Control.

[17]  Tingshu Hu,et al.  Semi-global stabilization with guaranteed regional performance of linear systems subject to actuator saturation , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[18]  R. Suárez,et al.  Linear systems with bounded inputs : global stabilization with eigenvalue placement , 1997 .

[19]  Sophie Tarbouriech,et al.  Piecewise-Linear Robust Control of Systems with Input Constraints , 1999, Eur. J. Control.

[20]  Zongli Lin,et al.  Semi-global Exponential Stabilization of Linear Systems Subject to \input Saturation" via Linear Feedbacks , 1993 .

[21]  David Q. Mayne,et al.  Constrained model predictive control: Stability and optimality , 2000, Autom..

[22]  K. T. Tan,et al.  Linear systems with state and control constraints: the theory and application of maximal output admissible sets , 1991 .

[23]  Elena De Santis,et al.  Controlled invariance and feedback laws , 2001, IEEE Trans. Autom. Control..

[24]  Tingshu Hu,et al.  Exact characterization of invariant ellipsoids for single input linear systems subject to actuator saturation , 2002, IEEE Trans. Autom. Control..

[25]  Davison,et al.  A computational method for determining quadratic Lyapunov Functions for nonlinear systems , 1970 .

[26]  A. Teel.  Linear systems with input nonlinearities: Global stabilization by scheduling a family of H∞-type controllers , 1995 .

[27]  Tingshu Hu,et al.  An analysis and design method for linear systems subject to actuator saturation and disturbance , 2002, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[28]  S. Weissenberger,et al.  Application of results from the absolute stability problem to the computation of finite stability domains , 1968 .

[29]  Basílio E. A. Milani.  Piecewise-affine Lyapunov functions for discrete-time linear systems with saturating controls , 2002, Autom..

[30]  Tingshu Hu,et al.  Exact characterization of invariant ellipsoids for linear systems with saturating actuators , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[31]  M. Cwikel,et al.  Admissible sets and feedback control for discrete-time linear dynamical systems with bounded controls and states , 1984 .

[32]  Kenneth Loparo,et al.  Estimating the domain of attraction for nonlinear feedback systems , 1976, 1976 IEEE Conference on Decision and Control including the 15th Symposium on Adaptive Processes.

[33]  P. R. Bélanger,et al.  Piecewise-linear LQ control for systems with input constraints , 1994, Autom..