Skip to main content
Advertisement
Browse Subject Areas
?

Click through the PLOS taxonomy to find articles in your field.

For more information about PLOS Subject Areas, click here.

  • Loading metrics

Continuous uniformly finite time exact disturbance observer based control for fixed-time stabilization of nonlinear systems with mismatched disturbances

  • Junkang Ni ,

    max12391@126.com

    Affiliation State Key Laboratory of Electrical Insulation and Power Equipment, School of Electrical Engineering, Xi’an Jiaotong University, Xi’an 710049, China

  • Chongxin Liu,

    Affiliation State Key Laboratory of Electrical Insulation and Power Equipment, School of Electrical Engineering, Xi’an Jiaotong University, Xi’an 710049, China

  • Hang Liu

    Affiliation State Key Laboratory of Electrical Insulation and Power Equipment, School of Electrical Engineering, Xi’an Jiaotong University, Xi’an 710049, China

Abstract

This paper presents a continuous composite control scheme to achieve fixed-time stabilization for nonlinear systems with mismatched disturbances. The composite controller is constructed in two steps: First, uniformly finite time exact disturbance observers are proposed to estimate and compensate the disturbances. Then, based on adding a power integrator technique and fixed-time stability theory, continuous fixed-time stable state feedback controller and Lyapunov functions are constructed to achieve global fixed-time system stabilization. The proposed control method extends the existing fixed-time stable control results to high order nonlinear systems with mismatched disturbances and achieves global fixed-time system stabilization. Besides, the proposed control scheme improves the disturbance rejection performance and achieves performance recovery of nominal system. Simulation results are provided to show the effectiveness, the superiority and the applicability of the proposed control scheme.

Introduction

Disturbances widely exist in many practical systems [1] and could degrade system control performance, cause damages to equipment and result in system instability. Therefore, in recent years, developing effective disturbance rejection method has become a hot topic and many control schemes have been developed, for example, see [24] and references therein. However, most control methods can only counteract matched disturbances. In fact, mismatched disturbances are more general disturbance form and have been found in many practical systems, for example, see [12, 5] and references therein. Since mismatched disturbances enter into the system through different channels from the control input, it is very (quite) difficult to design controller to eliminate their effects. Therefore, great efforts have been taken in designing control strategies to counteract the mismatched disturbances and several control schemes have been proposed, such as, integral sliding mode control [6], adaptive radial basis function (RBF) neural network based control [7], Riccati approach [8], fuzzy control [9]. However, the control methods mentioned above cannot recover the performance of nominal system. In addition, all these control methods can only achieve asymptotical stability.

Disturbance observer based control (DOBC) provides an effective approach to remove the effect of mismatched disturbances. Compared with other disturbance rejection strategies, the prominent advantage of DOBC approach lies in that it can recover the performance of nominal system. Due to this attractive feature, many DOBC methods have been proposed, for example, see [1012]. However, these DOBC methods suffer from two main problems. One problem is that they make some restrictive assumptions that the disturbance is bounded and has constant steady state value or the disturbance is required to be bounded H2 norm, which cannot be satisfied in most engineering systems [13]. The other problem is that the presented observers are all asymptotically convergent, which implies that mismatched disturbance cannot be estimated within finite time. Actually, the longer the estimation transient is, the longer it will take the system state to converge and if the estimation period is too long, the system may escape to infinity before the observer converges. In order to overcome the drawback of these disturbance observers, a finite time disturbance observer using high order sliding mode differentiator was proposed in [14] to estimate disturbance, which shows superior performance, including stronger insensitivity to external disturbances, better disturbance rejection performance, higher convergence accuracy and finite-time convergence performance. Due to its attractive features, finite time convergent disturbance observer has been applied to compensate disturbances in many practical systems [1516].

Finite time control method is another effective strategy to improve disturbance rejection performance. Finite time stable systems have a faster convergence rate and better robustness than asymptotical stable systems. Due to these advantages, finite time control method has received increasing attention in recent years and many meaningful results have been reported for finite time control design. The proposed control schemes are mainly based on homogeneous system technique [1718], adding a power integrator technique [1920] and sliding mode control design [2122]. However, the results based on homogeneous system approach can only achieve locally finite time system stabilization and the results based on sliding mode have chattering problem due to discontinuous switching control. The feedback control scheme based on adding a power integrator technique [23] provides one feasible solution for these problems. This strategy constructs a homogeneous-based continuous differentiable Lyapunov function and employs the idea of adding a power integrator technique [24] to obtain a continuous state feedback controller such that global finite time stabilization for high order closed-loop systems can be achieved. Different from backstepping method, the feedback control scheme based on adding a power integrator technique uses feedback to dominate the nonlinear terms of the system rather than to cancel them, which can reduce the amplitude of control input [20]. Many application examples of the feedback strategy based on adding a power integrator technique have been reported, see [2526] for example.

One drawback of finite time disturbance observer and finite time control method is that the convergence time depends on initial condition, that is, the convergence time grows unboundedly with the increase of initial condition. However, many industrial applications require severe settling time constraint. If the finite time disturbance observer and finite time control method are applied into these fields, it is necessary to assume known bounds for system state errors and adopt high gain observer and controller to guarantee convergence within prescribed time. However, this assumption does not always hold true. For example, the system states may greatly deviate from their normal value under some large disturbances. In this case, it may be hard to obtain the bound for deviation value. Besides, high gain observer amplifies measurement noise and unmodeled dynamics and high gain controller increases control costs and may result in actuator saturation. Therefore, it is important to develop a control scheme that can achieve exact disturbance estimation and system stabilization within finite time independent of initial condition.

