Abstract

A novel continuous sliding mode control (CSMC) strategy based on the finite-time disturbance observer (FTDO) is proposed for the small-scale unmanned helicopters in the presence of both matched and mismatched disturbances. First, a novel sliding surface is designed based on the estimates of the mismatched disturbances and their derivatives obtained by the FTDO. Then, a continuous sliding mode control law is developed, which does not lead to any chattering phenomenon. Furthermore, the closed-loop helicopter system is proved to be asymptotically stable. Finally, the excellent hovering and tracking performance, as well as the powerful disturbance rejection capability of the proposed novel CSMC method, is validated by the simulation results.

1. Introduction

With the prominent capabilities of vertical take-off and landing and hovering and high levels of maneuverability, small-scale unmanned helicopters have become the most popular unmanned aerial vehicles (UAVs). Furthermore, unmanned helicopters can be applied to military and civilian areas. However, unmanned helicopters are known as nonlinear systems with strong couplings and a variety of disturbances. Particularly, some disturbances enter the unmanned helicopter systems via different channels with control inputs, which are known as mismatched disturbances. Therefore, it has become a quite attractive and challenging task to design high-performance control strategies for unmanned helicopters [1ā€“4].

In the past decades, numerous elegant control methods have been developed for the helicopter systems. Some flight controllers are designed based on the linear model of the unmanned helicopters, including PID [5], LQR [6], and [7]. However, these linear controllers are only effective when the states of the unmanned helicopters are in the neighbourhood of the equilibrium points [8]. Consequently, a growing number of nonlinear control approaches have been employed for the unmanned helicopter systems. By selecting the meaningful outputs of position and yaw angle, the approximate input-output linearization techniques have been proposed for the unmanned helicopters, which are able to take full advantage of the nonlinear dynamics and are applicable to a wide range of flight envelopes [9]. In combination with the adaptive technique, the backstepping control methods have been employed to handle the parametric uncertainties [10]. With the unique disturbance suppression capability, sliding mode control (SMC) methods have been proposed to attenuate the model uncertainties and external disturbances of the unmanned helicopters [11]. However, all the control methods aforementioned are feedback control techniques, which are one-degree-of-freedom control structures. The feedback action is responsible both for suppressing the uncertainties and for stabilizing the system. Therefore, a tradeoff will be made for these two performances. Thus, these feedback control methods may not have enough capability to deal with the severe uncertainties and disturbances of the unmanned helicopter systems.

In recent years, the disturbance observer-based control (DOBC) methods have been proposed to handle the uncertainties and disturbances [12ā€“15]. The DOBC methods are considered two-degree-of-freedom control structures. It is composed of two parts: a traditional feedback control loop to meet the requirements on stability and tracking performance for the system and an inner disturbance rejection loop to compensate for the disturbances straightforwardly. The DOBC methods have found applications in a wide range, such as robotic manipulator systems [16], disk drive systems [17], air-breathing supersonic vehicle systems [18], and fluidized bed combustor systems [19]. However, most of the DOBC methods are only able to deal with the disturbances satisfying the matching condition which implies that the disturbances enter the system via the same channels as the control inputs [20].

Nowadays, the DOBC methods have been extended to deal with the systems subjected to mismatched disturbances [21ā€“23]. By tactfully designing a mismatched disturbance compensation gain, a new DOBC algorithm is developed to eliminate the influence of mismatched disturbances from the outputs [24]. A new sliding mode control method is developed to reject the mismatched disturbances [25]. Moreover, the coordinate transformation technique is employed to transform the mismatched disturbances into matched disturbances which can be compensated by a feedforward control technique [26]. However, these control algorithms can only attenuate the mismatched disturbances that go to constants in a steady state. Nevertheless, the mismatched disturbances applied to the helicopter systems are high-order time-varying functions. A disturbance observer-based sliding mode control algorithm is designed to suppress the high-order time-varying mismatched disturbances [27]. However, this control algorithm can only be applied to single-input single-output (SISO) systems. The unmanned helicopters are typical multiple-input multiple-output (MIMO) systems. In article [28], an extended nonlinear disturbance observer-based sliding mode control (ENDO-SMC) algorithm is proposed for the helicopter systems, which is able to attenuate the mismatched disturbances effectively. However, the tracking errors of the helicopter systems are only guaranteed to converge to a neighbourhood of origin, instead of the origin. In addition, the ENDO-SMC algorithm cannot fully eliminate the chattering phenomenon. In this paper, a novel continuous sliding mode control (CSMC) algorithm based on the finite-time disturbance observer (FTDO) is developed for the small-scale unmanned helicopter systems. By designing a new sliding surface with the estimates of the mismatched disturbances and their derivatives by FTDOs, the novel CSMC method is able to suppress both the matched and mismatched disturbances. Furthermore, a new continuous sliding mode control law is designed for the helicopter system, which does not result in any chattering phenomenon. Additionally, it is proved that the novel CSMC method can drive the outputs of the unmanned helicopters to the set-point asymptotically in spite of the presence of both matched and mismatched disturbances. Finally, numerical simulation results demonstrate the effectiveness of the proposed CSMC method.

