Abstract

A quadrotor is a rotorcraft capable of hover, forward flight, and VTOL and is emerging as a fundamental research and application platform at present with flexibility, adaptability, and ease of construction. Since a quadrotor is basically considered an unstable system with the characteristics of dynamics such as being intensively nonlinear, multivariable, strongly coupled, and underactuated, a precise and practical model is critical to control the vehicle which seems to be simple to operate. As a rotorcraft, the dynamics of a quadrotor is mainly dominated by the complicated aerodynamic effects of the rotors. This paper gives a tutorial of the platform configuration, methodology of modeling, comprehensive nonlinear model, the aerodynamic effects, and model identification for a quadrotor.

1. Introduction

A quadrotor is agile to attain the full range of motion propelled by four rotors symmetrically across its center with smaller dimension and simple fabrication, unlike a conventional helicopter with complicated mechanism. Generally, it should be classified as a rotary-wing aircraft according to its capability of hover, horizontal flight, and vertical take-off and landing (VTOL) [1]. In 1920s, the prototypes of manned quadrotors were introduced for the first time [1, 2]; however, the development of this new type of air vehicle is interrupted for several decades due to various reasons such as mechanical complexity, large size and weight, and difficulties in control especially. Only in recent years a great deal of interests and efforts have been attracted on it; a quadrotor has even become a more optional vehicle for practical application, such as search-and-rescue and emergency response amazingly. As a small, unmanned aerial vehicle (UAV), it has versatile forms from 0.3 to 4 kg. Up to now, some large quadrotors already have sufficient payload and flight endurance to undertake a number of indoor and outdoor applications, like Bell Boeing Quad TiltRotor and so forth [3]. With the improvements of high energy lithium battery, MEMS sensor and other technologies, especially, the scope for commercial opportunities is rapidly increasing [4]. As a quadrotor is inexpensive and easy to be designed and assembled, as well as the complex dynamics, such a rotorcraft is emerging as a fundamental research platform for aerial robotics research for the problems related to three-dimensional mobility and perception [5]. Furthermore, a quadrotor’s design and implementation have even become a Multidisciplinary Engineering Undergraduate Course nowadays for the aim to teach students to cope with the challenges, for instance, fast and unstable dynamics and tight integration of control electronics and sensors [6].

For the specific purposes including academic research, commercial usage, and even military aim, many research groups or institutions have fabricated various quadrotors, such as the X4-flyer [7], OS4 [8], STARMAC [9], and Pixhawk [10] which have become the shining stars mentioned on the network, magazines, and all kinds of academic journals. It is worthy to note that the Draganflyer X4, Asctec Hummingbird, Gaui Quad flyer, and DJI Wookong have been introduced and developed in the comprehensive commercial market. For the powerful operation, some new types of quadrotors with tilting propellers or a new configuration, have been constructed in [1015] in order to address the issues such as underactuated system. In addition, a number of OSPs (open- source projects) for quadrotors have emerged with contributions from RC hobbyists, universities, and corporations [16].

A quadrotor helicopter is a highly nonlinear, multivariable, strongly coupled, underactuated, and basically an unstable system (6 DOF with only 4 actuators), which acts as preliminary foundation for design of control strategy. Many controllers have been presented to overcome the complexity of the control resulting from the variable nature of the aerodynamic forces in different conditions of flight [17]. Many works have been published on control issues about quadrotors, such as PID controllers [1821], linear quadratic LQR algorithm [22, 23], loop forming method [24], sliding mode variable structure control, feedback linearization [25, 26], backstepping [27, 28], and even intelligent control [29, 30]. In those works above, the linearization of the nonlinear model around hover fight regime is conducted and used to construct controller to stabilize the quadrotor’s attitude under small roll and pitch angles. The treatments to the vehicle dynamics, based on some simplistic assumptions, have often ignored known aerodynamic effects of rotorcraft vehicles. In the case of hovering and forward flight with slow velocity, those assumptions are approximately reasonable.

As the quadrotor research shifts to new research areas (i.e., mobile manipulation, aerobatic moves, etc.) [31, 32], the need for an elaborate mathematical model arises, and the simplistic assumption is no more suitable. When aggressive maneuvers such as fast forward and heave flight actions, VTOL, and the ground effect appear, the dynamics of quadrotors could be influenced significantly under these aerodynamic force and moment. It is shown in [33] that existing techniques of modeling and control are inadequate for accurate trajectory tracking at higher speed and in uncertain environments if aerodynamic influence is ignored. The model incorporated with a full spectrum of aerodynamic effects that impact on the quadrotor in faster climb, heave, and forward flight has become an area of active research with considerable effort focusing on strategies for generating sequences of controllers to stabilize the robot to a desired state.

Traditionally, first principle assumptions and measurements of vehicle parameters can be used to derive nonlinear models, from which linear models can be obtained. As an alternative, system identification is also powerful to derive dynamic models directly from flight test data to overcome the challenges such as hardly obtained parameters of the underlying physics of the vehicle. Even though there exists a large volume of multirotor research, there is very little research into system ID of multirotors [34]. The reason for this absence is partially due to the unstable system dynamics of the quadrotor, which makes open-loop identification nonpractical.