Fixed-time stability [27] is an extension of finite time stability. In comparison with finite time stability, fixed-time stability means that system stabilization can be achieved within a limited time upper bounded by a constant independent of initial condition and the upper bound of convergence time depends only on design parameters. Due to this attractive feature, fixed-time stability has been applied to design uniform exact differentiator [2829], design power system stable controller [3031] and address network consensus problem [3234]. However, there are no results about uniformly finite time exact disturbance observer and there are few results about fixed-time stable control for nonlinear system. In [35], a fixed-time nonsingular terminal sliding mode control methodology was presented for a class of second-order systems subjected to matched disturbances. However, the control method presented in [35] can only tackle matched disturbances. Moreover, it is hard to extend the presented control scheme to address high order nonlinear systems fixed-time stabilization problem. To the best of our knowledge, there are no results about control schemes to achieve fixed-time stabilization for high order nonlinear systems with mismatched disturbances.

Motivated by aforementioned discussion, a composite control method is presented to achieve fixed-time stabilization for a class of high order nonlinear systems with matched and mismatched disturbances in this paper. The composite control scheme is composed of uniformly finite time exact disturbance observer and continuous fixed-time state feedback controller, which can ensure exact disturbance estimation and system convergence within finite time bounded by a constant independent of initial condition. In comparison with the existing results of fixed-time stable control, disturbance compensation methods and finite time control, the proposed control scheme has the following features: (1) The proposed control method extends the existing fixed-time stable control methods to high order nonlinear systems with mismatched disturbances and achieves global fixed-time system stabilization. (2) The proposed control strategy overcomes the drawback of the existing finite time disturbance observers and finite time control methods, and achieves exact disturbance estimation and system stabilization within finite time upper bounded by a constant independent of initial condition. (3) The proposed control scheme removes restrictive assumption about the disturbances and can compensate a wider variety of disturbances. Besides, the proposed control scheme achieves uniformly finite time exact disturbance estimation, fixed-time system stabilization and performance recovery of nominal system. Therefore, the proposed control scheme improves the disturbance rejection performance.

The rest of this paper is organized as follows. Section 2 formulates the control problem and presents some definitions and lemmas. Main results of this paper are presented in Section 3 and simulation results verifying the effectiveness of the proposed controller are given in Section 4. Finally, the conclusion is drawn in Section 5.

Problem formulation and preliminaries

Problem formulation

Consider the following nth order single input and single output disturbed nonlinear system: (1) where yi, yo, u(i = 1, 2, …, n) are state variables, system output and control input; f(y) and g(y) are known smooth nonlinear functions. The system has disturbances in all channels with di(i = 1, 2, …, n − 1) being mismatched disturbances and dn being matched one and the disturbances are unknown and unmeasurable. The disturbances are supposed to satisfy the following assumption:

Assumption 1 The disturbance di(t) in System (1) is nth order differentiable and has a positive Lipschitz constant Li, i.e., .

Remark 1 Matched disturbances are disturbances that enter into the system through the same channel as the control input, while mismatched disturbances are disturbances that enter into the system through different channels from the control input. For example, in the last channel of System (1), i.e., yn, since disturbance dn and control input u appear simultaneously, the disturbance dn is called matched disturbance. In other channels of System (1), the disturbances di(i = 1, 2, …, n − 1) appear but no control input appears, therefore, the disturbances di(i = 1, 2, …, n − 1) are called mismatched disturbances.

Remark 2 System (1) is a Brunovsky system with matched and mismatched disturbances. Many practical systems have the same form as System (1) or can be transformed into System (1), such as, flexible joint manipulator [36], maglev suspension system [37], DC-DC buck power converter [5], permanent magnet synchronous motor [26], power system [1].

Remark 3 The disturbances considered in this paper are more general than many DOBC methods, such as [1012]. In fact, a wide variety of disturbances, such as constant disturbance, ramp disturbance, sinusoidal and polynomial disturbance, satisfy Assumption 1.

The initial condition of System (1) is assumed to be unknown and the problem addressed in this paper is to design the control u such that the influence of disturbances can be rejected from the output channel and the system output yo can be regulated to the origin within finite time independent of initial condition.

Fixed-time stability

Consider the following differential equation system: (2) where xR and f: R+ × RnRn is a nonlinear function. Suppose that the origin is an equilibrium point of Eq (2).

Definition 1 [38], [39]: The origin of System (2) is a finite time stable equilibrium if the origin is Lyapunov stable and there exists a function T: RnR+, called the settling time function, such that for every x0Rn, the solution x(t, x0) of System (2) is defined on [0, T(x0)), x(t, x0) ∈ Rn, for all t ∈ [0, T(x0)), and .

Definition 2 [27]: The origin of System (2) is said to be a fixed-time stable equilibrium point if it is globally finite-time stable with bounded convergence time T(x0), that is, there exists a bounded positive constant Tmax such that T(x0) < Tmax satisfies.

Lemma 1 [27] Suppose there exists a positive definite C1 function V(x) : UR, positive real numbers α and β, positive odd integers m, n, p, q that satisfy m > n, p < q and an open neighborhood U0U of the origin, such that , xU0∖{0}. Then the origin of System (2) is fixed-time stable and the convergence time is bounded by . If U = U0 = Rn, the origin is a globally fixed-time stable equilibrium of System (2).

Remark 4 The upper bound of convergence time relies only on the design parameters α, β, m, n, p, q, which implies even if the initial condition is unavailable in advance or becomes infinity, the system can be stabilized within a bounded time and the convergence time can be assigned in advance.

