Control of Polynomial Nonlinear Systems Using Higher Degree Lyapunov Functions
Post on 21-Dec-2016
Embed Size (px)
Control of Polynomial Nonlinear Systems usingHigher Degree Lyapunov Functions
Shuowei Yang and Fen WuDepartment of Mechanical and Aerospace Engineering
North Carolina State UniversityRaleigh, NC 27695
E-mail: email@example.com, firstname.lastname@example.org
ABSTRACTIn this paper, we propose a new control design approach for polynomial nonlinear systems based on higher
degree Lyapunov functions. To derive higher degree Lyapunov functions and polynomial nonlinear controllerseffectively, the original nonlinear systems are augmented under the rule of power transformation. The augmentedsystems have more state variables and the additional variables represent higher order combinations of the originalones. As a result, the stabilization and L2 gain control problems with higher degree Lyapunov functions can berecast to the search of quadratic Lyapunov functions for augmented nonlinear systems. The Sum-of-Squares (SOS)programming is then used to solve the quadratic Lyapunov function of augmented state variables (higher degreein terms of original states) and its associated nonlinear controllers through convex optimization problems. Theproposed control approach has also been extended to polynomial nonlinear systems subject to actuator saturationsfor better performance including domain of attraction (DOA) expansion and regional L2 gain minimization. Severalexamples are used to illustrate the advantages and benefits of the proposed approach for unsaturated and saturatedpolynomial nonlinear systems.
1 IntroductionThe analysis and control of nonlinear systems have been continually listed among the most challenging problems in
the area of systems and control. Lyapunov method is one of the most important methods to study nonlinear problems. It iswell known that quadratic Lyapunov functions are appropriate for Lyapunov-based analysis and control of linear systems.However, for more complicated systems such as polynomial nonlinear systems and those with saturated actuators, it isbelieved that quadratic Lyapunov function form is not adequate and would lead to conservative results. Therefore, the studyof these nonlinear systems often requires higher degree Lyapunov functions as well as polynomial nonlinear controllers toimprove the capability of nonlinear control designs.
Our study will focus on a class of nonlinear systems with polynomial vector field. In the past decade, Sum-of-Squares(SOS) decomposition  has become a powerful technique for the Lyapunov stability and reachability analysis of poly-nomial nonlinear systems [11, 17, 22, 23, 26, 30, 31, 33, 40] and provided an effective algorithm for linear parameter-varyingsystems . With the help of higher degree Lyapunov functions, convex analysis conditions have been derived to enlargestability domains of nonlinear systems . On the other hand, most synthesis problems of polynomial control systemspursuing higher degree Lyapunov functions can be formulated as
Vx [A(x)+B(x)F(x)]x < 0,
which is a bilinear matrix inequality of the unknowns V (x) and F(x) and not reducible to convex problems. Therefore,simultaneous searching of the polynomial Lyapunov function and nonlinear controller gain is computationally cumbersome.
Corresponding author. Phone: (919) 515-5268, Fax: (919) 515-7968.
Journal of Dynamic Systems, Measurement and Control. Received March 08, 2013;Accepted manuscript posted December 06, 2013. doi:10.1115/1.4026172Copyright (c) 2013 by ASME
There are currently several synthesis approaches of solving nonlinear control problems for polynomial nonlinear sys-tems. By representing the open-loop nonlinear systems in a pre-selected state dependent linear-like form, sufficient condi-tions for nonlinear control problems were formulated as state-dependent linear matrix inequalities (LMIs) . Specifically,the nonlinear dynamics was written in the form of x = A(x)Z(x)+B(x)u using a restricted polynomial vector Z(x) of thestate variables. Nonlinear control problems were then solved using a higher degree Lyapunov function in the form ofV (x) = ZT (x)PZ(x). An alternative approach in [9,10] employed a transformed vector Z(x) =W (x)x of the same dimensionas state variables and W (x) as a square, lower triangular polynomial matrix with all diagonal elements equal to 1. Furtherworks along this line have been done in [15, 16] by removing the restriction of Z(x) and focusing on optimal control anddisturbance rejection problems. A non-iterative two-step design procedure was also proposed with the first step aiming tofind a feasible solution, while the second step utilizing polynomial annihilators to reduce the conservatism in the first step.Although the methods of [9,10,28] could work for some examples, one of the drawbacks is that they may lead to infeasibilityfor some pre-selected polynomial vector Z(x). Besides, the resulting performance of the control design would depend onthe selection of Z(x). This pre-selection process often requires insight of the nonlinear dynamics and there is no systematicapproach currently available to guide the selection of better vectors.
On the other hand, a convex parametrization of nonlinear output-feedback L2 gain control condition was derived in based on a pair of positive definite matrix functions P(x),Q(x). Unfortunately, it is difficult, if not impossible, to specifythe functional form of P(x) such that V (x)/x = 2xT P(x) except for the trivial case when P(x) is a constant matrix. There-fore, the proposed synthesis condition does not naturally lead to computationally tractable solution algorithms for nonlinearinduced L2-gain control. As an improvement to , an iterative algorithm was proposed in  to solve polynomial Lya-punov functions and their associated nonlinear controllers starting from a quadratic Lyapunov function. To this end, thenon-convex synthesis problem was overcome by a computational scheme similar to the DK iteration. The iterative algo-rithm, however, may not converge to its global minimum and the result could be conservative. Since the set of polynomialLyapunov functions V (x) and stabilizing control laws K(x) are not jointly convex, a dual approach to the state feedbackstabilization problem was proposed in  using density functions. Nevertheless, it is unclear how to choose the densityfunction with optimized denominator. In addition, a performance criterion cannot be incorporated into the density-basedapproach to optimize nonlinear control designs.
As one of the most common nonlinearities in engineering, saturation has received increasing attention from control re-searchers. Comparing with large number of literatures dealing with linear saturated systems [3,18,32], there are only limitedworks addressing analysis and synthesis problems of nonlinear systems subject to saturation nonlinearity. The tools devel-oped for linear systems can not be applied directly to the nonlinear systems, thus hinders the research on saturation control ofnonlinear systems. Reference  obtained a universal construction of Artsteins theorem and derived a nonlinear controlformula for smooth nonlinear systems with bounded control input. Nevertheless, the construction of such a stabilizing con-trol law relies on a given control Lyapunov function, which may not available at hand. In , an optimality-based nonlinearcontrol approach was proposed for nonlinear systems with sector-bounded input nonlinearities by solving the HJB equationof unsaturated nonlinear systems. Then, a family of globally stabilizing controllers parameterized by the cost functionalminimization is utilized. In , a special class of nonlinear systems involving linear saturated systems affected by sector-bounded nonlinearities was studied. The saturated nonlinear systems were stabilized regionally using nonlinearity-dependentsaturation control laws. Recently,  proposed the design of nonlinear state-feedback control laws for polynomial systems(unsaturated or saturated) by reformulating quadratic stabilization conditions as polynomial inequalities. They are then re-laxed to SOS programs in solving quadratic Lyapunov functions and controller gains simultaneously. It is worth to mentionthat most of existing works have focused on the construction of quadratic Lyapunov functions for nonlinear saturation controlproblems.
The concept of power transformation was first introduced for linear systems in . Since then, power transformation hasbeen used to analyze stability of nonlinear systems . Utilizing this transformation in representing higher order polynomialsand higher degree Lyapunov functions, reference  improved the estimation of robust stability region for uncertain linearsystems. Inspired by the analysis results using power transformation, we will employ this transformation for nonlinearcontrol synthesis problems. Our proposed approach will lead to a systematic procedure of augmenting polynomial nonlinearsystems to their higher-order equivalent forms, which have more variables and rich representations than the original nonlinearmodels. With the help of power transformation, it can be shown that if a polynomial nonlinear system is quadraticallystabilizable, there always exists stabilizing higher degree Lyapunov functions for the system. Consequently, the designof higher degree Lyapunov functions for original nonlinear systems can be recast to the search of quadratic Lyapunovfunctions for augmented systems. By combining power transformation and SOS programming techniques, it is possible tosynthesize such Lyapunov functions (higher order in terms of orig