This paper provides a tutorial introduction to configuration, modeling, aerodynamics effects analysis, and model identification for quadrotor. The paper’s basic structure is as follows: above all, the characteristics and configuration of quadrotor are introduced, then two formulations for the model of quadrotor are compared, and a comprehensive nonlinear equation characterizing the dynamics of quadrotor is derived. Thereupon, aerodynamic effects that impact on the quadrotor in aggressive maneuvers are revealed. At last, several methods about identification are reviewed.

2. Characteristics of Quadrotor

Typically, the structure of a quadrotor is simple enough, which comprises four rotors attached at the ends of arms under a symmetric frame. The dominating forces and moments acting on the quadrotor are given by rotors driven with motors, especially BLDC motors. According to the orientation of the blades, relative to the body coordinate system, there are two basic types of quadrotor configurations: plus and cross-configurations shown in Figure 1.

In the plus configuration selected by most of the quadrotors, a pair of blades, spinning in the same clockwise or counter-clockwise direction, are fabricated on and coordinates of the body frame coordinate system, such as the assemble of the Draganflyer XPro. On the contrary, a different cross-configuration is adopted by some other quadrotors, such as the Convertawings model A, the Piasecki PA-39, or the Curtiss-Wright VZ-7AP, in which there is no rotor at the front or the rear but instead two rotors are on the right side and two on the left.

In contrast with the plus configuration, for the same desired motion, the cross-style provides higher momentum which can increase the maneuverability performance as each move requires all four blades to vary their rotation speed [35]. However, the attitude control is basically analogous [36].

It is the configuration of a quadrotor that shows the inherent characteristics. Basic control sequences of cross-configuration are shown in Figure 2. The quadrotor’s translational motion depends on the tilting of rotorcraft platform towards the desired orientation. Hence, it should be noted that the translational and rotational motion are tightly coupled because the change of rotating speed of one rotor causes a motion in three degrees of freedom. This is the reason that allows the quadrotor with six degrees of freedom (DOF) to be controlled by four inputs; therefore the quadrotor is an underactuated system.

In principle, a quadrotor is dynamically unstable and therefore proper control is necessary to make it stable. Despite of unstable dynamics, it is good for agility. The instability comes from the changing rotorcraft parameters and the environmental disturbances such as wind [37]. In addition, the lack of damping and the cross-coupling between degrees of freedom make it very sensitive to disturbances.

3. 6-DOF Airframe Dynamics

Dominating methods as Euler-Lagrange formalism and Newton-Euler formalism are applied to model the dynamics for an aircraft [3844]. It has been noted that the Newton-Euler method is easy to be understood and accepted physically despite of the compact formulation and generalization shown by Euler-Lagrange formalism. Nevertheless, two methods are consistent for the description of dynamics. That is to say, it is indicated that after a speed transform matrix the Lagrange equation is an expression form of the second Newton Law [45].

3.1. Euler-Lagrange Formalism

The generalized coordinates of the rotorcraft are given in [46]: where denotes the position of the mass center of the quadrotor relative to the inertial frame and are the three Euler angles (resp., yaw, pitch, and roll), under the conditions for yaw, for pitch, and for roll, which represent the orientation of the rotorcraft (see Figure 3).

Naturally, translational and rotational coordinates are obtained from the model

The translational and the rotational kinetic energy of the rotorcraft are where denotes the mass of the quadrotor. is the moment of inertia matrix in the inertial coordinate system after being transformed from the body frame, by matrix :

The only potential energy to be considered is the gravitational potential given by .

The Lagrangian of the rotorcraft is

The full rotorcraft dynamics model is derived from the Euler-Lagrange equations under external generalized forces: where is the translational force applied to the quadrotor due to the throttle control input, represents the pitch, roll, and yaw moments and denotes the rotational matrix , which represents the orientation of the rotorcraft relative to a fixed inertial frame.

Since the Lagrangian contains no cross-terms in the kinetic energy combining and , the Euler-Lagrange equation partitions into two parts. One obtains

Rewrite (8) as where is referred to as the Coriolis terms and contains the gyroscopic and centrifugal terms.

3.2. Newton-Euler Formalism

Typically, it is necessary to define two frames of reference, each with its defined right-handed coordinate system, as shown in Figure 3. , , and are orthogonal axes of the body-fixed frame with its correspondent body linear velocity vector and angular rate vector . Another one is an Earth-fixed inertial (also known as navigation) coordinate system with which initially the body-fixed coincides. The attitude of the quadrotor, expressed in terms of the Euler angles (roll), (pitch), and (yaw), is evaluated via sequent rotations around each one of the inertial axes. Herein, a reference frame by (North-East-Down) denotes an inertial reference frame and a body-fixed reference frame.

Generally, a quadrotor is considered as a rigid body in a three-dimensional space. The motion equations of a quadrotor subject to external force and torque are given by the following Newton-Euler equations with respect to the body coordinate frame :