Compared to other applications of sliding mode control (SMC) for UAVs, the contributions of this manuscript are given as follows. Owing to the fact that the SMC methods are only robust to matched disturbances, most of the SMC-based flight controllers of UAVs cannot suppress the mismatched disturbances that are prominent in UAV systems [29, 30]. What is worse, due to their discontinuous control actions, the control systems are subject to a chattering phenomenon. An integral sliding mode controller is developed for the unmanned helicopter system to attenuate the mismatched disturbances [31]. Unfortunately, the integral action will bring some adverse effects to the control systems, such as large overshoot and long settling time. In this paper, the proposed novel continuous sliding mode control (CSMC) method is able not only to reject the mismatched disturbances of the unmanned helicopter systems but also to eliminate the chattering phenomenon completely.

Additionally, the neural networks also have been employed for the flight controller to reject mismatched disturbances widely. A nonlinear adaptive neural network-based controller is designed for unmanned helicopter systems, whose tracking error can be restricted within a small bound [32]. Moreover, a neural network-based adaptive sliding mode tracking controller is developed for unmanned helicopter systems, which is able to compensate for the external unknown disturbances [33]. With the combination of the neural networks and backstepping technique, both these two flight controllers can deal with mismatched disturbances. Unfortunately, an exact helicopter model is needed a priori, which compromises the feasibility of these methods. On the other hand, a great deal of training data is required for the neural networks, which is the general problem of the neural network technique.

This paper is organized as follows. The dynamic model of the small-scale unmanned helicopter is given in Section 2. Section 3 presents the complete design procedure of the proposed CSMC method. The stability analysis of the closed-loop helicopter system is given in Section 4. Some simulation results that demonstrate the effectiveness of the proposed CSMC method are illustrated in Section 5. Section 6 draws the conclusions.

2. Problem Formulation

2.1. Nonlinear Dynamic Model of the Unmanned Helicopter

This section presents the nonlinear dynamic model of the unmanned helicopter. The unmanned helicopter is considered a six-degree-of-freedom rigid body model with a simplified force and moment generation process and disturbed by external disturbances and model uncertainties, which are treated as the lumped disturbances. The schematic diagram of the unmanned helicopter is shown in Figure 1.

The nonlinear dynamic model of a small-scale unmanned helicopter can be presented in the following form [7, 34]: where and represent the position and velocity vectors in the inertial frame and and represent the Euler angle and angular rate vectors in the body-fixed frame. is the control input vector. The notations of and are the lumped disturbance vectors acting on the unmanned helicopter, which contain wind gusts, model uncertainties, and so on.

The notation of denotes the gravitational acceleration, is a unitary vector, and is the diagonal inertia matrix. and are the stability derivative and input derivative of the main rotor thrust , respectively. and are the stability derivative matrix and input derivative matrix of the moment vector , respectively. and represent the rotation matrix and attitude kinematic matrix, respectively, defined as where the compact notation denotes , denotes , and denotes .

2.2. Approximate Feedback Linearized Model of the Unmanned Helicopter

The control task is to design the control input for the unmanned helicopter to drive the position and yaw angle to the desired trajectory of and . However, the exact input-output linearization fails to linearize the complete helicopter system, leading to unstable zero dynamics [9]. Therefore, the approximate feedback linearization technique will be developed for the unmanned helicopter system.