Homogeneity property

Definition 3 [40] Let r = (r1, …, rn) be a generalized weight vector with ri > 0. The dilation associated to the weight vector r is: for λ > 0. A vector field f is said to be a homogeneous function of degree m with respect to a generalized weight r iff for all xRn and λ > 0, we have .

Homogeneity property can be used to obtain finite time stability property and uniform convergence property.

Finite time convergence means that exact convergence can be achieved within finite time. The notion of homogeneity can be used to obtain finite time stability property as follows:

Lemma 2 [39] If f: RnRn is a homogeneous vector field of degree k < 0 and locally attractive, then f is globally finite-time stable (FTS).

Uniform convergence property means that for any initial condition, the convergence time is uniformly bounded by a constant. Based on homogeneity property, the definition of uniform convergence is given as follows:

Definition 4 [29] Consider the following system: (3) where w is external disturbance uniformly bounded by a constant, can be considered as a disturbance term to the nominal part . System (3) is said to be practically uniformly convergent w.r.t. initial value if there exist positive constants T and r such that for all , holds for all tT.

Lemma 3 [29] System (3) is practically uniformly convergent w.r.t. initial value if (i) its origin is globally asymptotically stable when g ≡ 0; (ii) f is a continuous homogeneous vector field of degree m > 0; (iii) disturbance w is uniformly bounded.

Combine finite time stability property and uniform convergence property, and the concept of uniformly finite time exact can be given as follows:

Lemma 4 [29] System (3) is said to be uniformly finite time exact, if disturbance w is uniformly bounded and there exists a constant T independent of initial condition such that for any initial condition , system trajectory converges to the origin after T.

Mathematical lemmas

Lemma 5 [41]: For a ratio of positive odd integers p ∈ (0, 1) and real variables x, y, the following inequality holds: (4)

Lemma 6 [42]: For positive real numbers c, d and real variables x, y, the following inequality holds: (5)

Lemma 7 [43]: For any positive real numbers b, m, n and continuous functions x, y, z ≥ 0, one has: (6)

Lemma 8 [44]: For any nonnegative real numbers ξ1, ξ2, …, ξn and 0 < p ≤ 1, the following inequality holds: (7)

Lemma 9 [31]: For any nonnegative real numbers ξ1, ξ2, …, ξn and p > 1, the following inequality holds: (8)

Lemma 10 If 0 ≤ τ ≤ 1, for any real variable ξ1, the following inequality holds: (9)

Proof: Since 0 ≤ τ ≤ 1, we have 0 ≤ 2 − 2τ ≤ 2. If |ξ1| ≤ 1, we have |ξ1|2−2τ ≤ 1 and if |ξ1| > 1, one has . Thus, for any real variable ξ1, we have .

Main results

Since the disturbances are unknown and unmeasurable, disturbance observers are first constructed to estimate the disturbances. Using the idea of uniform finite time HOSM differentiator in [29] and finite time disturbance observer in [14], we propose the following uniformly finite time exact disturbance observer: (10) where i = 1, …, n, j = 1, …, n − 1, hi = yi+1 for i = 1, …, n − 1, hn = f(y) + g(y)u, k0i, …, kni and α are observer coefficients to be designed, θ is a function to be designed and z0i, z1i, …, zni are estimation for yi, respectively.

Theorem 1 The disturbance observer Eq (10) is uniformly finite time exact, i.e., exact disturbance estimation can be achieved within finite time t1 upper bounded by a constant T1 independent of initial estimation error, if its parameters satisfy the following conditions:

1) α is a sufficiently small positive constant;

2) The observer coefficients kji(j = 0, …, n) are assigned such that the following matrix is Hurwitz: (11)

3) The observer coefficients kji(j = 0, …, n) are selected according to the condition .

4) The function θ: [0, ∞) → {0, 1} is selected as: where Tu is switching time, a design parameter that is typically selected through numerical simulations and trial and error.

Proof: See Appendix A.

Remark 5 Theorem 1 shows that the proposed disturbance observer can achieve exact disturbance estimation within uniformly bounded time T1 independent of initial estimation error and the bound of estimation time can be obtained through numerical simulation.

Substituting the estimated disturbance value into the dynamics of System (1), one has (12) For tt1, the disturbance estimation errors σ1i converge to zero and System (12) reduces to: (13)

Continuous fixed-time state feedback control design

To design continuous fixed-time state feedback controller, we introduce coordinate transformation . Under this coordinate transformation, the System (13) becomes: (14) Now, the System (14) is transformed into a Brunovsky system. A composite controller using the method of adding a power integrator will be designed for Brunovsky System (14) and fixed-time stability analysis of proposed control scheme will be given. To construct this controller, we first define:q1 = 1, , 0 < τ < 1, qj > 1(j = 2, 3, …, n) and .

Step 1: Choose the following C1 Lyapunov function and the derivative of V1 along the trajectory of System (14) is: (15) where is a virtual control law. Define ξ1 = y1 and the virtual control law can be designed as: (16) where k1 > 0, l1 > 0, and

By Lemma 5 and Lemma 6, one has (17) where .

Substituting Eqs (16) and (17) into Eq (15) and utilizing Lemma 10, one obtains: (18)

Inductive step: Suppose that at step i, there exists a function and functions , such that the following holds: (19) where Vi = Vi−1 + Wi is positive definite and proper with and (20)

In what follows, we will show that Eq (19) also holds at step i + 1. To this end, the following Lyapunov function is considered: (21) where