The rotorcraft orientation in space is presented by a rotation from to , where is the rotation matrix. Here is for and is for :

With the transformation , the first equation assessing the translational dynamics in (11) can be written in :

Recall the kinematic relationship between the generalized velocities and the angular velocity , .

Defining a pseudoinertia matrix and a Coriolis vector , one can obtain

This model has the same structure as the one obtained by the Euler-Lagrange approach, in which the main difference is the expressions of and , which are more complex and more difficult to implement and to compute in the case of the Euler-Lagrange method. It is important to note that the model (13) is common for all aerial robots with six degrees of freedom.

4. Basic Dynamic Model of a Quadrotor

This section introduces the basic quadrotor dynamic modeling with rigid body dynamics and kinematics. This model, based on the first order approximation, has been successfully utilized in various quadrotor control designs so far.

In the first place, some assumptions are reasonable and essential shown as follows [44].(i)The structure is supposedly rigid.(ii)The structure is supposedly symmetrical.(iii)The CoG (center of gravity) and the body fixed frame origin are assumed to coincide.

4.1. Dynamic Model of a Quadrotor

As we know, Newton second law is applied to the translational motion in inertial frames [47]. From the equation of Coriolis, one can obtain where is the mass of the quadrotor, is the total force applied to the quadrotor, and is the translational velocity. is the angular velocity of the airframe with respect to the inertial frame. Since the control force is computed and applied in the body coordinate system, and since is measured in body coordinates, (14) is expressed in body coordinates, where and .

For rotational motion, Newton’s second law state is where is the angular momentum and is the applied torque. ; is the constant inertia matrix. The quadrotor is essentially symmetric about all three axes, which implies that .

Given , which denote the rolling torque, the pitching torque, and the total yawing torque, are induced by the rotor thrust and rotor drag acting on the airframe.

The six-freedom-degree model for the quadrotor kinematics and dynamics can be summarized as follows:

Equation (16) is a full nonlinear model for a quadrotor, in which the complex dynamics is shown obviously, such as strong nonlinearity like the multiplication between system states, intensive coupling among the variables, and the multivariable features intuitively, that imposes the difficulties on the controller design and, on the other hand, attracts great interest of research.

4.2. Forces and Moments

The forces and torques that act on the quadrotor are primarily due to gravity and the four propellers shown in Figure 3. The steady-state thrust generated by a hovering rotor (i.e., a rotor that is not translating horizontally or vertically) in free air coincides with axis. The total force acting on the quadrotor is given by

The rolling torque, the pitching torque, and the total yawing torque are given by

The gravity force acting on the center of mass is given by

Equation (16) shows strong coupled dynamics [48]: the speed change of one rotor gives rise to motion in at least 3 degrees of freedom. For instance, the speed decrease of the right rotor will roll the craft to the right under the imbalance between left and right lift forces, coupled with the rotorcraft’s yaw to the right due to the imbalance in torque between clockwise and counter-clockwise, so the translation changes direction toward the front.

Nevertheless, in some cases that the rotating movement is slight, the Coriolis terms , , and are small and can be neglected. So the dynamics of the quadrotor is simplified and given as [47]

This model is shown in Figure 4 to which two diagrams in [49, 50] are similar. Note that the attitude of quadrotor is changed, subject to the input (moment) produced by each rotor. However, the position/altitude dynamics block is affected by and angle variables.

Intuitively, Figure 4 gives the insight of the dynamic of the quadrotor that the angles and their time derivatives do not depend on translation components, whereas the translations depend on angle (and not on angular velocities) [50]. Based on the characteristics of the dynamics, a quadrotor control problem can be split into two distinct control problems, the inner attitude/altitude loop designed for stability and tracking of desired Euler angles and the outer , , and position loops for regulating the vehicle position [27].

State space equations are applied in the control design and system identification generally. Hence, the nonlinear system of a quadrotor is illustrated as the formulation, which is described in different manner in [3, 27, 51]: where

Herein the output is composed of and is for the trajectory track, but if for the hovering control, should be selected because in translation movement shown in (22), the three state variables, , , and , are subordinated to the same control parameter ; hence only one state is controllable and the others are subjected to the controlled translation and angular motions.

4.3. Gyroscopic Torques

At the normal attitude, namely, Euler angles are zero and the axes of the rotors with higher speeds spinning are coincident with the axis of the robot frame. However, while the quadrotor rolls or pitches, the direction of the angular momentum vectors of the four motors is forced to be changed. A gyroscopic torque will be imposed on the airframe that attempts to turn the spinning axis so that it aligns with the precession axis. It is noted that no gyroscopic torque occurs with rotation around the axis (yaw) because the spin and precession axes are already parallel [52].

The gyroscopic (inertial) moment is modeled in [53] as where is the gyroscopic inertia, namely, that of the rotating part of the rotor and is the angular rate of the rotor ().

4.4. Quaternion Differential Equations