Let the lumped disturbances be at first. Furthermore, in order to develop the feedback linearization procedure succinctly, the term will be replaced by the main rotor thrust . The simplified nominal model of the unmanned helicopter can be described by

The dimension of the helicopter system (3) is . Meanwhile, the total relative degrees are . Therefore, there exists internal dynamics characterized by 4-D zero dynamics [35]. To make the model (3) feedback linearizable, the dynamic extension procedure is proposed for the helicopter system, which is realized by two integrators of the main rotor thrust .

Furthermore, to simplify the feedback linearization procedure, the following transformation of the control input is proposed:

Therefore, we can obtain . And the following expression is regarded as the new control input vector , where .

In accordance with the input-output feedback linearization procedure, we differentiate the output variables and in (3) until input variables appear in the equation.

The fourth-order derivative of position can be obtained as where the input variables occur, and

The second-order derivative of can be obtained as where the input variables appear, and .

The dimension of the extended helicopter system is , and the total relative degree is . Therefore, we conclude that there exists no internal dynamics in the extended helicopter system anymore. So it can be completely feedback linearized.

Define the new state variables , , , , and , and consider the disturbances and again. We can derive the complete model of the small-scale unmanned helicopter as where , , and represent the lumped disturbances acting on the helicopter system. Furthermore, and enter the helicopter system via the same channels as control inputs, so they are matched disturbances. On the other hand, does not satisfy the matching condition, so it is known as mismatched disturbance.

2.3. Control Objective

The objective of this paper is to develop a novel continuous sliding mode controller for the small-scale unmanned helicopter to track the predefined trajectory asymptotically despite the presence of both matched and mismatched disturbances. The proposed novel CSMC strategy can suppress the matched disturbances, as well as the mismatched disturbances. Furthermore, the proposed CSMC method is able to eliminate the chattering phenomenon completely. The flight controller structure is illustrated in Figure 2.

3. Controller Design

This section presents a novel continuous sliding mode controller based on the finite-time disturbance observer for the small-scale unmanned helicopter with 190 matched and mismatched disturbances.

3.1. Finite-Time Disturbance Observer (FTDO)

First of all, some FTDOs are designed to estimate the disturbances and their successive derivatives in finite time.

To develop the subsequent FTDOs, a reasonable assumption is given as follows.

Assumption 1. The disturbances in the helicopter system ((8) and (9)) satisfy the idea that the mismatched disturbance is at least 3-th order differentiable and has the Lipschitz constant of and the matched disturbances d2 and d3 are at least 1-th order differentiable and and have Lipschitz constants and , respectively.

A third-order FTDO is designed to estimate the mismatched disturbance d1 and its derivatives and [36]: where is the estimate of state . , and are the estimates of disturbance and its successive derivatives and , respectively. and are the coefficients of the FTDO to be designed.

A first-order FTDO is designed to estimate the matched disturbance: where is the estimate of state and is the estimate of disturbance .

and are the coefficients of the FTDO to be designed.

A first-order FTDO is designed to estimate the matched disturbance : where is the estimate of state and is the estimate of disturbance .

and are the coefficients of the FTDO to be designed.

Combining the helicopter system (8) and the FTDO ((10)ā€“(17)), the error dynamics of the FTDO satisfies the following differential inclusion understood in the Filippov sense: where the estimation errors are defined by , , , and . It follows from [36, 37] that the estimation errors will converge to the origin in finite time. That is to say, there exists a time constant such that for . Moreover, after a finite time , the following equality is true .

The stability analyses of the FTDOs ((18)ā€“(21) and (22)ā€“(25)) are similar to that of the FTDO ((10)ā€“(17)) above. Therefore, it is omitted here for space reason.

3.2. Novel Continuous Sliding Mode Controller

Define the tracking errors and their successive derivatives of position and yaw angle: where and are the successive derivatives of the desired position and yaw angle.

The error dynamics of the unmanned helicopter system can be obtained as

The disturbance is mismatched disturbance, while the disturbances and are matched disturbances. However, the traditional sliding mode control method is only robust to matched disturbances, but sensitive to mismatched disturbances. Therefore, this section will develop a novel continuous sliding mode controller for the helicopter system, which can handle both matched and mismatched disturbances. In addition, it is able to remove the chattering phenomenon completely.