The time derivative of Lyapunov function Eq (21) is: (22) where (23)

Using Lemma 5 and Lemma 6, the second term in Eq (23) can be estimated as: (24)

To estimate the last term in Eq (23), we introduce the following proposition, whose proof are given in Appendix B

Proposition 1 There exists a function χi(ξ) and functions c(i + 1)j, j = 1, 2, …, i such that (25)

The virtual control can be designed as: (26)

Substituting Eqs (24)–(26) into Eq (23), one has: (27)

Substituting Eqs (19) and (27) into Eq (22), the derivative of Lyapunov function Vi+1 can be obtained as: (28)

This completes the inductive proof.

Step n: According to inductive proof, at step n, we can design the control input as: (29)

Stability analysis

Theorem 2 Suppose that the disturbances in System (1) satisfy Assumption 1. Then the composite control scheme consisting of uniformly finite time exact disturbance observer Eq (10) and continuous fixed-time state feedback control law Eq (29) can achieve global fixed-time stabilization for disturbed nonlinear System (1).

Proof: The proof process can be divided into two parts. The first part will prove the continuous fixed-time state feedback control law Eq (29) can achieve fixed-time stabilization for System (1) when t > t1 and the second part will show the states of the System (12) and the observer Eq (10) keep bounded at any time interval [0, t1].

For the first part proof, the Lyapunov function can be constructed as (30)

Remark 6 Similar to [42] and [45], it can be proved that the considered Lyapunov function Vn is positive definite.

Following the same line of inductive proof, it is straightforward to see that Eq (19) holds for i = n with a series of virtual controllers defined in Eq (20). Since , we have ξn+1 = 0 and the time derivative of Lyapunov function Vn can be given as: (31)

If the parameters ki, li(i = 1, ⋯, n) can be selected such that , , hold, the derivative of Lyapunov function Vn is negative definite and the System (14) can be stabilized asymptotically. Specifically, the derivative of Lyapunov function Vn can also be expressed as: (32) where , L = min{li}(i = 1, 2, ⋯, n). Using mean value theorem for integral and Lemma 5, it can be verified that: (33) where . Since 0 < τ < 1, we have (1 + τ)/2 < 1 and (3 − τ)/2 > 1. According to Lemma 8 and Lemma 9, we can derive (34)

If the parameter τ is selected as τ = (2k − 3)/(2k + 1), the numerator and denominator of the fractional power (1 + τ)/2 and (3 − τ)/2 will be both odd. According to Lemma 1, the System (14) can be stabilized within finite time and the upper bound of convergence time can be estimated as: (35)

This follows that the proposed control scheme can achieve global fixed-time system stabilization. Next, we will show the states of the System (12) and the observer Eq (10) keep bounded at any time interval [0, t1]. The considered Lyapunov function is: (36)

Let us first consider t ∈ [Tu, t1]. In this case, θ in Eq (10) equals to one. The time derivative of Lyapunov function M along Eqs (12) and (10) can be given as: (37)

Note that (38) (39) and (40) (41)

Since the observer Eq (10) can estimate the disturbances within finite time, that is, the estimation errors will converge to zero within finite time, then the estimation errors are bounded, i.e., . Define (42)

If η > 1, we have |yi| ≤ ηη2, |zij| ≤ ηη2, |yizij| ≤ η2/2, |yiyk| ≤ η2/2, |zijzkl| ≤ η2/2. Using these inequalities, Eq (37) becomes: (43) where: (44)

On the other hand, if η ≤ 1, one can find a constant F1 such that . Based on above analysis, one can obtain . Solving above inequality, one has M(t) ≤ (M(Tu) + F1/K1)eK1(tTu)F1/K1.

Similarly, we can obtain that for t ∈ [0, Tu] and η > 1, the time derivative of Lyapunov function M along Eqs (10) and (12) satisfies: (45)

While for η ≤ 1, one can find a constant F2 such that . Solving above inequalities, one has: (46)

The states of the System (12) and the observer Eq (10) keep bounded if the switching time satisfies (47)

Consequently, for any time interval [0, t1], the states of the System (12) and the observer Eq (10) will not escape to the infinity.

From above analysis, we can conclude that the composite control scheme consisting of uniformly finite time exact disturbance observer Eq (10) and continuous fixed-time state feedback control law Eq (29) can achieve global stabilization for disturbed nonlinear System (1) within finite time upper bounded by a constant T1 + Tmax independent of system initial state.

Remark 7 Theorem 2 shows that the proposed composite control scheme can achieve exact stabilization for disturbed nonlinear systems within finite time upper bounded by a constant independent of initial condition.

Remark 8 Appropriate value for switching time Tu can be determined through numerical simulation and trial and error. On the one hand, from the proof process of Theorem 1, we need to guarantee the convergence into a compact set Br = {‖σi‖ ≤ r, r > 0} within finite time Tu. On the other hand, the selection of switching time Tu needs to ensure the states of the System (12) and the observer Eq (10) keep bounded at any time interval [0, Tu].

Remark 9 In the absence of external disturbances, that is, the disturbances and their all-order derivative are zero, i.e., (i = 1, …, n), the observer becomes: (48) If the initial conditions are selected as z0i(0) = yi(0), z1i(0) = … = zni(0) = 0, we have z0i(t) = yi(t) and z1i(t) = … = zni(t) = 0 for t ≥ 0 and the controller u becomes traditional fixed time controller: (49) This means that the proposed control scheme acts the same as the baseline fixed time control in the absence of external disturbances, that is, the proposed control scheme retains the nominal performance.

