^{1}

^{*}

^{1}

^{*}

^{1}

^{*}

In this paper, a class of fire-new general integral control, named general concave integral control, is proposed. It is derived by normalizing the bounded integral control action and concave function gain integrator, introducing the partial derivative of Lyapunov function into the integrator and originating a class of new strategy to transform ordinary control into general integral control. By using Lyapunov method along with LaSalle’s invariance principle, the theorem to ensure regionally as well as semi-globally asymptotic stability is established only by some bounded information. Moreover, the highlight point of this integral control strategy is that the integrator output could tend to infinity but the integral control action is finite. Therefore, a simple and ingenious method to design general integral control is founded. Simulation results showed that under the normal and perturbed cases, the optimum response in the whole domain of interest can all be achieved by a set of the same control gains, even under the case that the payload is changed abruptly.

Integral control [

The simplest controllers that achieve integral action are of the proportional integral derivative (PID) form that introduces integral action by integrating the error. It is well known that integral-action controllers with this class of integrator often suffer a serious loss of performance due to integrator windup, which occurs when the actuators in the control loop saturate. Actuator saturation not only deteriorates the control performance, causing large overshoot and large settling time, but can also lead to instability, since the feedback loop is broken for such saturation. To disguise this drawback, various antiwindup schemes have been proposed to deal with integrator windup or to improve transient performance. These are classified into three different approaches: 1) conditional integration and/or integrator limiting [2-7], in which the integrator value is frozen or restricted when certain conditions are verified; 2) back-calculation [8-11], in which the difference between the controller output and the actual plant input is fed back to the integrator; and 3) a nonlinear integrator [12-16], whose output is shaped by a nonlinear error function before it enters the controller. Some conditional integration and/or integrator limiting may not guarantee a zero steady error and could result in an oscillatory system for the step-referent input when an estimated limitation is embedded in the controller. In the back-calculation approach, the compensation for integrators is active whenever actuators are saturated; integrator windup cannot be completely avoided. For nonlinear integrators, the output still goes to infinity and integrator windup may occur. In addition, the universal integral continuous sliding mode control (CISMC) first reported by [

In 2009, general integral control, which uses all available state variables to design the integrator, is originated in [

This paper is not a simple extension of the work [

Throughout this paper, we use the notation and to indicate the smallest and largest eigenvalues, respectively, of a symmetric positive define bounded matrix, for any. The norm of vector is defined as, and that of matrix is defined as the corresponding induced norm.

The remainder of the paper is organized as follows: Section 2 describes the system under consideration, assumption, and definition. Section 3 addresses the control design. Simulation is provided in Section 4. Conclusions are presented in Section 5.

Consider the following nonlinear system,

where is the state, is the control input, is the controlled output, is a vector of unknown constant parameter and disturbance. The functions, and are continuous in on the domain . In this study, the function does not necessarily vanish at the origin; i.e.,. Let be a vector of constant reference. Set and. We want to design a feedback control law such that as.

Assumption 1: For each, there is a unique pair that depends continuously on and satisfies the equations,

so that is the desired equilibrium point and is the steady-state control that is needed to maintain equilibrium at, where.

For convenience, we state all definitions, assumptions and theorems for the case when the equilibrium point is at the origin of, that is,. There is no loss of generality in doing so because any equilibrium point can be shifted to the origin via a change of variables.

Assumption 2: No loss of generality, suppose that the function satisfies,

where is a positive constant.

Assumption 3: Suppose that there exists a control law such that is an exponentially stable equilibrium point of the system,

and there exists a Lyapunov function that satisfies,

for all, and. Where, , and are all positive constants.

For the purpose of this note, we introduce the following definition and property, which is proposed by [

Definition 1: with, and denotes the set of all continuous differential increasing bounded functions,

such that

where stands for the absolute value.

An important property of function belonging to function set is that the Euclidean norm of satisfies for all,

For achieving asymptotic regulation and disturbance rejection, we need to include “integral action” in the control law. Thus, general integral controller are proposed as follows,

where,;

belongs to function set. is a positive define diagonal matrix.

Thus, substituting (10) into (1) to obtain the augmented system,

By Assumption 1 and choosing to be nonsingular and large enough, and then set and of the Equation (11), we obtain,

Therefore, we ensure that there is a unique solution, and then is a unique equilibrium point of the closed-loop system (11) in the control domain of interest. At the equilibrium point, , irrespective of the value of.

Now, the design task is to provide the conditions on the positive constants, and matrix such that is an asymptotically stable equilibrium point of the closed-loop system (11) in the control domain of interest, which is not a trivial task because the closed-loop system depends on the unknown vector. This is established in the following theorem.

Theorem 1: Under Assumptions 1-3, if there exists a positive define diagonal matrix such that the the following inequalities,

hold, and then is an exponentially stable equilibrium point of the closed-loop system (11). Moreover, if all assumptions hold globally, and then it is globally exponentially stable.

Proof: To carry out the stability analysis, we consider the following Lyapunov function candidate,

Obviously, Lyapunov function candidate (15) is positive define. Therefore, our task is to show that its time derivative along the trajectories of the closed-loop system (11) is negative define, which is given by,

Substituting (12) into (16), we obtain,

Using (4), (7), (8) and (9), we get,

Using the fact that Lyapunov function candidate (15) is a positive define function and its time derivative is a negative define function if the inequalities (13) and (14) hold, we conclude that the closed-loop system (11) is stable. In fact, means and. By invoking LaSalle’s invariance principle^{ }[

Corollary 1: If the function is equal to a constant, and then the integrator can be taken as or. Thus, under Assumptions 1 and 3, we only need to choose the gain matrix to be nonsingular and large enough such that the inequality (13) holds, and then is an exponentially stable equilibrium point of the closed-loop system (11). Moreover, if all assumptions hold globally, and then it is globally exponentially stable. The proof can follow the similar argument and procedure. It is omitted because of the limited space.

Discussion 1: compared with the integral control proposed by [

1) the integral control action is not confined to the hyperbolic tangent function and can be taken as any function belonging to function set, and then the normalization of integral control action is achieved;

2) the indispensable element of integrator is not confined to sliding mode manifold and can be taken as the partial derivative of any Lyapunov function, which satisfies Assumption 3, and then not only the normalization of concave function gain integrator is achieved but also the partial derivative of Lyapunov function firstly is introduced into the integrator design.

3) the control element is not confined to sliding control and can be taken as any control, which satisfies the conditions of Assumption 3.

Remark 1: The proof of Theorem 1 seems to be very simple, in fact that is not the case because there are two tedious troubles to be concealed in the stability analysis, one is that integral control action must be bounded, another is how cancel the terms on. Therefore, for solving these two troubles above, an ingenious design method is proposed as follows: just the integrator is taken as, which is obtained by differentiating the function and using the partial derivative of Lyapunov function as the indispensable element of integrator, and then we get. Thus, we not only obtain a bounded integral control action but also cancel the terms on in the time derivative of Lyapunov function, and then Theorem 1 can be established only by some bounded information. Consequently, the justification of general concave integral control is verified. Moreover, this resulted in a class of new integrator with a concave function gain, see

Remark 2: From the control law (10), it is obvious that the highlight point of this integral control strategy is that the integrator output could tend to infinity but the integral control action is finite, which is the same as the one proposed by [

Remark 3: From the statement above, it is easy to see that: for achieving the integral control, we only need to find a control input and a Lyapunov function such that is an exponentially stable equilibrium point of the system (5). Especially, when the

function is equal to a constant, the dilemma condition (14) can be removed, that is, the stable conditions on the closed-loop system (11), except for the condition (13), is the same as the one of the system (5). This not only results in a class of general strategy to transform ordinary control into general integral control but also the guess [

Based on these statements above, it is not hard to know that all of them constitute a simple and ingenious method to design general integral control together.

Consider the pendulum system [

where, , , is the angle subtended by the rod and the vertical axis, and is the torque applied to the pendulum. View as the control input and suppose we want to regulate to. Taking, and, the pendulum system can be written as,

It is easily to know that the desired equilibrium point is and is the steadystate control that is needed to maintain equilibrium at. Thus, the control law in Assumption 3 can be taken as, , where k_{1} and k_{2} are all positive constants.

Substituting into (19) and deleting the constant term, and then Linearization of the system about the origin, we obtain,

where

Now, using the linear system theory, the choice of and ensures that the matrix A is Hurwitz for all the parameter perturbations on, and all, and then x = 0 is an exponentially stable equilibrium point of the system (20). Therefore, for any given positive define symmetric matrix Q there exists a unique positive define symmetric matrix P that satisfied Lyapunov equation, and then the Lyapunov function in Assumption 3 can be taken as. Thus, taking, , and choosing, such that holds for all a > 0, c > 0 and, and then a globally exponentially stable controller can be given as,

By taking, , , , , and, and then solving the Lyapunov equation, we obtain,

where

and

In simulation, the normal parameters are and. In the perturbed case, and are reduced to 0.5 and 5, respectively, corresponding to doubling of the mass. Moreover, we consider an additive impulselike disturbance of magnitude 60 acting on the system input between 18 s and 19 s.

A class of fire-new general integral control named gen-

eral concave integral control was proposed in this paper. The main contributions are as follows: 1) the partial derivative of a class of general Lyapunov function is firstly introduced into the integrator design; 2) the bounded integral control action and concave function gain integrator are normalized; 3) a general strategy to transform ordinary control into general integral control is proposed; 4) by using Lyapunov method and LaSalle’s invariance principle, the theorem to ensure regionally as well as semi-globally asymptotic stability is established only by some bounded information. Moreover, the highlight point of this integral control strategy is that the integrator output could tend to infinity but the integral control action is finite. Therefore, a simple and ingenious method to design general integral control is founded.

In this note, only a class of general integral control was presented. It is clear that we can not expect one particular procedure to apply to all system. Therefore, new design techniques for general integral control are needed to solve the wider theoretical and practical problems.