3.2.1. Position Control

The position subsystem (28) is subjected to mismatched disturbance d1 and matched disturbance d2 simultaneously. Thus, a novel sliding surface based on the FTDO is designed as where represent the positive definite diagonal matrices and their elements make be Hurwitz polynomials. The expressions of and are the estimates of the mismatched disturbance d1 and its derivative , respectively.

The time derivative of the sliding surface (30) along the position dynamics (28) can be derived by

The control input can be designed as where is the positive definite diagonal matrix and .

3.2.2. Yaw Angle Control

Since the yaw angle subsystem (29) is only subjected to matched disturbance d3, a traditional sliding surface is chosen as where .

The time derivative of the sliding surface (33) along the yaw dynamics (29) can be obtained as

The control input can be designed as where and .

4. Stability Analysis

The stability of the closed-loop helicopter system will be analyzed in this section.

Theorem 1. For position subsystem (8) with the sliding surface (30) under the novel continuous sliding mode control law (32), the position P of the unmanned helicopter will converge to the desired trajectory asymptotically and all the states remain bounded despite the presence of matched disturbance and mismatched disturbance d1.

Proof 1. This proof will be given in three steps.
In the first step, we will show that the bounded estimation errors of FTDO will not make the sliding variable go to infinity in any finite time. That is to say, the transition process of FTDO does not destabilize the sliding mode dynamics controlled by observer-based control laws.
With the continuous sliding mode control law (32), the closed-loop position dynamics can be described by where is the estimation error of disturbance , which is bounded due to the finite-time stability of the FTDO.
Let us define a finite-time bounded (FTB) function [38] as Considering the sliding mode dynamics (36), the time derivative of (37) can be obtained as where , , and represents the maximum eigenvalue of diagonal matrix .
Therefore, we can obtain the FTB function , and so the sliding variable will not tend to infinity in any finite time.
Furthermore, the FTDO is finite-time stable, so the estimation error will go to zero in a finite time . Therefore, combining the fact that the sliding variable will not tend to infinity in any finite time, we can obtain that the sliding mode dynamics (36) will reduce to when .
Hence, the sliding variable will converge to zero in a finite time , which means that the transition process of FTDO does not destabilize the sliding mode dynamics controlled by observer-based control laws.
In the second step, we will show that the bounded estimation errors and bounded sliding variable will not make the variables , , , and go to infinity in any finite time. That is to say, the transition process of FTDO and the transition process of sliding mode dynamics do not destabilize the closed-loop system controlled by observer-based control laws.
The new state variables are defined by , , , and . The sliding surface can be rewritten by . Therefore, the dynamics of the closed-loop system can be described by A more compact form of dynamics (40)ā€“(42) can be obtained: where , , and its norm is bounded. The matrix can be expressed as which is a Hurwitz matrix. Let us define a finite-time bounded (FTB) function as Considering the dynamics (44), the derivative of (46) can be obtained as where , , and represents the maximum eigenvalue of matrix .
Therefore, we can derive the FTB function , and so the variables will not tend to infinity in any finite time. Moreover, according to equation (43), the variable will not tend to infinity in any finite time either. In other words, the transition process of FTDO and the transition process of sliding mode dynamics do not destabilize the closed-loop helicopter system controlled by observer-based control laws.
In the third step, we will show that the variables , , , and will converge to zero asymptotically.
Since the estimation errors will go to zero in a finite time and the sliding variable will go to the origin in a finite time , the dynamics ((40)ā€“(42) and (43)) will reduce to when , where .
The matrix is a Hurwitz matrix, so the variables , , and will converge to zero asymptotically. Furthermore, according to the definition of matrices , , and , the variable will converge to zero too.In summary, the position of the unmanned helicopter will converge to the desired trajectory asymptotically and all the states remain bounded despite the presence of matched disturbance and mismatched disturbance .

5. Simulation Results

Some numerical simulation results are provided in this section to demonstrate the effectiveness of the proposed continuous sliding mode controller of the small-scale unmanned helicopter. Furthermore, in order to evaluate the superiority of the proposed CSMC method, both the traditional SMC and ENDO-SMC [28] are employed as comparative methods.

The parameters of the small-scale unmanned helicopter are given as follows. , , , , , , and