A problem, so called gimbal lock, will appear with the Euler angle close to , and then the Roll angle loses its meaning. To overcome this problem, the quaternion method, which offers a mathematical notation that allows the representation of three-dimensional rotations of objects in 4D space, is selected to be the alternative remedy. Reference [54] gives a quaternion dynamics description and [55] proposes a new quaternion-based feedback control scheme for the attitude stabilization of a quadrotor aircraft.

In fact, every parameterization fails to fully represent rigid body pose in every case. That is to say, Euler angles cannot globally represent rigid body pose owing to the gimbal lock, whereas quaternions cannot define it uniquely [56]. Although researchers proved the effectiveness of using quaternions to describe aircraft dynamics, Euler angles are still the most common way of representing rigid body pose.

4.5. Linearized Model

The full nonlinear model is very useful, as it provides insight into the behavior of the vehicle. However, a linear model is used widely, which attributes to the abundance of well-studied tools available for the control system design. As we can see, most of the controllers are based on the nonlinear model with hover conditions and are stable and effective only around reasonably small angles.

Typically, the linearization of a nonlinear state space model is executed at an equilibrium point of the model

Then, the linear model is derived by

As the hovering is one of the most important regimes for a quadrotor, at this point, the condition of equilibrium of the quadrotor in terms of (24)-(25) is given as in [54]:

While hovering, some assumptions are reasonable, such as the negligible influence of external forces and moments on the aircraft and small velocities and rotational velocities. By performing a Taylor series expansion and eliminating the higher order terms on (20), and using small angle approximations, a linear model is given [38, 5759]:

Then the state vector is . Here, the deviations from the trim value act as the states to be considered, and all further references to aircraft states are understood to refer to the perturbation states.

Distinctly different to the linearization at hovering regime, [60] presents a new scheme, which has never before been considered in quadrotor control, in which the linearizations at four points of equilibria are conducted. The four linearizations represent different operating modes in a quadrotor flight mission. These operating modes are(i)hover;(ii)vertical motion with a constant velocity;(iii)horizontal translation with a constant pitch angle tilt;(iv)horizontal translation with a constant roll angle tilt.

All four linearizations produce four linear time-invariant systems and four controllers accordingly that are simple, low-order, and decentralized and have integral-action designed for the system stabilization despite of the issues of controller switch between two linear systems.

5. Aerodynamic Effects

In most of research projects, quadrotor dynamics has often ignored known aerodynamic effects of rotorcraft vehicles because only the stability while hovering is the aim, as stated before. At slow velocities, such as while hovering, this is indeed a reasonable assumption [61]. However, in case of demanding flight trajectories, such as fast forward and descent flight manoeuvres, as well as in the presence of the In Ground Effect, these aerodynamic phenomena could significantly influence quadrotor’s dynamics [33], and the performance of control will be diminished if aerodynamic effects are not considered [62], especially in situations where the aircraft is operating at its limits (i.e., carrying heavy load, single engine breakdown, etc.).

Acting as a propulsion system, the aerodynamics of rotors plays the most important role on the movement of the quadrotor excepted with gravity and air drag with respect to the airframe. The kinematics and dynamics of the rotors are fairly complex, resulting from the combination of several types of motion, such as rotation, flapping, feathering, and lagging; normally the last two items are neglectable [3, 4]. The theoretical models based on the blade element theory (BET) combined with momentum theory (MT) show many advantages such as more flexible, more simple, and convenient in contrast with the empirical models based on empirical data typically obtained in the wind tunnel.

Note that the application of helicopter theory to a quadrotor is not straightforward for the reason of many important differences between conventional helicopter and quadrotor [1]. In order to address the issues, the specific research, with the aim at a quadrotor vehicle, is necessary to establish full model with complex dynamics subject to aerodynamic forces and moments. Many works [33, 40, 6266] on rotor model have been done based on the results obtained for conventional helicopters [67].

Blade flapping is of significant importance in understanding the natural stability of quadrotors [4]. Since it induces forces in the - rotor plane of the quadrotor, the underactuated directions in the dynamics, high gain control cannot easily be implemented against the induced forces. On the other hand, the total thrust variation owing to the vertical maneuver also imposes nonignorable influence on the quadrotor behavior.

5.1. Total Thrust

In case of simplifications in aerodynamic effects, the assumption that a rotor’s thrust is proportional to the square of its angular velocity is the most common consideration. However, it is proved that this assumption about rotor’s thrust is especially far from reality in the cases of nonhovering regime.

The helicopter literatures [6769] give analysis about many effects on the total thrust in more detail, in which translation lift and change of angle of attack act as the two related effects. As a rotorcraft flighs across translation, the momentum of the airstream induces an increase in lift force, which is known as translational lift. The angle of attack (AOA) of the rotor with respect to the free-stream also influences the lift, with an increase in AOA increasing thrust, just like in aircraft wings.

Applying blade element theory to quadrotor construction, the expression for rotor thrust is given in [56]: and a thrust coefficient is given in where , , and are speed coefficients , , and , respectively. and are the horizontal and vertical components of the total air stream velocity, respectively, and is the induced velocity, and is rotor angular speed. Herein, the other parameters and coefficients in the formulation above will not be described and refer to the literature [56].