Remark 10 The proposed control scheme can recover the nominal performance in the absence of disturbances. Further, the proposed control scheme can estimate and compensate the disturbances within uniformly bounded time independent of initial estimation error and achieve fixed-time system stabilization in the presence of disturbances. Therefore, the proposed control scheme improves the disturbance rejection performance.

Remark 11 Some interesting results have been obtained for nonlinear system control. In [46], a Lyapunov function with adjustable gain coefficient was introduced to control chaotic Josephson junction resonator and force its output to track the target signal. In [47], a modified output feedback neural dynamic surface control was proposed for uncertain MIMO nonlinear system. In [48], an optimal control strategy using adaptive dynamic programming was presented for continuous-time complex-valued nonlinear systems. However, these control schemes cannot achieve exact convergence within finite time. In [49], a H state feedback control scheme was developed for disturbed and uncertain affine nonlinear discrete-time systems. However, this method considers worst case disturbances, which results in conservative controller design. In [50], a sliding mode controller with system identification observer was presented for position control of medium-stroke voice coil motor. However, under external load disturbance, a tradeoff between disturbance rejection and chattering should be made when selecting sliding mode controller parameters. In [51], a fuzzy H controller with fuzzy estimator was proposed for a networked control nonlinear system with external disturbances. However, the effect of disturbances on system states can only be attenuated below a desired level. All these control schemes cannot remove the effect of disturbance completely and the performance of nominal system cannot be recovered. In [52], a global finite time observer was designed for uniformly observable and globally Lipschitzian nonlinear systems. However, its estimation time depends on initial condition. The disturbance observer and control scheme proposed in this paper can overcome these problems and achieve uniformly finite time exact disturbance estimation, fixed-time exact system stabilization and performance recovery of nominal system.

Simulation results

In this section, two illustrative examples are given to demonstrate the effectiveness, the superiority and the applicability of the proposed control scheme.

Academic example

Consider the following second order system: (50) The disturbances imposed on the System (50) are supposed to be and . The controller parameters are selected to satisfy restricted condition derived in stability analysis and the observer parameters are selected through trial and error. By a careful calculation, the controller parameters are selected as k2 = 5, l2 = 3, k1 = 2, l1 = 1, τ = 17/21. After trial and error, the observer parameters are set to , , k2i = 1.1Li (i = 1, 2), L1 = L2 = 10.5, Tu = 0.303 for d1 and Tu = 0.126 for d2. According to [29], the acceptable value for parameter α and its upper bound can be determined as follows. In the proof of Theorem 1, one can select a curve S = {σiRn+1: V(0, σi) = δ, δ > 0}, then check whether holds for that curve with given α. For given α, if holds, then the given α is called an acceptable value. Starting from α = 0 and increasing its value till , the upper bound of parameter α can be determined, i.e., the largest value that guarantees . Following the computing method provided in [29], α = 0.02 is an acceptable value. The proposed control method is applied to regulate the output of System (50) to the origin. Fig 1 presents the disturbances and their corresponding estimates. It is clear that the observer can give exact disturbances estimation within 0.42 second. The controller is turned on at t = 0.42s and the response curves of system states are shown in Fig 2. It can be observed that the influence of matched and mismatched disturbances is removed from the output channel and the control objective is accomplished in finite time. Fig 3 displays the response of system states under the proposed uniformly finite time exact disturbance observer based fixed-time control (FTDO + FTC) and baseline fixed-time control (FTC) when there is no disturbance. It can be seen from Fig 3 that the system states under the two controllers are overlapped, which shows that the proposed control method can recover the nominal performance.

thumbnail
Fig 1. Curves of the disturbances d1, , d2 and their estimated values under the proposed disturbance observer.

https://doi.org/10.1371/journal.pone.0175645.g001

thumbnail
Fig 2. Time response of system states under the proposed control scheme.

https://doi.org/10.1371/journal.pone.0175645.g002

thumbnail
Fig 3. Time response of system states under disturbance observer based control and baseline control.

https://doi.org/10.1371/journal.pone.0175645.g003

In order to demonstrate the advantage of the proposed control method, the control scheme proposed in [26] is borrowed to make performance comparison analysis. In [26], finite time disturbance observer is employed to estimate the disturbances. The disturbances and their corresponding estimates are shown in Fig 4. It can be seen from Fig 4 that the observer can give exact disturbances estimation within 1.2 second. The controller is activated at t = 1.2s and the response curve of system states under the control scheme presented in [26] is shown in Fig 5. As can be seen from Figs 2 and 5, the system response under the proposed control method has less overshoot than that under the control method presented in [26]. Moreover, the settling time of proposed control scheme is shorter than that of the scheme presented in [26]. Fig 6 compares the convergence time of the two controllers under different initial conditions. The results show that the proposed control scheme achieves faster system stabilization. Moreover, the settling time of the control method presented in [26] grows unboundedly with the increment of initial condition, while the convergence time of the proposed control scheme is bounded by a constant as the initial condition increases. Comparative results show that the proposed control scheme has an advantage in convergence time and transient response.

thumbnail
Fig 4. Curves of the disturbances d1, , d2 and their estimated values under the finite time disturbance observer presented in [26].

https://doi.org/10.1371/journal.pone.0175645.g004

thumbnail
Fig 5. Time response of system states under the control scheme proposed in [26].

https://doi.org/10.1371/journal.pone.0175645.g005

thumbnail
Fig 6. Convergence time versus the logarithm of norm of initial condition.

https://doi.org/10.1371/journal.pone.0175645.g006

