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

Robust adaptive control with lumped model uncertainty and wind disturbance estimation for airship trajectory tracking

  • Muhammad Wasim,

    Roles Conceptualization, Methodology, Resources, Software, Writing – original draft

    Affiliation Department of Aeronautics and Astronautics Engineering, Institute of Space Technology, Islamabad, Pakistan

  • Ahsan Ali,

    Roles Conceptualization, Methodology, Project administration, Supervision, Writing – review & editing

    Affiliation Department of Electrical Engineering, University of Engineering and Technology, Taxila, Pakistan

  • Faisal Saleem,

    Roles Investigation, Validation, Writing – review & editing

    Affiliations Department of Measurements and Control Systems, Silesian University of Technology, ul. Akademicka 16, Gliwice, Poland, The Joint Doctoral School, Silesian University of Technology, ul. Akademicka 2A, Gliwice, Poland

  • Inam Ul Hasan Shaikh,

    Roles Funding acquisition, Resources, Supervision, Validation, Visualization, Writing – review & editing

    Affiliation Department of Electrical Engineering, University of Engineering and Technology, Taxila, Pakistan

  • Jamshed Iqbal

    Roles Data curation, Formal analysis, Investigation, Resources, Validation

    j.iqbal@hull.ac.uk

    Affiliation School of Digital and Physical Sciences, Faculty of Science and Engineering, University of Hull, United Kingdom

Abstract

The robotic airship can be used as an aerostatic platform for many potential applications, for example, communication, hovering payload deliveries, data-gathering for research studies, etc. These applications require a fully autonomous perspective of an airship. One of the important aspects of airship autonomy is trajectory tracking control. An airship has complex and uncertain nonlinear dynamics which pose a major challenge for designing a precise trajectory tracking control. This paper addresses the airship trajectory tracking control problem under model uncertainties and wind disturbance. We propose a lumped model uncertainties and wind disturbance estimation approach based on an unscented Kalman filter. The estimated lumped uncertainty is used by the Sliding Mode Controller (SMC) for ultimate control of airship trajectory tracking. This comprehensive algorithm, Unscented Kalman filter-based Sliding Mode Controller (USMC), is used as a robust adaptive control solution to track the desired trajectory. The stability and convergence of the proposed method are investigated using the Lyapunov stability analysis. Simulation results show that the proposed method efficiently tracks the desired trajectory. The method solves the stability, convergence, and chattering problem of SMC without the bound constraint of model uncertainties and wind disturbance.

1. Introduction

Unmanned Aerial Vehicles (UAVs) design is the focus of researchers and developers worldwide owing to its numerous applications in agriculture and in the commercial sector [1]. UAVs cover various aerial vehicles, including fixed-wing aircraft, quadrotors, and airships [2]. The airship is a typical type of lighter-than-air vehicle that takes maximum airlift from aerostatic forces. The airship has a prominent future due to its unique properties and suitability for diverse potential applications. Since an airship uses minimum power to stay aloft, it can be operated for a prolonged period as a data collection platform. It can also provide a potential platform for agriculture monitoring at low altitudes for pests, weeds, and crop data collection.

These applications require autonomous tasks that include trajectory tracking and path following. Trajectory tracking ensures that an airship follows a predefined path at a specific time. Path following requires the airship to follow a particular predefined path without any time constraints. For successful execution of autonomous goals, the foremost requirement is to develop an efficient and reliable control and navigation system. Airship trajectory tracking control design is a challenging task due to its slow and highly coupled nonlinear dynamics. The difficulty level further increases due to its lighter-than-air nature because it is severely affected by wind disturbances. Model uncertainties related to mass matrix variation in the airship model also pose a great deal of challenges in control design. Furthermore, unknown parameters in the aerodynamic model affect performance of the controller. Many contributions can be found in the literature suggesting different control mechanisms for airship trajectory tracking.

2. Literature

In linear control methods, Proportional-Integral-Derivative (PID) controller has been designed for airship trajectory tracking. Chen et al. designed a composite control scheme for airship trajectory tracking which consists of PID and dynamic inversion controller for improved performance [3]. However, the PID controller cannot ensure control capability for different operating conditions. Moutinho et al. linearized the AURORA airship model and separated its longitudinal and lateral dynamics. Based on this reduced model, a dynamic inversion controller was implemented [4]. However, this control method does not apply to all operating points. This is because the controller neglects dynamic nonlinearities and coupling between longitudinal and lateral dynamics [5].

Apart from these methods, researchers have used Model Predictive Control (MPC) with the linear model for airship planar trajectory tracking. However, mechanisms for evaluating controllers under a stratospheric environment are not discussed. Moreover, too much dependence on operating space affects the performance of linear MPC. A nonlinear MPC is designed for airship spatial trajectory tracking while handling operating space limitations. MPC method is computationally complex because it solves an optimization problem on each sampling instant. The complexity of this algorithm further increases with each additional state and restrains its use in real-time scenarios. Literature also presents the nonlinear controllers, including Gain Scheduling Controller (GSC), Back Stepping Controller (BSC), and Sliding Mode Controller (SMC) for airships. In the project AURORA, airship model is linearized around different operating points and a GSC is synthesized for each vertex. They applied interpolation for the points between vertices to generate control efforts. The complexity of the controller synthesis increases with several operating points. Hence in some instances, the controller synthesis problem becomes infeasible. Therefore, many researchers have preferred other nonlinear control approaches for airship trajectory tracking [612].