Especially at hovering regime, and (i.e., static conditions) yield So one can obtain just like the relationship between and used in the upwards context.

For the calculation of the aerodynamic coefficient it is crucial to know three airspeed coefficients , , and . Two of them, , , can easily be obtained from the available motion data , , and . however is very hard to know, because it is impossible to measure the induced velocity .

One can solve this problem by means of calculating the induced velocity coefficient involved in the two aerodynamic principals, momentum, and blade element theories. In view of the fact that the macroscopic momentum equation and the microscopic blade element equation give the same rotor thrust formulation:

The results of solving this equation can be shown in Figure 5.

The induced velocity decreases with an increase of airflow produced by quadrotor movement, which can be seen in Figure 5. Although both direction’s movements in - plane tend to increase induced velocity, only the vertical movement decreases the thrust coefficient. As a result, during takeoff the quadrotor loses rotor thrust, but during horizontal movement that same thrust is increased and enables more aggressive maneuvers [62, 70].

5.2. Blade Flapping

When a rotor translates horizontally through the air, the advancing blade of the rotor has a higher velocity relative to the free-stream and will generate more lift than the retreating blade which sees a lower effective airspeed. This causes an imbalance in lift, inducing an up and down oscillation of the rotor blades, which is known as blade flapping [63, 64]. When a quadrotor is in steady state suffering the blade flapping, its rotor plane will tilt at some angle off of vertical, causing a deflection of the thrust vector illustrated in Figure 6.

In fact, the rotor thrust is perpendicular to the rotor plane and not to the hub of the rotor. Thus, in the case of blade flapping the rotor disk tilts, the rotor thrust is also inclined with respect to the airframe and imposes a component in the and directions of the body-fixed frame. As a result, the flapping of the blades results in a variety of effects on the dynamics of the vehicle, and in particular affecting attitude control performance [65], owing to the reason that a moment is produced for the rotor plane aligned with the vehicle’s center of gravity, and the effect increases with speed.

Note that the lateral flapping was neglected in above considerations, as due to quadrotor’s symmetry and in-pair counter rotation of rotors; its net influence is negligibly small in all instances of forward flight. Hence, there are two moments that need to be considered. First of all, the moment is caused by the longitudinal thrust due to a deflection angle between the rotor plane and rotorcraft platform: where is the vertical distance from the rotor plane to the center of gravity of the vehicle and is the thrust.

In addition, in the case of stiff rotors without hinges at the hub, there is also a moment generated directly at the rotor hub from the flapping of the blades: where is the stiffness of the rotor blade in Nm/rad. The total longitudinal moment created by blade flapping is the sum of these two moments:

Although a controller designed exactly is possibly successful to counteract small disturbances, it is difficult to reject the large systematic disturbances that result from the aerodynamic effects such as blade flapping. For the improvement of control performance, it is necessary to design a feed forward compensation block in order to cancel out moments and forces resulting from blade flapping and variations in total thrust [33].

5.3. Ground Effect and Ceiling Effect

When a rotor operates near the ground (about at half rotor diameter), a phenomenon always appears that thrust augmentation pushes the vehicle away from the ground, which is related to a reduction of the induced airflow velocity. This is called ground effect [71, 72]. Different from other approaches, an adaptive technique [73] is an option to deal with this effect. However, for the aim of improvement of the autonomous VTOL controller, a principal model of this effect is needed.

One proposed mathematical model of ground effect [74] is

Here is the radius of the rotor, is the vertical distance from the ground, is the thrust produced by the propeller in ground effect, and is the thrust produced at the same power outside of ground effect. Note that for the predicted ratio between and is just 1.016. Therefore, this formula (35) predicts that ground effect is negligible when the rotor is more than one diameter off the ground, that is, .

Except for the ground effects, a “ceiling effect” is another issue needs to be researched, the reason is a quadrotor can flight indoor different from conventional helicopter. In fact, so called “ceiling effect” means when the vehicle is close to an overhead plane, the ceiling effect pulls the vehicle towards the ceiling which can cause a crash in the worst case. The effects have been proved by a set of experiments. Unfortunately, no formal formulation of a ceiling effect is presented so far.

6. Identification of a Quadrotor Model

Model is the foundation and the first step of control and simulation. In general, system models are derived from first principles, physical insight and sometimes input and output data, and the last two items are classified as system identification. As for a Quadrotor, the first principle scheme is intuitive to obtain the dynamical model, perhaps from the inheritance of traditional flight mechanics, by which the relationship between the inputs and outputs, that is, the underlying dynamics is revealed distinctly. However, on the other hand, the mathematical formulation proposed is characterized by the unwelcome complexity and strong nonlinearity that is regarded as a nightmare for controller design.

As a alternative solution, system identification is effective to derive a model. System identification, as the art and science of building mathematical models of dynamic systems from observed input-output data, has developed for few decades, starting from the year 1965, and enormous methods are presented. However, there are many open problems [75, 76]: such as nonlinearity and closed-loop identification, which are just the characteristics shown in the quadrotor dynamics.