Application example

Consider the following classical third order model for the DC-motor shown in Fig 7: (51) where θ(t) is the rotation angle, ω(t) denotes the angular velocity, ia(t) is the armature current, Va represents the armature voltage (control input), J is the rotor inertia, Km and Kb are the motor constant and back electromotive force coefficient, Ra and La are the armature resistance and the armature inductance, b is the friction coefficient, d2 and d3 are mismatched and matched disturbances.

Introduce the coordinate transformation x1 = θ, x2 = ω, and the System (51) becomes: (52) where , . Now, the system becomes third-order disturbed System (1) with d1 = 0, , , , . We can design continuous control Eq (29) to drive the rotation angle θ(t) to the origin.

The disturbances in System (51) are selected as d2(t) = 0.002sin(0.1t) and d2(t) = 0.2cos(t) and the system parameters are chosen as Kb = 0.001, Km = 0.001, La = 0.1, Ra = 0.01, b = 0.003, J = 0.005. The controller parameters are chosen as k1 = 1.3, l1 = 0.1, k2 = 3, l2 = 0.4, k3 = 5, l3 = 0.8, τ = 67/71 and the observer parameters are selected as , , (i = 2, 3), L2 = L3 = 3, Tu = 0.14 for d1 and Tu = 0.26 for d2. Similar to academic example, α = 0.06 is tested to be an acceptable value. Fig 8 shows disturbances , , and their corresponding estimates. As shown in Fig 8, the observer can give exact disturbances estimation within 0.64s. The controller is turned on at t = 0.64s and the results are shown in Fig 9. It is clear that the control objective is accomplished in finite time. The time history of control input Va is illustrated in Fig 10. It can be observed that the control input is smooth and the amplitude of control input is acceptable for most DC motors.

thumbnail
Fig 8. Curves of the disturbances , , and their estimated values.

https://doi.org/10.1371/journal.pone.0175645.g008

Conclusions

The problem of fixed-time stabilization for high order nonlinear systems with matched and mismatched disturbances is investigated via uniformly finite time exact disturbance observer based composite controller design. The composite control strategy presented in this paper is designed based on fixed-time stability theory and adding a power integrator technique, which can regulate the system output to zero within bounded time independent of initial condition. With the aid of constructed Lyapunov function, rigorous global fixed-time stability analysis of closed-loop system is given. Simulation results demonstrate the effectiveness, the superiority and the applicability of the proposed control scheme.

Appendix

Appendix A:Proof of Theorem 1

Define estimation error variables: σ0i = z0iyi, and the observer error dynamics are governed by: (A.1) For tTu, the error system becomes: (A.2) where σi = [σ0i, σ1i, …, σni]T, When gi(σi, w) ≡ 0 and α = 0, error System (A.1) becomes . Since the matrix A is Hurwitz, error state σi is asymptotically stable. Select the Lyapunov function V(α, σi) = ξ1(σi)T 1(σi) where and P is a symmetric positive definite matrix satisfying AT P + PA < 0. Since V is proper, S = {σiRn+1: V(0, σi) = δ, δ > 0} is a compact set for arbitrary energy level δ. The time derivative of V(0, σi) satisfies: (A.3) Since is continuous in α and σi, is uniformly continuous in the set W = {(α, σi) ∈ R × Rn+1|α = 0, σiS}. This means that there exists a small constant ε1 such that for all α ∈ (0, ε1), also implies . Therefore, is a Lyapunov function of System (A.2) and the error System (A.2) is asymptotically stable. In addition, fi(σi) is a continuous homogeneous vector field of degree α > 0 and the disturbance gi(σi, w) is uniformly bounded by a constant Li. According to Lemma 3, the System (A.2) is practically uniformly convergent, i.e., it can bring arbitrarily large estimation error into a compact set Br = {σi: ‖σi‖ ≤ r, r > 0} within finite time Tu upper bounded by a constant ta independent of initial estimation error and the size of this compact set can be prescribed by the designer. After that, the disturbance observer becomes finite time disturbance observer presented in [14]. This means that the observer can give exact disturbance estimation after constant time tb. Therefore, exact disturbance estimation can be achieved within finite time t1 = Tu + tb upper bounded by a constant T1 = ta + tb independent of initial estimation error. The proof is completed.

Appendix B:Proof of proposition 1

It follows from the definition of Wi+1 and Lemma 2 that: (B.1)

Utilizing Eq (20), one has: (B.2)

By Lemma 8 and utilizing Eq (20), one obtains: (B.3) (B.4)

Substituting Eqs (B.3) and (B.4) into Eq (B.2), one has: (B.5)

Using Lemma 6 and Lemma 7, the first term in Eq (B.5) can be expressed as: (B.6)

Similarly, we obtain the second, the third and the fourth term in Eq (B.5), whose expressions are Eqs (B.7), (B.8) and (B.9) respectively. (B.7) (B.8) (B.9)

Substituting Eqs (B.6), (B.7), (B.8) and (B.9) into Eq (B.5), we arrive at (B.10) where: (B.11)

Substituting Eq (B.10) into Eq (B.1), one has: (B.12) That is, (B.13) This completes the proof of proposition 1.

Author Contributions

  1. Conceptualization: JN.
  2. Data curation: JN HL.
  3. Formal analysis: JN.
  4. Funding acquisition: CL.
  5. Investigation: JN CL.
  6. Methodology: JN.
  7. Project administration: CL.
  8. Resources: JN CL HL.
  9. Software: JN HL.
  10. Supervision: CL.
  11. Validation: HL.
  12. Visualization: JN HL.
  13. Writing – original draft: JN.
  14. Writing – review & editing: JN CL HL.