A command-filtered vectorial BSC is designed for a stratospheric airship to track a 3D trajectory. The command filter is used to smoothen the derivatives of controller input for the backstepping approach which is employed to reduce the tracking error. This approach was able to achieve robustness when the gains of the controller were high. Although high controller gains ensure robust performance, it deteriorates nominal performance. In such cases, model deficiencies are handled through adaptive and neural network-based adaptive BSCs. It is reported that the performance of the adaptive backstepping algorithm strictly depends on initial bias and disturbances. If the initial bias and disturbances are significant, the method may result in system instability. The use of a BSC is problematic because of “explosion of terms” in its control law depending on the size of the system [1318].

SMC is designed for airship planar trajectory tracking under the project AURORA, using linear longitudinal and lateral models. The longitudinal model is used to maintain a certain height of the airship and the lateral model is incorporated to reduce tracking error. A model used for the controller design was linearized for an airspeed of 2 . So, this approach does not guarantee global behavior. Apart from that, fuzzy logic and neural networks-based SMC methods are also applied for airship trajectory tracking. These methods also estimate the model uncertainties and wind disturbance. The existing literature for airship trajectory tracking control based on adaptive or intelligent methods to handle model uncertainties and wind disturbance does not provide a generic solution to the airship trajectory tracking problem. Also, the authenticity and reliability of data are crucial to the training part of the algorithms operating based on neural network (NN). In case all scenarios of the workspace are not covered in the training data, the NN-based SMC will not perform for the missing scenarios. The data for missing scenarios needs to be estimated using some estimators [1922].

The discontinuous nature of SMC and imperfections in the physical system induce high-frequency oscillations in control input known as chattering [23,24]. In airship control, chattering might damage the actuators. Moreover, the reaching phase of the controller is sensitive to model uncertainties and external disturbances. This degrades the performance of the controller in some instances and may cause instability. An airship model is usually affected by mass matrix variations, aerodynamic coefficients uncertainties, and wind disturbances. To handle model uncertainties and wind disturbances, this work presents a modified SMC method for airship trajectory tracking. Since this method can approximate the model uncertainties and wind disturbances, we mention this as an Adaptive SMC. An adaptive law is designed to provide the lumped model uncertainties and wind disturbance estimates to the SMC to minimize the chattering issue and ensure robustness.

3.1. Contribution of the proposed work

Estimating airship model uncertainties and wind disturbance is mandatory for efficient trajectory tracking. In most of the trajectory tracking control solutions, specified bounds are applicable. These bounds need to be relaxed for a global trajectory-tracking solution. In our previous work [2528], we have proposed the airship aerodynamic model estimation and lumped model uncertainty estimation using Extended Kalman Filter (EKF) and Unscented Kalman Filter (UKF). In this research, we are extending our previous results and proposing airship trajectory tracking control using the Unscented Kalman filter-based SMC method. The proposed method provides a generic solution to airship trajectory tracking which relaxes the uncertainty bounds. The purpose of the proposed research is to introduce the Kalman filter algorithm as a lumped model uncertainty and wind disturbance estimator. The proposed method is simple, easy to understand and implement. For airship state estimation, the availability of off-the-shelf sensor fusion-based position, attitude, and linear and angular velocity estimations have been assumed. The proposed algorithm is tested under a generalized case where parameter variation and wind disturbance are considered at different time intervals during the airship aerodynamic flight. The simulation results show improved performance of the proposed USMC method over the conventional SMC. Equations of conventional SMC for airship trajectory tracking have also been derived. This work used conventional SMC for performance evaluation and comparison of the proposed approach.

Key contributions of this work include:

  1. Mathematical modelling of an airship lumped with modelling uncertainties and wind disturbances.
  2. Design of UKF-based estimator for lumped uncertainty estimation for airship.
  3. A generic adaptive SMC approach for relaxed uncertainty bounds.
  4. Attenuation of chattering introduced by SMC for an airship trajectory tracking.

3. Airship modeling

Fig 1 shows an airship which has an ellipsoidal envelope filled with low-density gas such as helium. The airship has a gondola under the envelope which carries autonomous flight control equipment, batteries, and payload. It has two propellers on both sides of the gondola to provide the necessary thrust for airship motion. There are two rudders and two elevators making a plus configuration on the tail. They provide the aero-dynamic control force necessary for airship maneuvering in cruise flights. A propeller at the bottom rudder of the airship enhances yaw control. Fig 2 shows the geometrical parameters of the airship. The introduction of two reference frames enables the development of airship nonlinear modelling equations. The inertial frame is located at a fixed point on Earth. The local frame of reference is located at the Center of Volume (CV) of the airship [28].

Airship position is expressed through the inertial frame () and represented by. Here, is the distance covered by airship in x-direction, is the distance covered in y-direction and is the distance covered in upward direction. denotes attitude in inertial frame. Where, represent the roll, pitch, and yaw angle with respect to inertial frame (). Airship linear and angular velocities aligned with the local frame of reference () are represented by and respectively. is a state vector representing airship position and attitude. is a state vector representing airship linear and angular velocities. Equation (1) is a nonlinear state-space representation of the airship model with nominal parameters. Whereas equation (2) represents the airship model with uncertain parameters. Uncertainty and wind disturbance are represented with lumped uncertainty vector.