Significantly, the attention on the model and identification aspect is paid on the fixed-wing and helicopter [34], instead of quadrotor, or multirotor, and the reason may be the fact of less applications of quadrotor aircraft by now, as well as relative complicated dynamics which exhibit some distinctive features on the modeling and identification schemes, presented as follows [77].(i)Continuous-time model is preferable. In aerospace applications, a continuous-time model looks more popular than the discrete-time one for the reason of intuition.(ii)To support closed-loop identification, a quadrotor system is basically open-loop unstable, so that identification experiments have to be implemented in closed loop under automatic control, or with a human operator.(iii)To uncouple the cross-interaction among the operation axes, the cross-coupling in dynamic behavior imposes difficulty on the estimation of a model, so that isolation of different dynamic modes is necessary to alleviate this effect.

To the best of my knowledge, although not many, some schemes dedicated to the quadrotor model identification are proposed in the following. Herein, by means of the classification in the literature [75], so called a whole palette of grey shades from white to black, these methods are introduced successively.

6.1. Off-White Models: Parameters Estimate Based on First Principle Model

A set of parameter estimates in the nonlinear quadrotor model could be taken directly from measurements, a CAD model using model software like SOLIDWORKS to model all the parts of the quadrotor, or derive from experiments, along with the associated error [66, 70, 78]. The parameters listed in the following context can be obtained by a regular identification method [7981].(i)Aerodynamic parameters: rotor, blade, and aerodynamic parameters are obtained through measurement, computation, simulation, or from references.(ii)Masses and displacements: component masses and distances are measured with respect to the rotor plane.(iii)Rotational inertia is obtained through measurement and computation [2].(iv)Motor constants: resorting to some experiments conducted, the motor model can be simplified to be a first order system and the constants could be extracted from the experimental data [82, 83].

The nonlinear identification problem is to estimate such parameters from the measured data. In general, this is a difficult problem that has not yet been treated in full generality. In [84], a Levenberg-Marquardt optimization method and a quadratic optimization method are applied, respectively, to obtain the inertia and the rotor parameters.

6.2. Steel-Grey Models: Local Linear Models Identification

Nonlinear systems are often handled by linearization around a working point. The idea behind composite local models is to deal with the nonlinearities by developing local models, which are good approximations in different neighborhoods, and then compose a global model from these. Often, the local models are linear, so a common name for composite models is also local linear models [75], as described in Section 4.5, where the hover regime is acted as a working point. After the linearization at working point, the identification issue is simplified and easy to tackle with the help of linear identification methods as follows. However, the linearization is a realistic simplification after all, which results in the bias, even model mismatch, and sometimes is unreasonable in the case of aggressive maneuvers. In addition, a set of models need to be derived in the situations that many working points exist, so the switch between two models in the model set should be paid enough attention to weaken the disturbance.

6.2.1. Parameter Identification

Using the linearized system dynamics after some treatments such as neglecting the nonlinear coupling terms, a parameter identification [85] is performed to identify separately each quadrotor axis performed in closed loop. The generic scheme of the identification process is depicted in Figure 7.

The controller used during identification is a simple stabilizing, hand-tuned PD-controller with known parameters. Using linearized system dynamics equation, the identification signal, that is, a pseudorandom binary sequence (PRBS) of full length, and the controller and output data , one can use nonlinear optimization to estimate that our parameter vectors and are conducted, respectively. The experimental results show a very good correlation with real data, which confirms the proposed approach in which an iterative parameter identification scheme is applied, the results of which can easily be reproduced and offers great accuracy. In general, a regular procedure is implemented for the parameter identification, in which a linear model is derived from the nonlinear one with some simplification and neglecting, and then a parameter identification problem is shown, at last a iterative algorithm is applied to obtain the estimated value of the parameters, just like what is described in this literature. Next, an adaptive controller could be designed based on the parameter identification.

6.2.2. Time Domain Identification

Reference [86] presents the estimation of a linear mathematical model for the dynamics of a quadrotor by time domain system identification.

At first, the model structure has to be determined by the begin with a large pool of potential candidate regressors, meaning states or control inputs, or some combination thereof, then calculate the potential correlation of each regressor with a state derivative using a linear least-squares method. The final step in the process is to retain those regressors which have a significant correlation with the state derivative in question. The level of correlation is determined by the user so as to capture as much of the measured behavior as possible with a minimal number of regressors. An example of such a pool of regressors is given as follows: where the state derivative is linearly related to the regressors, , , , and , by their corresponding parameters, , , , and . This process of regressor pool correlation is repeated for each state derivative.

After the appropriate model structure has been determined, the next step is to determine the value and error of each parameter by a linear least squares method. These values form the dynamics and control matrices, and . At the same time, the error values are also adjusted to account for any remaining uncharacterized behavior, known as colored residuals.

The method herein is considered as the basic algorithm in the realm of system identification, which is used to address the model identification issue of linear system. It should be noted that the method is desirable for the SISO (single input and single output) system; therefore, such characteristics as cross-coupling must be mitigated in advance.