The parameters of the controllers are chosen as follows. The coefficients of the FTDOs are , , , , , , , , , , and . The coefficients of the sliding surface are , , , and . The parameters of the continuous sliding mode controller are , , , and . The parameters of the ENDO-SMC are and . The parameters of the traditional SMC are and .

The lumped disturbances affecting the unmanned helicopter system are , where represents the model uncertainty matrix, and all the elements are pseudorandom values in the interval of (), and represents the external disturbances produced by wind gusts [39].

In order to examine the performance of the proposed flight controller comprehensively, two types of flight simulation are conducted here.

5.1. Hovering Flight Simulation

To validate the hovering performance of the unmanned helicopter, a hovering flight simulation is carried out. The initial position and yaw angle of the helicopter are and , respectively. The other state variables are all set to zero. The control goal of this hovering flight simulation is to stabilize the helicopter to the origin and in the presence of both matched and mismatched disturbances.

The simulation results are illustrated in Figures 3ā€“6. Figure 3 shows the estimates of the disturbances of hovering by FTDOs. The response curves of the position and yaw angle are depicted in Figure 4. It can be seen that all the positions of , , and can be kept in the origin precisely under the proposed CSMC method. The position of and can almost be kept in the origin under the traditional SMC and ENDO-SMC methods. However, the position of results in fluctuation severely under the traditional SMC method, and it suffers from fluctuation to a certain degree under the ENDO-SMC method too. As shown in Figure 3, the mismatched disturbance affecting the -axis is much larger than and affecting the - and -axes, which reveals that the proposed CSMC method possesses much stronger ability to suppress mismatched disturbances. Furthermore, the yaw angle can stay near zero under all the three control methods; for that, the yaw dynamics is only subjected to matched disturbance. Figure 5 depicts the response curves of the control inputs. Figure 6 shows the response curves of the sliding surfaces. Both the traditional SMC and ENDO-SMC methods are suffering from a chattering phenomenon due to the discontinuous switching control actions. On the other hand, from these two figures, we can obtain that the proposed CSMC method does not lead to any chattering phenomenon.

5.2. Maneuver Flight Simulation

To validate the tracking performance of the unmanned helicopter, a maneuver flight simulation is carried out.

A comprehensive maneuver flight trajectory is given as [7]

The initial values of the state variables are all set to zero.

The simulation results are illustrated in Figures 7ā€“12. Figure 7 depicts the estimates of the disturbances of the maneuver flight by FTDOs. Figure 8 shows the response curves of the position and yaw angle. We can see that the control performance of the proposed CSMC method is better than those of the traditional SMC and ENDO-SMC methods due to its more precise tracking performance and gentler dynamic process. Figure 9 shows the tracking errors of the maneuver flight. It can be observed that the tracking errors of the proposed control method are smaller than those of the two control methods, especially for the tracking error of position . In addition, Table 1 gives the root mean square (RMS) of the tracking errors, which supports the aforementioned analysis primely. The - plane of the maneuver is illustrated in Figure 10, which shows the horizontal trajectory intuitively. Figure 11 depicts the response curves of the control inputs. Figure 12 shows the response curves of the sliding surfaces. It can be noted that the control inputs and the sliding surfaces of the proposed CSMC method are continuous and free from any chattering phenomenon. Furthermore, the RMS of the control inputs is given in Table 2. It can be seen that the control energy of the proposed control method is lower than that of the other two control methods, which means that the proposed CSMC method performs the flight mission most effectively.

6. Conclusion

In this paper, a novel continuous sliding mode controller based on the approximate feedback linearization and FTDO is developed for the small-scale unmanned helicopter with matched and mismatched disturbances. The CSMC method is robust to both matched and mismatched disturbances and does not result in any chattering phenomenon. Furthermore, representative simulation results demonstrate that the proposed CSMC method exhibits superior control performance compared with the traditional SMC and ENDO-SMC methods. Additionally, future works include the experiment tests for the proposed control method on an experimental helicopter platform.

Data Availability

The data used to support the findings of this study are included within the article.

Conflicts of Interest

The authors declare that there is no conflict of interest.

Acknowledgments

This work is supported by the National Natural Science Foundation of China under grants 61803182 and 61703118 and the Natural Science Foundation of Jiangsu Province under grant BK20180593.