(1)(2)

where,

is the direction cosine matrix. It converts airship linear and angular velocities from body axis to inertial frame, rate of change of airship position and attitude. is the dynamic force vector. It represents the forces and torques acting on airship due to centrifugal and Coriolis affects. is the aerostatic force vector; forces and torques acting on airship due to gravity and buoyancy. are the aerodynamic forces and torques acting on airship; they consist of drag, lift, and side force. is the generalized control input vector. The notations are used for the nominal model while encapsulate the parameter variations. The mass matrix is:

(3)

The mass matrix contains the actual mass, inertia, the added-mass and inertia terms for the airship. The added terms come due to the mass of air displaced by the airship. Equation (4) describes the dynamic force vector. The dynamic force vector summarizes the forces and torques acting on the airship due to centrifugal and Coriolis effects.

(4)

and represent the aerostatic and aerodynamic force vectors as:

(5)(6)

were, is the airship weight, is the buoyancy force, {} are the coordinates of the Center of Gravity (CG) of the airship, and {} are the coordinates of the Center of Volume (CV) of the airship.

Also,

and denotes the angle of attack while represent the aerodynamic coefficients.

The details of parameters are:

The origin of the body frame is located at the center of volume of the airship. For the double-ellipsoid geometry, the center of volume is located on the x-axis at the point . These parameters are adopted from [2731].

Remark 1. Airship roll and pitch angles satisfy the bounds . This ensures non-singularity of the rotation matrix.

Assumption 1. The Airship CG point lies beneath the CV and its center of buoyancy coincides with the CV. The airship is in a neutral buoyancy state such that its weight and buoyancy are equal. Consequently, the aerostatic forces do not affect horizontal dynamics. The given 6-DOF equations ignore the aeroelastic effects and consider the airship as a rigid body. However, the controller design considers these effects as model uncertainties.

Assumption 2. Airship mass matrix terms are uncertainty terms:

where , , , , , , are known and , , , , , , , are unknown parts. However, the unknown parts are bounded by some upper bound; , , , , , , , . The aerodynamic model coefficients are uncertain. Where is a known part, and is an unknown part. The unknown part is bounded by some upper-bound .

4 Controller design for trajectory tracking

Trajectory tracking control is a task of tracking a predefined time-varying reference path within a specific time. Let , represent the reference and actual trajectories, respectively, where,

and

The trajectory tracking controller aims to bring the error, i.e., , equal to zero asymptotically. Fig 3 gives a visual representation of a trajectory-tracking problem. Tracking error formulation is:

thumbnail
Fig 3. Visual representation of a typical trajectory tracking problem.

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

(7)

In this research, a sliding mode controller is used as a benchmark for comparing the results with the proposed USMC method. Therefore, for conventional SMC, we have used the model in equation (1) for controller design. Fig 4 demonstrates the models which we use in the controller and the simulator. In the simulator, we can introduce the parameter variation during the simulation run to mimic the actual environment and parameter variation scenarios. This allows to validate the controller’s performance under model uncertainties and wind disturbance. In the simulator, used with vectors , , and mass matrix , shows that the parameters of the model are varied during the simulation run.

thumbnail
Fig 4. The block diagram for the sliding mode controller.

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

The tracking error is:

(8)

Let us define the error-based linear hyperplane as a sliding surface:

(9)

where, . These terms are tuning variables and must be positive to ensure the convergence of error to zero. After the design of the sliding surface, this work chooses the appropriate reaching law. The reaching law ensures that trajectories converge to the sliding surface and stay there. Here, the simplest reaching law “” is selected as a switching function. Where diag denotes the controller gains. The gains are positive and can be tuned heuristically; however, as for SMC, the uncertain term is not available. For robustness to prevail, assumption 3 should hold for conventional SMC.

Assumption 3. It is assumed that there exists a positive number such that the uncertainty , and controller gain .

For the trajectories to reach the sliding surface, the reachability condition should be satisfied, i.e., for the validity of this condition, is selected as -. Where ‘sign’ is the signum function which is zero at , one for , and a negative one at . Now, using equation (1) with the availability of bounds on , as defined in assumption 3 and the reachability condition, the control law for conventional SMC is:

(10)

Theorem 1. The airship model given in equation (1) with the sliding surface of equation (9), the control law in equation (10) brings the trajectory tracking error asymptotically to zero.

Proof. Selecting the Lyapunov function as:

(11)

The existence of the Lyapunov function proves the existence condition for sliding modes. is the Lyapunov function concerning , i.e., the sliding surface. Since V (0) = 0, as , and , this is a positive definite Lyapunov function. is the equilibrium point to which the state is to converge. ‘State’ is , which is the error between the system state and the desired state, i.e., . The objective of SMC is to bring the tracking error to zero. At , the system will be on the sliding surface, and the error dynamics will reduce to:

(12)

Equation (13) is derived by differentiating (11) and expanding the terms.

(13)

Differentiating equation (8) twice results in:

(14)