6.2.3. Frequency-Domain Identification

A frequency-domain system identification method is used to obtain a linear representation of the quadrotor dynamics [87]. Contrast to time domain analysis, frequency-domain identification can obtain a relative robust model with the treatment of cutting down the errors associated with bias effects and processing noise, resulting in a robust model.

In the algorithm, the frequency response data acquired is validated by evaluating its coherence, which is an indication of how well the output and input data are correlated. The definition of coherence is given as where , , and represent the autospectral densities of the input, output, and cross-spectral density of the input and output, respectively, and are the frequency point. A perfect correlation between input and output would result in a coherence value of unity, while poor coherence typically falls below a value of 0.6.

It might also be noted that the data must be decoupled such that the inputs provided by off-axis commands are rejected from the output on the axis of interest, after the coherence of the data is validated. The multiple single output system estimation can be expressed in (38), where is the system estimation:

In the system identification process, the transfer functions of each axis will be acquired first, followed by state space representations and complete system analysis. The single input-single output (SISO) transfer function identification cost function can be defined as where the parameters such as , refer to [87].

As shown in [87], based on the rational experimental setup, a frequency-domain system identification method obtains a linear representation of the quadrotor dynamics. It might also be noted that the choice of the periodic excitation signal is to minimize leakage in the computation of frequency spectra, which is still an open problem in the area.

6.2.4. Subspace Model Identification

A subspace model identification (SMI) method [77], which has been proved extremely successful in dealing with the estimation of state-space models for multiple-input multiple-output (MIMO) systems is used to the identification of a quadrotor flight dynamics. More precisely, the continuous-time predictor based subspace identification approach proposed is applied to flight data collected during dedicated identification experiments, and at hovering flight condition, a linear state-space model is derived. As an advantage over the most identification techniques, this approach is feasible for the application in a closed-loop system as the correlation between and , is not required. The key ideas of the algorithm are provided in the following.

Consider the linear time-invariant continuous-time system: where , , and are, respectively, the state, input, and output vectors and and are the process and the measurement noise, respectively, modeled as Wiener processes with incremental covariance given by

The system matrices , , , and , of appropriate dimensions, are such that is observable and is controllable. Assume that a data set of sampled input/output data obtained from (41) is available. Then, the problem is to provide a consistent estimate of the state space matrices , , , and on the basis of the available data.

Note that both model order and the tuning parameters of the identification algorithm (i.e., the position of the Laguerre pole a and the parameters of the algorithm) need to be achieved at the head of the procedure; herein, a cross-validation approach, explained in detail in the literature [77], is used to address the issue.

As can be observed from the experiments, in which the input signal adopted for identification experiments is the so-called 3211 piecewise constant sequence, the identified models capture the essential features of the response of the quadrotor along all the axes. As it is known that the SMI method is rapid and easy to use, however, the model deserved from the algorithm is not based on some kind of optimal criteria, so the model obtained is also not believed to be optimum.

6.2.5. UKF Method

As we know, if the systems have severe nonlinearities, EKF can be hard to tune and often gives unreliable estimation due to the linearization relied by the EKF in order to propagate the mean and covariance of the states. Therefore, UKF is applied for the identification of a quadrotor model [88].

For the quadrotor system with continuous-time system dynamics,

Since the state vector of the quad-rotor the system state equation can be derived according to the full nonlinear equations. Finally, based on all of the system equations, the parameters to be estimated and identified are formulated as follows:

Based the experiments, the error of the estimation for velocity at -axes is less than 0.001, while the errors at both -axes and -axes are less than 0.0015. For estimation of angular velocities at , , and -axes, the errors are less than 0.0015. From the errors computed, it can be concluded that the UKF output matches with the measured output and the measured noise is well filtered by the UKF. It has good convergence time and relatively reliable for the estimations.

6.3. Slate-Grey Models: RBF-ARX Model

The RBF-ARX model is a nonlinear time-varying model whose structure resembles the ARX model. Its independent variables are groups of signals indicating the nonlinear status of the system, and its model parameters can be promptly adjusted to the best by taking the advantages of the RBF neural network. Owing to the self-adjusting parameters, the RBF-ARX model not only has an outstanding approximation in local linear space but also has superior global performance. RBF-ARX basic model structure of a quadrotor is shown as follows [89, 90]: where , , , and are the order of the system, is delay factor of system, and is white noise. A quadrotor system is a nonlinear system with four inputs and 3 outputs, and the inputs are the input electric voltage of four rotors, that is, , and the three outputs are pitch, roll, and yaw angles, respectively, that is, and . A set of simulation tests show that the error of RBF-ARX model is most close to a normal distribution, which indicates that the good model is obtained. In addition, no matter how the state variable slides, the distribution of system pole does not go beyond the stable scope. So the RBF-ARX model is suitable for quadrotor.

6.4. Black Models
6.4.1. Neural Network Model