References

  1. 1. Yang J, Zheng WX. Offset-Free nonlinear MPC for mismatched disturbance attenuation with application to a static var compensator. IEEE Trans. Circuits Syst. II, Exp. Briefs. 2014 Jan; 61(1):49–53
  2. 2. Chen WH, Yang J, Guo L, Li SH. Disturbance-Observer-Based control and related methods-an overview. IEEE Trans. Ind. Electron. 2016 Feb; 63(2):1083–1095
  3. 3. Guo L, Cao SY. Anti-disturbance control theory for systems with multiple disturbances: A survey. ISA Trans. 2014 Jul; 53(4):846–849 pmid:24434127
  4. 4. Liu Y-P, Liang H-P, Gao Z-K. The application of auto-disturbance rejection control optimized by least squares support vector machines method and time-frequency representation in voltage source converter-high voltage direct current system. PLoS ONE. 2015 Jun; 10(6): e0130135. pmid:26098556
  5. 5. Wang JX, Li SH, Yang J, Wu B, Li Q. Extended state observer-based sliding mode control for PWM-based DC-DC buck power converter systems with mismatched disturbances. IET Control Theory Appl. 2015 Feb; 9(4):579–586
  6. 6. Castaos F, Fridman L. Analysis and design of integral sliding manifolds for systems with unmatched perturbations. IEEE Trans. Autom. Control 2006 May; 51(5):853–858.
  7. 7. Wang SW, Yu DW, Yu DL. Compensation for unmatched uncertainty with adaptive RBF network. Int. J. Eng. Sci. Technol. 2012 Mar; 3(6):35–43.
  8. 8. Kim KS, Park Y, Oh SH. Designing robust sliding hyperplanes for parametric uncertain systems: A Riccati approach. Automatica 2000 Jul; 36(7):1041–1048
  9. 9. Tao CW, Chan M-L, Lee T-T. Adaptive fuzzy sliding mode controller for linear systems with mismatched time-varying uncertainties. IEEE Trans. Syst. Man Cybern B: Cybern. 2003 Apr;33(2):283–294.
  10. 10. Yang J, Chen WH, Li SH. Non-linear disturbance-observer based robust control for systems with mismatched disturbances/uncertainties. IET Control Theory Appl. 2011 Dec; 5(18):2053–2062
  11. 11. Li SH, Yang J, Chen WH. Generalized extended state observer based control for systems with mismatched uncertainties. IEEE Trans. Ind. Electron. 2012 Dec; 59(12):4792–4802.
  12. 12. Wei XJ, Guo L. Composite disturbance-observer-based control and H- infinity control for complex continuous models. Int. J. Robust Nonlinear Control 2010 Jan; 20(1):106–118
  13. 13. Kim K-S, Rew K-H, Kim S. Disturbance observer for estimating higher order disturbance in time series expansion. IEEE Trans. Autom. Control 2010 Aug; 55(8):1905–1911
  14. 14. Shtessel YB, Shkolnikov IA, Levant A. Smooth second-order sliding modes: Missile guidance application. Automatica 2007 Aug; 43(8):1470–1476
  15. 15. Ferreira de Loza A, Punta E, Fridman L, Bartolini G, Delprat S. Nested backward compensation of unmatched perturbations via HOSM observation. J. Frankl. Inst. -Eng. Appl. Math. 2014 May; 351(5):2397–2410
  16. 16. Yang J, Li SH, Su JY, Yu XH. Continuous nonsingular terminal sliding mode control for systems with mismatched disturbances. Automatica 2013 Jul; 49(7):2287–2291
  17. 17. Hong YG, Xu YS, Huang J. Finite-time control for robot manipulators. Syst. Control Lett. 2002 Jul; 46(4):243–253
  18. 18. Du HB, Li SH. Finite-time attitude stabilization for a spacecraft using homogeneous method. J. Guid. Control Dyn. 2012 May-Jun; 35(3):740–748
  19. 19. Huang JS, Wen CY, Wang W, Song YD. Adaptive finite-time consensus control of a group of uncertain nonlinear mechanical systems. Automatica, 2015 Jan; 51:292–301
  20. 20. Fu J, Ma RC, Chai TY. Global finite-time stabilization of a class of switched nonlinear systems with the powers of positive odd rational numbers. Automatica, 2015 Apr; 54:360–373
  21. 21. Yu XH, Man ZH. Multi-input uncertain linear systems with terminal sliding-mode control. Automatica, 1998 Mar; 34(3): 389–392
  22. 22. Chiu CS. Derivative and integral terminal sliding mode control for a class of MIMO nonlinear systems. Automatica, 2012 Feb; 48(2): 316–326
  23. 23. Huang XQ, Wei L, Yang B. Global finite-time stabilization of a class of uncertain nonlinear systems. Automatica 2005 May; 41(5):881–888
  24. 24. Wei L, Qian CJ. Adding one power integrator: a tool for global stabilization of high-order lower-triangular systems. Syst. Control Lett. 2000 Apr; 39(5):339–361.
  25. 25. Ding SH, Li SH, Li Q. Global uniform asymptotical stability of a class of nonlinear cascaded systems with application to a nonholonomic wheeled mobile robot. Int. J. Syst. Sci 2010; 41(11): 1301–1312
  26. 26. Li SH, Sun HB, Yang J, Yu XH. Continuous finite-time output regulation for disturbed systems under mismatching condition. IEEE Trans. Autom. Control, 2015 Jan; 60(1):277–282
  27. 27. Polyakov A. Nonlinear feedback design for fixed-time stabilization of linear control systems. IEEE Trans. Autom. Control 2012 Aug; 57(8): 2106–2110
  28. 28. Cruz-Zavala E, Moreno JA, Fridman LM. Uniform robust exact differentiator. IEEE Trans. Autom. Control 2011 Nov; 56(11):2727–2733.
  29. 29. Angulo MT, Moreno JA, Fridman L. Robust exact uniformly convergent arbitrary order differentiator. Automatica 2013 Aug; 49(8):2489–2495.
  30. 30. Ni JK, Liu L, Liu CX, Hu XY, Li SL. Fast fixed-time nonsingular terminal sliding mode control and its application to chaos suppression in power system. IEEE Trans. Circuits Syst. II, Exp. Briefs 2017 Feb; 64(2): 151–155
  31. 31. Ni JK, Liu L, Liu CX, Hu XY, Shen TS. Fixed-time dynamic surface high-order sliding mode control for chaotic oscillation in power system. Nonlinear Dyn. 2016 Oct; 86(1):401–420
  32. 32. Zuo ZY. Nonsingular fixed-time consensus tracking for second-order multi-agent networks. Automatica 2015 Apr; 54:305–309.
  33. 33. Zuo ZY, Tie L. A new class of finite-time nonlinear consensus protocols for multi-agent systems. Int. J. Control 2014 Feb; 87(2):363–370.
  34. 34. Fu JJ, Wang JZ. Fixed-time coordinated tracking for second-order multi-agent systems with bounded input uncertainties. Syst. Control Lett. 2016 Jul; 93:1–12
  35. 35. Zuo ZY. Non-singular fixed-time terminal sliding mode control of non-linear systems. IET Control Theory Appl 2015 Feb; 9(4):545–552.
  36. 36. Divyesh G, Shendge PD, Phadke SB. Sliding mode control for mismatched uncertain systems using an extended disturbance observer. IEEE Trans. Ind. Electron. 2014 Apr; 61(4):1983–1992.
  37. 37. Yang J, Li SH, Yu XH. Sliding-Mode control for systems with mismatched uncertainties via a disturbance observer. IEEE Trans. Ind. Electron. 2013 Jan; 60(1):160–169
  38. 38. Defoort M, Polyakov A, Demesure G, Djemai M, Veluvolu K. Leader-follower fixed-time consensus for multi-agent systems with unknown nonlinear inherent dynamics. IET Control Theory Appl 2015 Sep; 9(14):2165–2170.
  39. 39. Bhat SP, Bernstein DS. Finite-time stability of continuous autonomous systems. SIAM. J. Control Optim 2000 Mar; 38(3):751–766.
  40. 40. Hermes H. Nilpotent approximations of control systems and distributions. SIAM J. Control Optim. 1986 Jul; 24(4):731–736.
  41. 41. Ding SH, Qian CJ, Li SH, Li Q. Global stabilization of a class of upper-triangular systems with unbounded or uncontrollable linearizations. Int. J. Robust Nonlinear Control 2011 Feb; 21(3):271–294
  42. 42. Qian C, Lin W. A continuous feedback approach to global strong stabilization of nonlinear systems. IEEE Trans. Autom. Control 2001 Jul; 46(7):1061–1079
  43. 43. Li J, Qian CJ. Global finite-time stabilization by dynamic output feedback for a class of continuous nonlinear systems. IEEE Trans. Autom. Control 2006 May; 51(5):879–884.
  44. 44. Hardy G, Littlewood J, Polya G. Inequalities. London: Cambridge Univ. Press; 1951
  45. 45. Ding SH, Wang JD, Zheng WX. Second-Order sliding mode control for nonlinear uncertain systems bounded by positive functions. IEEE Trans. Ind. Electron. 2015 Sep; 62(9):5899–5909
  46. 46. Wang CN, Chu RT, Ma J. Controlling a chaotic resonator by means of dynamic track control. Complexity 2015 Sep-Oct; 21(1):370–378
  47. 47. Sun GF, Li DW, Ren XM. Modified neural dynamic surface approach to output feedback of MIMO nonlinear systems. IEEE Trans. Neural Netw. Learn. Syst. 2015 Feb; 26(2):224–236 pmid:25608286
  48. 48. Song RZ, Xiao WD, Zhang HG, Sun CY. Adaptive dynamic programming for a class of complex-valued nonlinear systems. IEEE Trans. Neural Netw. Learn. Syst. 2014 Sep; 25(9):1733–1739
  49. 49. Zhang HG, Qin CB, Jiang B, Luo YH. Online adaptive policy learning algorithm for H state feedback control of unknown affine nonlinear discrete-time systems. IEEE Trans. Cybern. 2014 Dec; 44(12):2706–2718 pmid:25095274
  50. 50. Pan JF, Or SW, Zou Y, Cheung NC. Sliding-mode position control of medium-stroke voice coil motor based on system identification observer. IET Electr. Power Appl. 2015 Nov; 9(9): 620–627
  51. 51. Zhang HG, Li M, Yang J, Yang DD. Fuzzy model-based robust networked control for a class of nonlinear systems. IEEE Trans. Syst. Man Cybern. A Syst. Humans. 2009 Mar; 39(2): 437–447
  52. 52. Shen YJ, Huang YH. Uniformly observable and globally Lipschitzian nonlinear systems admit global finite-time observers. IEEE Trans. Autom. Control 2009 Nov; 54(11): 2621–2625