From equation (1), we have:

(15)

Substitution of equation (15) into equation (13) results in:

(16)

Substituting control law in equation (16) and simplifying results in:

(17)

Lyapunov condition applies to the inequality .

(18)

Remark 2. The SMC controller in equation (10) ensures the Lyapunov stability of the airship. The trajectory tracking error will asymptotically converge to zero within a finite time for the given bounds.

4.1 USMC design for airship trajectory tracking

The bounds given in assumption 3 undermines the performance of the sliding mode controller. Estimation of model uncertainty and wind disturbance will ensure the performance of SMC beyond the given bounds. An unscented Kalman filter estimates model uncertainties and wind disturbance in the proposed algorithm.

Fig 5 shows the block diagram of the proposed Unscented Kalman filter-based Sliding Mode Controller (USMC). SMC is provided with the reference trajectory and the estimate of airship states, model uncertainties, and wind disturbance. The SMC calculates the control input and provides the airship system. In response to the control input, the airship tracks the desired trajectory effectively.

thumbnail
Fig 5. Block diagram representation of proposed USMC algorithm.

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

Fig 6 shows the flow chart of the proposed algorithm for efficient trajectory tracking of the airship. The airship simulator initializes with the initial values of position, attitude, linear and angular velocities. Table 1 shows the possible initial values for the airship simulator. In the next step, the airship simulator receives control inputs, information on wind disturbance, and airship model parameter variations due to uncertainties. The estimates of position and attitude from the airship simulator are given to the UKF block [31]. UKF block implements an estimation algorithm, based on the airship-modified model given in (22), to estimate the airship state vector and model uncertainty vector. The UKF estimates the airship state and model uncertainty vector. The information regarding states and model uncertainty is given to SMC. The SMC block implements the proposed trajectory tracking control method. It utilizes the estimates of UKF, the desired trajectory, and its derivative to calculate the control action. The stopping criteria of the algorithm depend on the total trajectory time and sampling rate. The relation for is:

thumbnail
Fig 6. Flow chart for the proposed airship trajectory tracking control algorithm.

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

(19)

4.2. Unscented Kalman Filter (UKF) design for airship model uncertainties and wind disturbance estimation

Like Extended Kalman Filter (EKF) [31], UKF algorithm is a nonlinear extension of the famous Kalman filter. It is based on the careful selection of sigma points. One can select sigma points using the current mean and state estimation error covariance. These points propagate through the system model to obtain transformed points. This process is known as unscented transform. The method uses the transformed points to obtain the true mean and covariance of the system. In this way, the unscented Kalman filter can approximate any nonlinear system up to the second order of the Taylor series. For the application of the UKF algorithm, it is necessary to represent the nonlinear system in the state-space form. Moreover, it is required to introduce additional state variables for the estimation of unknown parameters or disturbances.

The proposed work introduces six augmented state variables for the estimation of the airship model uncertainty. Vector , defined in a lumped approach, represents augmented state variables. A constant disturbance model for representing model uncertainty vector is used. The constant disturbance model is a simple way of representing a disturbance in a control system as unknown but constant offset added to the system’s dynamics. The airship has a slow dynamic as compared to other arial vehicles; therefore, this assumption is suitable for the airship system. A system model given in equation (2) is modified to apply the UKF algorithm. The augmented vector is:

(20)

A compact representation for dynamic, aerodynamic, aerostatic, and control input vectors is:

(21)

Using equations (20), (21), and (2), the airship-modified nonlinear model in state-space form is represented as:

(22)

here, represents an identity matrix, and is a matrix with all the elements equal to zero. The modified airship model state vector consists of eighteen state elements as:

(23)

The state measurement vector is:

(24)

Equation (22) is a continuous-time state-space representation of the airship model. Its compact representation is:

(25)

For the discrete-time UKF algorithm implementation, explicit first-order Euler integration is performed on equation (25). Moreover, it is augmented with process and measurement noise. The discrete-time representation of the model (25) is:

(26)(27)

where , , and denote discrete-time state vector, sampling time, process, and measurement noise vectors, respectively.

UKF algorithm implementation is divided into two steps: prediction and correction [28]

4.3. Controller formulation and stability analysis

For USMC, we have the following model available for controller design:

(28)

For clarity, we have incorporated the block diagram shown in Fig 7.

thumbnail
Fig 7. This diagram demonstrates the models used in the airship simulator, USMC, and the estimator.

https://doi.org/10.1371/journal.pone.0335392.g007

Assumption 3. The measurements of airship states are available to the controller. The proposed UKF only estimates the lumped model uncertainty and disturbance vector , and acts as a disturbance observer.

Assumption 4. Let the estimation error is . It is assumed that there exists a positive number such that the estimation error where and further that .

Using the estimate of provided by UKF with the extended model given in equation (22), the airship nonlinear model incorporating model uncertainties defined in equations (2), and the sliding surface defined in equation (9). With the given reaching law, the controller equation for USMC results in:

(29)

Theorem 3. Using the airship model given in equation (2), the sliding surface defined in equation (9), the controller defined in equation (29), and the UKF estimator designed for estimating defined in equation (22) will stabilize the closed-loop system. The control law will perform the trajectory tracking task and the tracking error will approach to zero.