A black box model that uses a neural network to learn the dynamics of the quadrotor is attempted [79]. The nonlinear autoregressive network with exogenous inputs (NARX) architecture is setup which has 6 different nets, one each for the , , and velocities and roll, pitch, and yaw rates. The other variables are then integrated (position/angles) and derive (accelerations) from the calculated velocities/rates. The procedure, described in Figure 8, is designed to address the issue of the current prediction () dependent on the predicted output for the previous time point (), in which a series-parallel architecture, is the correct output for time point , is the input vector for time point , and is the prediction for time point , is used for training before converting the net to the parallel architecture.

Some tests result shows that the black box neural network model can predict both the roll and pitch with very good accuracy and however perform not better for the yaw rate, which will be improved by creating a larger net or by adding more variables to the state vector for the nets. Surprisingly, the model was tested on a manoeuvre for which it had not been trained; a successful result is obtained. This result shows that the black box neural network model learned not only the dynamics of the quadrotor but also the dynamics of the trends and the noise. Neural networks have proved to be a remarkable modeling scheme carried out in various applications; however, on the other hand, substantial amount of tests need to be taken. Obviously, the work is costly and time-consuming.

6.4.2. Data-Based Model

The main purpose of data-based techniques is to take full advantage of the information acquired from huge amounts of process measurements. Without recourse to physical models obtained from first principles, a relatively overall perspective of system performance could be revealed via available measurements. Through deep insights of process measurements, information like system characteristics and regularity can be dug out for optimal modeling and decision making. The description [91] aforementioned reveals the insight and application of data-based model identification schemes.

It is noted that several typical data-based approaches, which only depend on process measurements, principal component analysis (PCA), partial least squares (PLS), and their variants, are successfully utilized in many areas [9296], In the realms of model and control, iterative learning control (ILC) scheme, and model free adaptive control (MFAC)—in essence, model free methods—show great advantages without a priori knowledge about the underlying processes, such as time delay and system order, despite their potential limit for processes with high complexity.

In addition, the recent developments on model-data integrated approaches, which also rely on available process measurements and a prior known limited knowledge about the processes for monitoring and control purposes, the iterative feedback tuning (IFT), and virtual reference feedback tuning (VRFT), have become the promising research topics. Although there are no reports of the application of the data-based model identification on the quadrotor so far, these approaches will soon find their utilizations.

Remark. Hover condition is the main status of the quadrotor, as quite a few tasks, such as surveillance, search, and rescue, are implemented in the condition. Therefore, linear model is simplified on the complex nonlinear one derived from first principle model, in which the feasibility is proved by application result. However, aggressive maneuver shows the obvious nonlinear characteristics, so that the nonlinear model is needed, in which neural networks are an optional scheme despite the fact that a large amount of tests are indispensable. The data-based approaches have shown the distinctive advantages in other application areas; the utilization on a quadrotor will be a commendable attempt. It is noted that these methods aforementioned not only are applicable in the quadrotor aspect but also is helpful to the field with the similar characteristics, such as active suspension systems of vehicle investigated in [97, 98].

7. Conclusion and Perspective

By now, a quadrotor has been a preferable platform of aircraft design and autonomous control due to the distinct characteristics involved in the craft configuration and flight dynamics, and the expansion to the commercial and military application is underway. The research results at present show that the static and dynamic characteristics of a quadrotor have been developed, and the aerodynamic effects on the craft flight performance have been revealed with the help of the conventional rotor theory.

As a base and preliminary for the next control and simulation work, the paper surveys the state of art of the modeling and identification of a quadrotor; afterwards some opinions are given as follows.(1)The full nonlinear equations have been obtained by classical Euler-Newtonian mechanics as well as Lagrange equation, with the knowledge of different force imposed on, especially aerodynamic function. However, there is no specific research of the model of a quadrotor, in which the dynamics is described comprehensively and systematically.(2)The dynamics of quadrotor shows distinct characteristics for the VTOL, horizontal flight, aggressive maneuver, and hovering mode involved in the execution of flight task. Whereas at the present, the hovering mode attracts over much attention, probably owing to the fact that the hovering is the one of the important working modes. Obviously, more efforts of research should be paid on the other modes such as aggressive maneuver.(3)The method of multistatic status linearization model has been presented at the aim of control, which may be an effective way to address the issue of complex dynamics. However, a problem of undisturbed switching between the multimodels should be resolved.(4)In contrast with the other crafts, there is no more attention for the model identification of a quadrotor for the reason of the requirements mentioned in the paper. The effective transplantation of the identification methods used in the other respects is a practical choice.(5)A new configuration of quadrotor with tilt rotor can eliminate the deficiency such as underactuate feature. The relative research work has been in progress, which will be a focus hereafter.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This work was supported by the Fundamental Research Funds for the Central Universities (Grant no. FRF-TP-12-005B), Program for New Century Excellent Talents in Universities (Grant no. NCET-11-0578), Aeronautical Science Foundation of China (Grant no. 2012ZD54013), and Specialized Research Fund for the Doctoral Program of Higher Education (Grant no. 20130006110008).