Xi'an Technological University
Subject: Computer Science , Software Engineering
eISSN: 2470-8038
SEARCH WITHIN CONTENT
Wang Zhongsheng ^{*} / Yang Sen / Dong Hairui
Keywords : Formation Control, Quadrotor, Quaternion, Inversion Method, Leader-follower Method
Citation Information : International Journal of Advanced Network, Monitoring and Controls. Volume 3, Issue 1, Pages 27-34, DOI: https://doi.org/10.21307/ijanmc-2018-006
License : (CC-BY-NC-ND-4.0)
Published Online: 07-May-2018
In this paper, the formation control problem of quadrotor is studied under ideal communication condition. The quadrotor has a complex mathematical model. First, the unit quaternion method is used to describe its dynamic model and kinematic model. It is decomposed into two independent subsystems of position and attitude. The tracking error model is established by introducing the error between the ture trajectory and the desired trajectory. And then appointing a member of formation as a pilot, formation members get the geometric center position as the desired trajectory through the consistency algorithm. The back-stepping method is used to design the time-varying feedback control law for each four-rotor, so that the formation is stabilized. Finally, the effectiveness of the control method is verified by simulation experiments.
In recent years, with the rapid development of small unmanned aerial vehicles, researchers are concerned with quadrotor because it has simple structure and is easy to control. Quadrotor can not only carry out vertical takeoff, landing and autonomous hover function, but also the task efficiently under the uncertain and dangerous environment. However, faced with diverse combat missions, single UAV is more and more difficult to meet the needs of the multi-UAV collaborative control concept come into being. UAV formation control is an important basic research track in the field of multi-UAV collaborative control. Reasonable formation control method can make the UAV formation quickly get the air superiority and finish the combat task more efficiently. On the future battlefield, UAV will play an irreplaceable role.
The research of methods of formation control mainly contains leader-follower method, virtual structure, graph theory and behavior-based[1]. At present, the mainstream is the integration of the above methods. Early formation control mainly uses centralized control method that is characterized by high precision and easy to control, but depends on the calculation capabilities and global communication capabilities of the central control unit. With the increasing number of the formation members, the calculation of the central control unit increases exponentially, therefore this method lacks scalability and flexibility. Later, people propose the distributed control method, in which each UAV only communicates with the adjacent UAV. The surrounding UAV relative position relationship is acquired, compared to the expected formation by using of UAV’s own computing power. The actual position of the UAV is corrected to eliminate the formation error.
In recent years, many scholars aim at problems of the quadrotor formation, and they do a lot of research and design different types of controllers. In literature [2-6], the controller is designed with different degree of simplification to quadrotor model by feedback linearization and small perturbation linearization. However, the quadrotor is a typical underactuated system, a cascade nonholonomic system with complex constraint equations, which has a strong nonlinearity and thus needs a higher requirement for the control system. In literature [7], the quadrotor is also modeled by unit quaternion and the concept of manifold is introduced. The attitude control algorithm is designed under the differential geometry framework and gets a nice effect. Literature [8] combines the nonlinear part of the system identified by neural network online and leader-follower method to realize the formation control of the quadrotor. In literature [9], the kinetics and kinematics models of the quadrotor are described by quaternion and the intermediate control is introduced. The formation is stabilized by setting the appropriate intermediate control for each UAV. In literature [10], the error of the actual position and the expected position is introduced, and the tracking error model is established. Literature [11] also divides quadrotor model into two independent subsystems of position and attitude, and each of them uses backstepping method to design the time-varying feedback in order to make the system stable. The backstepping method is a design method of forward and backward recursion. It makes the system error progressive and stable, and it can also reduce the difficulty of design by designing the Lyapunov function step by step. Based on the above research, the quadrotor mathematical model is established by using the unit quaternion method. Then the geometric center position of the formation is calculated by the consistency algorithm and is used as the expected trajectory. Finally the whole formation is stable by designing Backstepping Control for each quadrotor.
Quaternion is a number such as a + bi + cj + dk, where a b c d is real numbers and i, j, k is imaginary units. And a set of quaternion H = {a + bi + cj + dk|a, b, c, d ∈ R} is a four-dimensional vector space on real field R. η = a is the quaternion scalar part, and $$\stackrel{\rightharpoonup}{q}=bi+cj+dk$$ is the quaternion vector part. The quaternion can be written as follows: $$q=\left(\eta ,\stackrel{\rightharpoonup}{q}\right)$$ The mold of the unit quaternion is a constant one, that is:
Unit quaternary can be seen as a point on the unit sphere S^{3}. Quaternion is a powerful tool that represents rotation in three-dimensional space. Based on Euler theorem, any rotation in a three-dimensional space can be obtained by rotating an angle about the characteristic axis and the corresponding unit quaternion is $$q={\left(\mathrm{cos}\frac{\alpha}{2},\mathrm{sin}\frac{\alpha}{2}\stackrel{\rightharpoonup}{n}\right)}^{\alpha \in \left[0,2\pi \right]}$$, therein $$\stackrel{\rightharpoonup}{n}$$ is unit vector.
Given a unit quaternion, the relationship between the corresponding attitude matrix and the unit quaternion is:
Where I_{3} ∈ R^{3×3} is the unit matrix. The Euler angle is Θ = [φ θ Ψ], the attitude matrix can be expressed as:
The error between the actual attitude matrix R and the expected attitude matrix R_{d} is defined as:
Let $$q=\left(\eta ,\stackrel{\rightharpoonup}{q}\right)=\left[\eta \text{\hspace{1em}}{q}_{1}\text{\hspace{1em}}{q}_{2}\text{\hspace{1em}}{q}_{3}\right]$$ and $$p=\left(\epsilon ,\stackrel{\rightharpoonup}{p}\right)=\left[\epsilon \text{\hspace{1em}}{p}_{1}\text{\hspace{1em}}{p}_{2}\text{\hspace{1em}}{p}_{3}\right]$$ be two units of quaternions. the quaternion multiplication is defined as:
The quaternion does not satisfy the exchange law, which is qp ≠ pq, but it satisfies the law of union, which is (qp)s = q(ps), and also satisfies the distribution law, which is (p + q)s = ps + qs. Defining $$q\text{*}=\left(\eta ,-\stackrel{\rightharpoonup}{q}\right)$$ as the conjugate of the quaternion q. The conjugate of qp Satisfies (qp)^{*} = p^{*}q^{*}.
The quadrotor UAVs are usually divided into Type X and Type +, with four inputs and six outputs, which are typical underactuated systems. The quadrotor carries out the movements, pitch, roll and yaw of the aircraft by controlling the speed of four independent motors and propellers. Quaternion is a simple and effective mathematical tool that describes the rotation and movement of rigid bodies in three-dimensional space, which can effectively avoid the appearance of singularity and have the characteristics of high efficiency etc. The quadrotor UAV is regarded as the rigid body structure. Assuming that the center of gravity is located at the origin of the coordinate system of the body. The motor has no installation error angle, and the motor lift surface is located on the same plane as the aircraft center of mass. Using the quaternion to establish the quadrotor of the dynamics model and kinematics model, the quadrotor is decomposed into the position subsystem Σ_{1} and the attitude subsystem Σ_{2}, and getting the following model:
In the formula, ξ, v ∈ R^{3} is the position and velocity of the quadrotor in the inertial coordinate system, g and m are the mass and gravitational acceleration of the quadrotor. Defining vector $$\overline{\omega}={\left(0,{\omega}^{T}\right)}^{T}$$, Where ω ∈ R^{3} represents the angular velocity in the body coordinate system. The unit vector for the z-axis is e_{3} [0 0 1]^{T}. T is the lift to provide power system, τ ∈ R^{3} is the role which has effect on the body in the rolling moment, pitch torque and yaw moment. S(ω) is the antisymmetric matrix for ω. For ω = [ω_{1} ω_{2} ω_{3}[^{T}, there is:
Considering the UAV formation has N + 1 member, number 1 is assigned for the formation of unmanned aerial vehicles. Assuming that each UAV can access the status information of itself and other members of the formation through its own sensor and wireless communication network. According to the information exchange among unmanned aerial vehicles, UAV formation can be in the form of modeling. Assuming that the UAV communication topology is an inbound connection diagram. As shown in Fig. 1. At the beginning of the formation, the formation members obtain their own and other members of the formation of state information through the wireless communication network, then the formation of the desired location center and the expected speed are obtained by consistency algorithm, and output to the pose controller, making the UAVs close to the scheduled formation center aggregation. After reaching the specified spacing, the formation of the task is finished.
Regardless of the difference in the quadrotor in the formation, the quadrotor is isomorphic and conforms to the model (6):
Define the position error of the i UAV is $${\tilde{\xi}}_{i}={\xi}_{i}-{\xi}_{d}-{\delta}_{i}$$, the velocity error is $${\tilde{v}}_{i}={v}_{i}-{\dot{\xi}}_{id}$$, the angular velocity error is $$\tilde{\omega}=\omega -R{\omega}_{d}$$, and the error system model of the i unmanned aerial vehicle which derivatived from above parameters is:
In the formula, n_{id} = R_{id}e_{3} is the last column of the expected attitude matrix, T_{id} and τ_{id} is the parameter of control for the system. $$\tilde{q}=\left(\tilde{n},\stackrel{\rightharpoonup}{\tilde{q}}\right)$$ is the error quaternion, and its calculation satisfies the quaternion multiplication algorithm:
$$\tilde{R}$$ is the attitude error matrix, By the formula (2) available:
The work which is done in this paper is to design the virtual control volume T_{i} and the control torque τ_{i} for the i th four-rotor unmanned aerial vehicle, so that the four-rotor formation maintains a fixed formation and a fixed distance. That is:.
In the formula, v_{d} is the expected speed for the formation reference, δ_{ij} is the desired distance between the i th unmanned aerial vehicle and the j th unmanned aerial vehicle, and is satisfied with δ_{ij} = −δ_{ji}.
According to the cascade system analysis method, the quadrotor error system model is decomposed into position error subsystem and attitude error subsystem.
The following reference [] uses the BackStepping method to design the position subsystem controller and the attitude subsystem controller separately. First step is to define the error between the system state and the virtual feedback:
In the formula, α_{1} is the virtual control. V function is defined for each virtual feedback so that each state component has an appropriate progressive. The equation (14) is essentially a differential homeomorphism. To stabilize the original system, it is only necessary to stabilize the error between the original system state and the virtual feedback.
Step 1: Find the derivative of x
Define the first Lyapunov function: $${V}_{1}={z}_{1}^{T}{z}_{1}/2$$:
Obviously, if z_{2} = 0, z_{1} asymptotically stable by the above formula, but in general z_{2} ≠ 0, therefore it needs to proceed to the next step, so that z_{2} has the desired progressive characteristics. V_{2} the derivative of time is:
take $$\frac{1}{m}{n}_{id}{T}_{id}=g{e}_{3}-{\ddot{\xi}}_{id}+\left(1-{k}^{2}\right){z}_{1}+\left(1+{k}_{1}{k}_{2}\right){z}_{2}$$, now $${\dot{V}}_{2}=-{k}_{1}{z}_{1}^{T}{z}_{1}-{k}_{2}{z}_{2}^{T}{z}_{2}$$ There are positive numbers k_{1}, k_{2} in the formula. Thus, the z_{1} and z_{2} exponents converge to 0, which is globally exponentially stable. According to the nature of the attitude matrix, n_{id} is a unit vector ||n_{id}|| = 1. so each member of the formation of the expected lift T_{id} and virtual control of the amount of n_{id} is acquired.
In the formula, n_{id} satisfy the constraint equation ||n_{id}|| = 1, Since n_{id} does not contain all the desired gesture information Where the aircraft can be in the course of flight to maintain the heading angle of 0°, that is, Ψ_{id} = 0. ψ_{id} and θ_{id} can be obtained by calculation. The desired attitude matrix R_{id} is obtained according to equation (3) and then the desired quaternion (η_{id} and $${\stackrel{\rightharpoonup}{q}}_{id}$$) is obtained according to equation (2). Quaternion error $${\tilde{\eta}}_{i}$$ and $${\tilde{\stackrel{\rightharpoonup}{q}}}_{i}$$ can be obtained through the formula (10). The same method is used to design the control law for the attitude subsystem to stabilize the global exponent, and the error between the system state and the virtual feedback is defined as
α^{2} is the virtual control amount. Formation control is mainly concerned with the position control subsystem of the aircraft. Therefore, the quadrotor UAV i posture subsystem inversion control law is given directly next, the specific derivation process reference literature [10].
The reference signal is negotiated by the formation members through a coherence algorithm. The reference signal needs to meet certain constraints. Assuming that the reference signals ξ_{id}, $${\xi}_{id},\text{\hspace{1em}}{\dot{\xi}}_{id},\text{\hspace{1em}}{\ddot{\xi}}_{id}$$ and $${\xi}_{id}^{\left(3\right)}$$ are bounded and visible to all formation members.
The desired position ξ_{id} and the desired velocity v_{id} are obtained by taking the weighted average of all the members in the formation
It translates the formation problem into a trajectory tracking problem for a given reference signal. In the formula, N_{i} is the number of aircraft in the formation with the i th unmanned aerial vehicle as a neighbor. Considering the situation that the formation communication topology is no omnidirectional graph, at this time, in addition to the pilot, any aircraft in the formation has the same status, so the subscript i can be ignored. Formula (21) and (22) are rewritten as follows:
The formation of the ith UAV can be guaranteed through the inversion control law. ξ_{i} → ξ_{d} + δ_{i}, v_{i} → v_{d}, ξ_{i} − ξ_{j} → δ_{i} − δ_{j} = δ_{ij}, v_{i} → v_{j} can be guaranteed.
Regardless of the differences among the quadrotor systems, the system quality is assumed m = 0.6 kg. The moment of inertia is J_{x} = J_{y} = 0.2kg·m^{2}, J_{z} = 0.04kg·m^{2}.
Setting the formation size N = 5, k_{1} = 10, k_{2} = 10. Specify the number five of the quadrotor for the pilot, the remaining four for the followers. Assuming that the pilot broadcasts its own state information, the followers are able to receive that in real time, and the communication topology between the followers is an undirected graph. The follower initial position matrix P_{0} is:
The pilot does uniform circular motion in a fixed height, the movement trajectory is:
The relative positional deviation of the formation is described by:
The simulation time is 9.5s and the simulation step is 0.001s
According to the above parameters, the system model is built with Simulink module in MATLAB, and the control algorithm is verified. Figure 2 is the three-dimensional map of the formation simulation. In the figure, the black curve is the trajectory of the pilot, and the triangle “△” indicates the final position of each quadrotor UAV. At the beginning of the simulation, the pilot does circular motion in the air, followers locates on the different positions on the ground, taking off after receiving the state information of the pilot, the first team members calculate the formation center position through the negotiation of calculation, and as a reference tracking signal, Algorithm (18) eventually converges the five quadrilateral to the intended formation. A variety of formation can be easily designed by setting a different relative position error.
Fig. 3-Fig. 5 shows the change of the position and velocity of the fleet members in the formation and maneuvering process. It can be seen from the figure that the followers quickly move closer to the pilot after takeoff. At t = 1s, the distance from the pilot tends to be the designated position and remains at the same speed as the pilot, and is well tracked by the pilot. The validity of the tactics proposed in this paper is verified.
Fig. 6 shows the error between the formation center trajectory and the pilot’s trajectory calculated by the formation member’s negotiation. It can be seen that the formation center finally converges to the position of the pilot.
Aiming at the control problem of quadrotor formation, the nonlinear dynamic model and kinematic model are described by unit quaternion. The formation control is achieved by tracking the geometric center of the formation. At the beginning of the formation, team members calculate the formation of the geometric center as a reference signal through the wireless network exchange position, speed and other state information. Each UAV is designed with time-varying feedback control law through the Back stepping method which translates the formation problem into a tracking problem for a given reference signal. The simulation results of matlab show that the method is fast and accurate and the convergence speed of the formation system is improved. The simulation results show that the proposed method is fast and accurate. At present, the method has not yet considered the formation problem and the formation problem with the maximum velocity constraint. The subsequent study will consider the problem of formation, maintenance and reconstruction of the formation under the constraint of uniformity and maximum speed.