Proof. Select the Lyapunov function given in the following equation:

(30)

By differentiating equation (30) and expanding the terms, one can obtain:

(31)

Taking the time derivative of equation (8) twice, we get:

(32)

Using equation (2) and simplifying results in:

(33)

Substituting equation (33) in equation (31), we obtain:

(34)

Using equation (8) and after simplifying, we obtain:

(35)

Inserting the relation for control law from equation (29) in equation (35), we obtain:

(36)(37)

From assumption 3, if the estimation error is bounded by the upper bound and the inequality exists, we can write:

(38)

Remark 4. The USMC controller designed in equation (28) ensures the Lyapunov stability of an airship system defined by equation (2). The controller ensures that the trajectory tracking error will asymptotically converge to zero within a finite time without satisfying assumption 3.

In the proposed method, UKF estimates and provides that information to the SMC. The method ensures the closed-loop stability of the system without the constraints of assumption 3. The proposed method also minimizes the chattering issues that usually come due to the selection of large controller gains for robustness in the conventional SMC. The performance of the proposed trajectory tracking control scheme is evaluated using a nonlinear simulator designed for UETT airship.

5. Results and discussion

For the verification of controller performance, we performed numerical simulations using a variable step RK (Runga-Kutta) method in MATLAB/Simulink R2019b environment. The software operates on a computer with a CPU frequency of 2.5 GHz. The sampling time used for the simulation is 0.002 s. An experimental UETT airship 6-DOF nonlinear model is developed. The UETT airship mass matrix, aerodynamic model, aerostatic model, and control input matrix parameters are given in [32,33].

The initial conditions used for the airship simulator are given in Table 1. The initial conditions used for UKF are obtained while doing the engineering analysis of the problem at hand. The filter tuning is discussed in subsection 5.1.

5.1. Selection of filter parameters

The selected filter parameters are given below:

5.1.1. Initial state error covariance matrix.

corresponds to the initial value of state error covariance. Let it is:

(39)

The first twelve state elements are the airship position , attitude , linear and angular velocities . It is assumed that the estimates of airship position, attitude, and linear and angular velocities are available. Such an assumption can be made practically as off-the-shelf solutions involving sensor fusion techniques are available for their estimation [34].

Current research assumes the estimates available using the solution given by [34]. Therefore, the first twelve elements of P0 are selected based on the possible state error in the estimates of sensor fusion based on EKF [34].

The last six elements of the state error covariance matrix ( to ) represent the initial state error covariance of the augmented states. The augmented states represent the rate of change of lumped uncertainty terms. The lumped uncertainty terms capture the cumulative effects on the airship dynamic accelerations due to model uncertainties and wind disturbance. So, the variations in dynamic accelerations due to the following three reasons will be checked:

  • Mass matrix parameter uncertainty
  • Aerodynamic model uncertainty
  • Wind disturbance

First, an experiment is devised where during the airship flight, the change in the air-ship CG is introduced, and the rate of change in dynamic accelerations due to the change in CG is plotted. This experiment considers the 2.3 ms-1 speed of the airship. The results are shown in Fig 8.

thumbnail
Fig 8. Rate of change of the effect on dynamic accelerations due to mass matrix variation parameters.

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

For quantifying the effect due to the aerodynamic model on dynamic accelerations, the same simulation case is considered. Thruster, rudder, and elevator control inputs at five, eighty, and one-fifty seconds of the simulation run are applied, respectively. The purpose of this investigation is to quantify the effects of dynamic accelerations due to aerodynamic forces and torques. The rate of change of accelerations due to the aerodynamic model is summarized in Fig 9.

thumbnail
Fig 9. Rate of change of the effect on dynamic accelerations due to aerodynamic forces.

https://doi.org/10.1371/journal.pone.0335392.g009

The wind is added to the simulation after 20 seconds of the aerodynamic flight of the airship. Wind forces are not used in calculating velocities at the body axes of the airship. However, its possible effect is quantified based on the angle of attack and sideslip angle of the airship. The effect of wind forces is calculated in terms of possible acceleration changes and their rates. This is done while the airship executes straight-level flight, maneuvering at some bank angle and climbing at some pitch angle. The results are given in Fig 10. Therefore, the elements ( to ) of the initial variance matrix are given below. They represent the maximum rate of change in dynamic accelerations that occur due to lumped model uncertainties and wind disturbance.

thumbnail
Fig 10. Rate of change of the effect on dynamic accelerations due to wind forces.

https://doi.org/10.1371/journal.pone.0335392.g010

5.1.2 Process covariance matri.

Let the matrix is given as:

(40)

The first six terms ( to ) of the process covariance matrix are associated with the kinematic modelling equations of the model. These modelling equations have no error. So, we select the small values for these elements of the process noise covariance matrix as it shows our trust in this part of the model. So, the first six diagonal terms of the matrix are:

The terms seven to twelve ( to ) depend on the effect on dynamic accelerations due to the lumped uncertainty and disturbance. As discussed, the initial state error covariance matrix depends on the mass matrix parameters variations, aerodynamic model, and disturbances. To sum up the mass matrix parameter variation effects, the same experiment is performed as discussed in the initial state error covariance matrix section at the airship speed of 5.5 ms-1. The results are given in Fig 11. Next, for the accelerations due to aerodynamic forces and torques, the airship is subjected to rudder, elevator, and thruster inputs. The speed of airship during the experiment was 5.5 ms-1. The results are given in Fig 12. The changes in dynamic accelerations due to wind forces are given in Fig 13.

thumbnail
Fig 11. Accelerations due to the mass matrix parameters variation at 5.5 ms1 of the airship speed.

https://doi.org/10.1371/journal.pone.0335392.g011

thumbnail
Fig 12. Accelerations are due to aerodynamic forces over time when the rudder and elevator deflections are applied at the 5.5 ms-1 speed of the airship.

https://doi.org/10.1371/journal.pone.0335392.g012

thumbnail
Fig 13. Rate of change of accelerations due to mass matrix parameters variation at 5.5 ms-1 speed of the airship.

https://doi.org/10.1371/journal.pone.0335392.g013

Considering these results, the terms seven to twelve ( to ) of the matrix are given below. They represent the maximum rate of change in dynamic accelerations which occur due to lumped model uncertainties and wind disturbance.

The terms thirteen to eighteen ( to ) depend on the error in the modelling of augmented states. Since the augmented states represent the rate of change of the lumped uncertainty vector, we consider the possible variations of this vector as we did for the initial state error covariance matrix. We repeat the experiments for 5.5 ms-1 speed of the airship. The rate of change of lumped uncertainty vector due to mass matrix parameters variations, aerodynamic forces, and wind disturbance is shown in Figs 1416. Therefore, the terms thirteen to eighteen ( to ) of the Q matrix are given below. They represent the maximum rate of change in dynamic accelerations that occur in Figs 1415.

thumbnail
Fig 14. Rate of change of accelerations due to the aerodynamic forces at 5.5 ms1 speed of the airship.

https://doi.org/10.1371/journal.pone.0335392.g014

thumbnail
Fig 15. Rate of change of accelerations due to the wind forces at 5.5 ms-1 speed of the airship.

https://doi.org/10.1371/journal.pone.0335392.g015

5.1.3 Measurement noise covariance matrix.

Let the matrix is:

(41)

The measurement noise covariance matrix depends on the possible error in the sensor readings. In our case, we are not directly taking measurements from the sensors, rather we are relying on the EKF-based sensor fusion algorithm. Therefore, in this case, the measurement noise is the error in the estimate of the sensor fusion algorithm [32].

5.2 Controller performance

This section covers the simulation results for the performance evaluation of the proposed method using the simulation environment developed for the experimental UETT airship. We evaluate the performance of the proposed trajectory tracking controller by tracking the square trajectory under model uncertainties and disturbances. The outdoor experimental area for the UETT airship consists of cricket and football ground fields. In this simulation experiment, we have considered 180 m x 180 m of the field area. The edges of the desired trajectory are not considered sharp because of the dynamic restrictions of the UETT airship and to keep the desired trajectory and its consecutive derivatives smooth. Four observation points are considered on the desired trajectory, as highlighted in Fig 16. The first point indicates the start of the desired trajectory. The second indicates the first maneuver, where the airship takes ninety degrees of turn. On the third and fourth observation points, it completes the 270 degrees of turning motion, as shown in Fig 16. The initial conditions used for the airship model are given in Table 1. The initial conditions for the estimator are given in Table 2. The state error covariance matrix, process noise covariance matrix, and measurement noise covariance matrices are given in Table 2.

The same gains for both controllers are used to demonstrate the benefits of available estimates for uncertainty and disturbance. The gains are given in Table 3. The gain matrix shows the convergence properties of error when the controller is in the sliding phase. The longitudinal dynamics of airships are slow compared to the lateral dynamics. So, accordingly, fast convergences can be expected for lateral motion variables. Therefore, the gains for lateral variables are high compared to the longitudinal ones. The gain matrix K is related to the robust characteristics of the controller. The values in the matrix depend on the model uncertainty and available actuation. Higher values may achieve a robust response at the cost of high control effort which is undesirable in the case of the airship. High gain values may lead to actuator saturation that may cost system stability. The small controller gains also reduce the chattering phenomena.

The trajectory tracking of the airship under both control methods (SMC and USMC) is evaluated, and the results are given in Fig 17. During the simulation at different time intervals, model parameters variation, and wind disturbance with wind gusts are applied. During an interval of 31 seconds to 40 seconds, changes in the airship aerodynamic model are introduced. Between 60 seconds to 75 seconds, the center of gravity of the airship is varied and wind disturbances are applied between 120 seconds to 130 seconds. It can be seen in Fig 20 that the proposed control method successfully tracks the desired trajectory while the SMC method loses closed-loop stability when wind disturbance is applied. The tracking performance of both controllers is the same till a time interval of 30 seconds of the aerodynamic flight of the airship.

thumbnail
Fig 17. Trajectory tracking performance of SMC and USMC methods.

https://doi.org/10.1371/journal.pone.0335392.g017

thumbnail
Fig 18. Control efforts (1) The total thrust required to keep the positive value of forwarding velocity (ii) The tilt angle of the thrusters that are required for vector thrusting (iii) Left elevator deflection (iv) Right elevator deflection (v) Tail thrust value (vi) Rudder deflection.

The tail thruster and rudders control the airship’s side velocity and yaw rate. The airship roll is controlled by left and right elevators. The main vector thrusting is required to control the airship’s forward velocity, pitch rate, and vertical velocity of the airship.

https://doi.org/10.1371/journal.pone.0335392.g018

thumbnail
Fig 19. Lumped model uncertainty vector estimation results.

https://doi.org/10.1371/journal.pone.0335392.g019

The SMC method performs well when the dynamic model information is accurately known. However, after 30 seconds, the SMC method tracks trajectory with a large estimation error. This shows how the uncertain dynamics of the airship affect the performance of the SMC. The tracking error for the proposed control method is small and the airship remains on the desired path. After 60 seconds, when variation in the airship aerodynamic model is introduced, the SMC method loses track and closed-loop stability is lost after 125 seconds of the simulation run.

The control efforts calculated by both controllers are given in Fig 18. In the case of the USMC method, the control efforts are smooth and fulfil the requirements of trajectory tracking. However, for the SMC method, the control efforts suffer from the saturation problem, and eventually, the controller loses stability. The estimation of lumped model uncertainty and wind disturbances are given in Fig 19. The switching properties of the proposed control method are given in Fig 20.

6. Conclusion

An unscented Kalman filter is used in this work to provide accurate estimates for unknown model parameters. A hybrid control method for known and unknown model parameters coupled with a sliding mode controller enables the airship to track the desired trajectory accurately.

UKF-based SMC improves robustness by designing a nonlinear estimation procedure for wind disturbances and airship model uncertainties. The convergence and stability analysis of the proposed method proves that the hybrid USMC technique is convergent and closed-loop stable. Extensive simulations are performed for the performance evaluation of the controller under the mass matrix parameter variations, aerodynamic forces and torque variations, and wind disturbances. The results show that the USMC method is efficient and effective for steering the airship along the reference trajectory for an infinite time. Further, USMC improves the robust characteristics of the conventional SMC method and minimizes the chattering.

From the information of the hybrid sensor system, position, altitude, and known dynamic model parameters of the airship are estimated. These estimates allow investigation of the effects induced by wind instead of measuring wind velocities by costly instrumentation.

The proposed method is realizable, cost-effective, and understandable. It allows variation in model parameters without compromising the performance of trajectory tracking of the airship. Compared to intelligent estimation solutions such as Neural Networks, the proposed method is a generic solution to the airship trajectory tracking control problem. It can be used for trajectory tracking control problems for all types of UAVs.

References

  1. 1. Zatout MS, Rezoug A, Rezoug A, Baizid K, Iqbal J. Optimisation of fuzzy logic quadrotor attitude controller – particle swarm, cuckoo search and BAT algorithms. International Journal of Systems Science. 2021;53(4):883–908.
  2. 2. Saleem O, Tanveer A, Iqbal J. Adaptive Reconfigurable Learning Algorithm for Robust Optimal Longitudinal Motion Control of Unmanned Aerial Vehicles. Algorithms. 2025;18(4):180.
  3. 3. Chen L, Zhou G, Yan XJ, Duan DP. Composite Control of Stratospheric Airships with Moving Masses. Journal of Aircraft. 2012;49(3):794–801.
  4. 4. Moutinho A, Azinheira JR. Stability and robustness analysis of the AURORA airship control system using dynamic inversion. In: Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005. 2265–70.
  5. 5. de Paiva EC, Bueno SS, Gomes SBV, Ramos JJG, Bergerman M. A control system development environment for AURORA’s semi-autonomous robotic airship. In: Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C). 2328–35.
  6. 6. Yuan J, Zhu M, Guo X, Lou W. Trajectory Tracking Control for a Stratospheric Airship Subject to Constraints and Unknown Disturbances. IEEE Access. 2020;8:31453–70.
  7. 7. Moutinho A, Azinheira JR, de Paiva EC, Bueno SS. Airship robust path-tracking: A tutorial on airship modelling and gain-scheduling control design. Control Engineering Practice. 2016;50:22–36.
  8. 8. Saleem F, Ali A, Wasim M, Shaikh IUH. An Iterative Kernel-PCA Based LPV Control Approach for a 4-DOF Control Moment Gyroscope. IEEE Access. 2019;7:164000–8.
  9. 9. Zhang J, Yang X, Deng X, Lin H. Trajectory control method of stratospheric airships based on model predictive control in wind field. Proceedings of the Institution of Mechanical Engineers, Part G: Journal of Aerospace Engineering. 2017;233(2):418–25.
  10. 10. Wasim M, Kashif AS, Ali A, Saleem F. Integrated AFS and DYC using predictive controller for vehicle handling improvement. In: 2021 International Bhurban Conference on Applied Sciences and Technologies (IBCAST), 2021.
  11. 11. Wasim M, Kashif A, Awan AU, Khan MM, Tahir Zaidi SM. Predictive Control for improving vehicle handling and stability. In: 2016 International Conference on Intelligent Systems Engineering (ICISE), 2016. 236–41.
  12. 12. Wasim M, Kashif A, Awan AU, Khan MM, Wasif M, Ali W. H-infinity control via scenario optimization for handling and stabilizing vehicle using AFS control. In: 2016 International Conference on Computing, Electronic and Electrical Engineering (ICE Cube), 2016. 307–12.
  13. 13. Xiao C, Wang Y, Zhou P, Duan D. Adaptive sliding mode stabilization and positioning control for a multi-vectored thrust airship with input saturation considered. Transactions of the Institute of Measurement and Control. 2018;40(15):4208–19.
  14. 14. Han D, Wang X, Chen L, Duan D. Command-filtered backstepping control for a multi-vectored thrust stratospheric airship. Transactions of the Institute of Measurement and Control. 2015;38(1):93–104.
  15. 15. Liu SQ, Gong SJ, Li YX, Lu ZR. Vectorial backstepping method–based trajectory tracking control for an under-actuated stratospheric airship. Aeronaut j. 2017;121(1241):916–39.
  16. 16. Han D, Wang X-L, Chen L, Duan D-P. Adaptive backstepping control for a multi-vectored thrust stratospheric airship with thrust saturation in wind. Proceedings of the Institution of Mechanical Engineers, Part G: Journal of Aerospace Engineering. 2015;230(1):45–59.
  17. 17. Liu S, Sang Y. Underactuated Stratospheric Airship Trajectory Control Using an Adaptive Integral Backstepping Approach. Journal of Aircraft. 2018;55(6):2357–71.
  18. 18. Awan ZS, Ali K, Iqbal J, Mehmood A. Adaptive Backstepping Based Sensor and Actuator Fault Tolerant Control of a Manipulator. J Electr Eng Technol. 2019;14(6):2497–504.
  19. 19. Xiao C, Han D, Wang Y, Zhou P, Duan D. Fault-tolerant tracking control for a multi-vectored thrust ellipsoidal airship using adaptive integral sliding mode approach. Proceedings of the Institution of Mechanical Engineers, Part G: Journal of Aerospace Engineering. 2017;232(10):1911–24.
  20. 20. Yang Y, Wu J, Zheng W. Trajectory tracking for an autonomous airship using fuzzy adaptive sliding mode control. J Zhejiang Univ - Sci C. 2012;13(7):534–43.
  21. 21. Lou W, Zhu M, Guo X, Liang H. Command filtered sliding mode trajectory tracking control for unmanned airships based on RBFNN approximation. Advances in Space Research. 2019;63(3):1111–21.
  22. 22. Yang Y, Yan Y. Neural network gain-scheduling sliding mode control for three-dimensional trajectory tracking of robotic airships. Proceedings of the Institution of Mechanical Engineers, Part I: Journal of Systems and Control Engineering. 2015;229(6):529–40.
  23. 23. Ali K, Ullah S, Mehmood A, Mostafa H, Marey M, Iqbal J. Adaptive FIT-SMC Approach for an Anthropomorphic Manipulator With Robust Exact Differentiator and Neural Network-Based Friction Compensation. IEEE Access. 2022;10:3378–89.
  24. 24. Khan MF, ul Islam R, Iqbal J. Control strategies for robotic manipulators. In: 2012 International Conference of Robotics and Artificial Intelligence, 2012. 26–33.
  25. 25. Yang Y, Yan Y. Neural network approximation-based nonsingular terminal sliding mode control for trajectory tracking of robotic airships. Aerospace Science and Technology. 2016;54:192–7.
  26. 26. Zheng Z, Sun L. Adaptive sliding mode trajectory tracking control of robotic airships with parametric uncertainty and wind disturbance. Journal of the Franklin Institute. 2018;355(1):106–22.
  27. 27. Wasim M, Ali A. Estimation of Airship Aerodynamic Forces and Torques Using Extended Kalman Filter. IEEE Access. 2020;8:70204–15.
  28. 28. Muhammad WASIM, Ahsan ALI. Airship aerodynamic model estimation using unscented Kalman filter. Journal of Systems Engineering and Electronics. 2020;31(6):1318–29.
  29. 29. Wasim M, Ali A, Choudhry MA, Saleem F, Shaikh IUH, Iqbal J. Unscented Kalman filter for airship model uncertainties and wind disturbance estimation. PLoS One. 2021;16(11):e0257849. pmid:34739486
  30. 30. Wasim M, Ahsan A, Shaikh I ul H, Awan MMA. Estimation of airship states and model uncertainties using nonlinear estimators. Mehran University Research Journal of Engineering & Technology. 2024;43(1):55–69.
  31. 31. Choudhry OA, Wasim M, Ali A, Choudhry MA, Iqbal J. Modelling and robust controller design for an underactuated self-balancing robot with uncertain parameter estimation. PLoS One. 2023;18(8):e0285495. pmid:37556480
  32. 32. Ashraf MZ, Choudhry MA. Dynamic modeling of the airship with Matlab using geometrical aerodynamic parameters. Aerospace Science and Technology. 2013;25(1):56–64.
  33. 33. Wasim M, Ali A, Choudhry MA, Shaikh IUH, Saleem F. Robust Design of Sliding Mode Control for Airship Trajectory Tracking with Uncertainty and Disturbance Estimation. J of Syst Eng Electron. 2024;35(1):242–58.
  34. 34. Navigation Toolbox UserGuide. Available online: www.mathworks.com/help/pdf_doc/fusion/fusion_ug.pdf