System Identification of an Aircraft Model While Considering Control Surface Actuators ()
1. Introduction
System identification [1]-[4] is one of the most powerful techniques for obtaining a model that is needed to design control systems in several engineering fields [5]-[7]. Aircraft models needed for constructing flight control systems include several elements that are related to not only the structure of the aircraft but also aerodynamics. The modeling using system identification is, therefore, effective in obtaining the aircraft model because it avoids complicated processes such as calibration of the aerodynamic derivatives in the wind tunnel tests [8].
The authors have studied system identification for continuous-time linear aircraft models using subspace identification [9]-[12]. Subspace identification estimates the state-space matrices of the system based on the realization theory and is one of the most powerful system identification approaches for multi-input and multi-output (MIMO) systems [3] [4]. In the previous study [11], the maximal length sequence (M-sequence) [13]-[15] was used as the identification input, and two design indexes which were related to the dynamical modes of aircraft were proposed. The effectiveness of the design indexes was demonstrated in numerical simulations. However, actuators for activating the control surfaces were not taken into consideration in the aircraft model identification [11]. It is very important from a practical point of view to understand the influence that the intermediation of the actuator has on the identification result of the aircraft model.
This paper presents a system identification of aircraft models while considering actuators for control surfaces. It may be imagined that the identification performance has deteriorated in the system identification with the actuator. In this paper, the deterioration factors are investigated from the viewpoint of the frequency characteristics. A technique for suppressing the deterioration is also discussed through identification calculation.
The rest of this paper is organized as follows. Section 2 briefly presents the aircraft model in longitudinal motion, which is to be identified in this paper. Section 3 presents the procedures of the subspace method for identifying the continuous-time linear system. The choices of input and output for identification are presented for the system identification with the actuator. Section 4 presents the setup for identification: M-sequence, which is used as the command signal to the actuators, identification indexes and evaluation methods of identification results. Numerical simulation is presented in Section 5. Concluding remarks are given in Section 6.
2. Linear Aircraft Model
A model to be identified in this paper is a linear aircraft model in longitudinal motion. This section briefly presents a state-space equation with aerodynamic derivatives. The longitudinal motion of an aircraft is described using the following state-space equation [8].
(1)
where the state, input and output vectors, denoted as
,
and
, are
,
,
. (2)
The elements of
are selected as a suitable variable for identification [12]. The characteristic equation of the longitudinal dynamical modes is written as
, (3)
where
and
are the damping factor and the natural frequency of the short-period mode, while
and
are those of the long-period mode. Generally, we have the following relations:
and
[8].
3. System Identification Using Subspace Identification Method
This section describes procedures for identifying the continuous-time linear time-invariant (LTI) system using subspace identification. Since the subspace identification method estimates a model as the discrete-time system, the estimated model is inversely transformed into a continuous-time model. System identification with the actuator is described in the next.
3.1. Identification of Continuous-Time LTI System
Figure 1. An identification system.
Figure 1 shows a block diagram of a system to be identified. Its state-space equation is given by
, (4)
where t is the continuous time.
is the input,
is the output, and
is the state vector. The measurable output is given by
. (5)
where
is the measurement noise. The input and the output for identification, denoted as ID-input and ID-output, are therefore given by
ID-input:
, ID-output:
As a matter of fact, in the system identification calculation, discrete-time signals sampled with a constant sampling interval Ts are used. To distinguish the discrete-time signals from the continuous-time signals, the discrete-time input obtained by sampling at t = kTs is denoted as
. (6)
Other discrete-time signals are similarly denoted. The objective of the identification in this paper is to estimate the continuous-time LTI system Equation (4) using N paired discrete-time ID-input and ID-output data
. (7)
The identification procedures are given as follows, where the order of the system n is known.
Step 1: Using N paired discrete-time ID-input and ID-output data (7), the following discrete-time LTI model is estimated using a subspace identification method.
, (8)
where
is a state vector used in the estimated model.
Step 2: A continuous-time LTI model is obtained by inversely transforming Equation (8) with the zero-th order hold; that is,
(9)
where
(10)
3.2. Identification with Actuator
Figure 2. An identification system combined with actuator.
Figure 2 shows a system combined with an actuator system
. It is assumed that
is known in advance. Its state-space equation is given by
, (11)
where
is the command input to the actuator system, and
is state vector. In this paper, the actuator is given by the second-order model for each input channel. The state-space equation of the i-th actuator is given by
, (12)
where
and
. (13)
The matrices and the vectors of Equation (11) are then constructed as
(14)
. (15)
Table 1 shows the choices of ID-input and ID-output for the system identification with actuator. id-0 indicates the case without actuator system, while the rest are the cases with the actuator system. id-1 is the case in which ID-input is given by δ(t). id-2 is the case in which ID-input is given by u(t) which is the output from the actuator system. A measurement is needed to obtain u(t). id-3 is the case that the measurement noise w(t) is taken into consideration in ID-input; that is,
. (16)
Table 1. Input and output for identification.
4. Setup for Identification
4.1. Maximal Length Sequence
Maximal length sequence (M-sequence) [13]-[15] is a binary signal having values of {0, 1} or {−1, 1}. The persistent excitation condition holds [1]; that is, the M-sequence can be used as an exciting signal. In general, the effective frequency range of the discrete-time signal with the sampling interval Ts is given by [0, ωN], where ωN is the Nyquist frequency defined as ωN = π/Ts. However, it may be impossible to realize fast excitation because of the frequency characteristic limits of the actuators for control surfaces of aircraft. In this paper, the required activities of the control surfaces are specified by the bandwidth ratio of the M-sequence, denoted as BM. Letting Ti be the minimum time length where the value of the M-sequence is not changed, BM is defined as
. (17)
4.2. Identification Index
This subsection presents the identification indexes. The two indexes are related to the dynamical modes of aircraft [11]. In the following, the subscript # corresponds to the longitudinal dynamical modes of aircraft: sp: short-period and lp: long-period modes. The first is the bandwidth ratio for the dynamical mode, which is defined as
. (18)
B# > 1 indicates that the bandwidth of the M-sequence is covered beyond that of the dynamical mode. Since
in the longitudinal motion, we have
. Then, if Bsp is greater than one, the M-sequence is able to excite both the short- and long-period modes.
The other is the ratio of data for the dynamical mode which is defined as
. (19)
R# > 1 indicates that the amount of data for identification is greater than the period of the dynamical mode. In longitudinal motion, we have
. Then, if Rlp is greater than one, the number of data used for identification is greater than that of data needed for the period of the longitudinal dynamical modes.
When actuators for control surfaces are considered, another index is the bandwidth ratio between the actuator and the dynamical mode. It is defined as
. (20)
where ωa is the natural frequency of the actuator. When multiple actuator models are needed as Equations (11)-(15), ωa is given by
. (21)
W# > 1 indicates that the bandwidth of the actuators is able to excite the dynamical modes of aircraft. Since
in the longitudinal motion, we have
. Then, Wsp is used as an index to characterize the actuator in this paper.
4.3. Evaluation of Identification
Identification results are generally evaluated from several standpoints: visual and numerical methods, global and local viewpoints. The time and frequency responses are visual and global evaluations. As a numerical evaluation, this paper adopts the ν-gap metric and the additive pole error of the dynamical modes. These definitions are given as follows.
4.3.1. ν-Gap Metric
Let the transfer functions of the true and estimated continuous-time linear models be
and
, respectively, where s is the Laplace operator. The ν-gap metric, denoted as δν, is defined as
. (22)
where
.
is the conjugate transfer function of
and
is the maximum singular value. The range of δν is normalized as
[16]. δν represents a measure of the difference between two LTI systems in the frequency response. Therefore, δν is one of the global evaluations. δν is originally derived from the robust stability condition based on the normalized coprime factorization [16]. It is desirable in system identification that δν should be as small as possible.
4.3.2. Pole Error of Dynamical Mode
Letting the true and estimated eigenvalues of the dynamical mode
be
and
, respectively, the additive pole error of dynamical mode is defined as
. (23)
This is a local evaluation of the identified model.
5. Numerical Simulation
This section presents numerical simulation results of longitudinal aircraft model identification according to the setup for identification described in the previous section. The aircraft to be identified is referenced from Isozaki et al. [17]. The flight conditions were given for the following steady straight flight: altitude H = 4000 [m], flight velocity U = 100 [m/s], and steady pitch angle
[deg]. The eigenvalues of the dynamical modes were and
.
The subspace identification method used was N4SID [3] [4]. The sampling interval was given as Ts = 0.1 [s]. The M-sequence was used for exciting the actuators of the control surfaces of the aircraft, where the amplitudes of the commands were given as
[deg]. The measurement noises v(t) and w(t) were given as the white noises whose magnitude was defined by the noise-signal ratio (NSR)
,
(24)
That is, NSRv and NSRw indicate the mean amplitude ratios between the measurement noises and the true output and input, respectively. Generally speaking, the identification performance deteriorates as the NSRv increases. The identification results were evaluated by averaging 10 times trials where the NSRv was given as NSRv = {10, 20, …, 100} (%).
5.1. Identification Results of Wsp = 2 and 6
The identification results with considering actuator are shown in Table 2 and Figures 3-5. The magnitude of the measurement noises v(t) and w(t) were given by NSRv = 30% and NSRw = 20%, respectively. “true” in the figures means the responses and the location of the true longitudinal aircraft model.
Figure 3. Random responses of flight velocity u and pitch rate q in the identified longitudinal model.
Figure 4. Frequency responses of flight velocity u and pitch rate q in identified longitudinal model.
Figure 5. Pole location of the identified longitudinal model.
In the cases of Wsp = 2 in Table 2 and Figure 5, compared with id-0, which is the case without an actuator, the identification performance of id-1 and id-2 has deteriorated; in particular, εa(λsp) of id-1 and id-2 was greater than that of id-0. The influence of εa(λsp) appeared in δν, the random and frequency responses. In particular, the pitch rate q in id-2 showed vibrational responses, which were close to unstable responses, as shown in Figure 3(a). The peak gain of q in id-2 was shifted to the higher frequency region, as shown in Figure 4(a).
In the cases of Wsp = 6, on the other hand, the identification performance of id-1 and id-2 was close to that of id-0. The performance of id-3 was almost the same level as that of id-0 in both Wsp = 2 and 6. The details will be discussed later. The condition number [18], denoted as “Cond” shown in Table 2, will also be mentioned. It is seen from Figure 5 that λlp of id-1 and id-2 almost coincided with the true location. This means that the long-period mode was not influenced by the actuator.
Table 2. Identification results of longitudinal model, where Bsp = 1.0, Rlp = 1.6, Wsp = 2 and 6.
|
Wsp |
δν |
εa(λsp) |
εa(λlp) |
Cond |
id-0 |
2 |
0.0396 |
0.0878 |
0.00210 |
1.1707 × 103 |
id-1 |
2 |
0.5149 |
0.3935 |
0.01555 |
7.2338 × 102 |
id-2 |
2 |
0.9883 |
29.4131 |
0.00976 |
4.0727 × 104 |
id-3 |
2 |
0.0465 |
0.0763 |
0.00317 |
1.6353 × 103 |
id-0 |
6 |
0.0636 |
0.0647 |
0.00153 |
1.6759 × 103 |
id-1 |
6 |
0.1473 |
0.2024 |
0.00145 |
1.3880 × 103 |
id-2 |
6 |
0.0774 |
0.1601 |
0.00100 |
2.2071 × 103 |
id-3 |
6 |
0.0485 |
0.0700 |
0.00177 |
1.8004 × 103 |
5.2. Influence of Bsp and Wsp
In the aircraft model identification without an actuator [11], Bsp was strongly related to εa(λsp), while Rlp was to εa(λlp). The reversed pairs were not related so much. Therefore, this subsection discusses the identification performance of id-1 and id-2 with respect to Bsp and Wsp, where Rlp was fixed at Rlp = 1.6.
Figure 6 shows δν and εa(λsp) with respect to Wsp. When Wsp was increased, δν and εa(λsp) were monotonously decreased. Furthermore, the identification performance of id-1 and id-2 was improved by increasing Bsp. The performance
Figure 6. Identification evaluation with respect to Bsp and Wsp.
was converged to that of id-0 when
and Wsp = 8. This is the lower limit of the identification with the actuator. In the region of small Bsp and Wsp, δν of id-1 was better than that of id-2. In the region of large Bsp and Wsp, on the other hand, this situation was changed as shown in Figure 6(a).
5.3. Influence of Measurement Noise w(t)
Figure 7 shows the identification result with respect to the input noise w(t); that is, the case of id-3. When Bsp and Wsp were small, there was the minimum region of δν and εa(λsp) around NSRw = 20%. According to the increase of Bsp and Wsp, the minimum region became ambiguous. It disappeared for
and Wsp = 8. NSRw of id-3 shown in Figure 6 was given by NSRw = 20%. The identification performance of id-3 was almost the same as that of id-0 for the range of
.
As mentioned above,
was contributed to improving the performance of aircraft model identification with actuators. The time history of ID-input, the elevator angle δe and the throttle angle δt for Bsp = 1.0 and Wsp = 2 was shown in Figure 8, where δ(t), u(t) and
are ID-input of id-1, id-2 and id-3, respectively. The NSR of w(t) included in
was given by NSRw = 20%. The response of u(t) was delayed due to the dynamics of the actuators. Furthermore, to investigate this from the frequency characteristic point of view, Figure 9 shows the spectra of δe in δ(t), u(t) and
. Two magenta asterisks indicate the natural frequencies of the short- and the long-period modes. The spectra of the three input signals were large in the frequency region shown by red triangle-line. This means that the bandwidth of ID input covers the range of dynamical modes. In the high-frequency region, the spectrum in δ(t) was decreased, but a specific magnitude was kept until the Nyquist frequency ωN = 31.4 [rad/s]. On the other hand, the spectrum in u(t) was further reduced, while that in
was recovered by the noise w(t).
![]()
Figure 7. Identification evaluation with respect to NSRw.
Figure 8. ID-inputs for longitudinal model, where δe and δt are elevator and throttle angles.
Figure 9. Spectrum of δe included in δ(t), u(t) and
.
It may be possible to explain the effectiveness of the spectrum recovery in the identification performance as follows. In the N4SID method, the matrices of the estimated discrete-time model in Step 1 shown in Section 2.1 are obtained by applying the least square method to the following linear equation
(25)
where
and
are respectively constructed by ID-input and ID-output, and
is obtained by LQ- and SV-decomposition [3] [4]. It is, in general, known in numerical computation that the accuracy of the solution depends on the algorithm and the condition of the problem [19]. Since the N4SID method was used for all identification calculations, the accuracy of the solution depended on the latter. The right-hand side column in Table 2, denoted as “Cond”, shows the condition number of
, where
. In general, a large condition number means ill-conditioned; that is, easily brings a large error in the solution, while a small condition number means well-conditioned [18] [19]. As shown in Table 2, the Cond of id-2 in Wsp = 2 was larger than that of the others, while it became small in Wsp = 6. As a matter of fact, the identification performance of id-2 in Wsp = 6 was improved. Since the input noise w(t) was included in Uk, it contributed to the reduction of the condition number. This was a reason from the numerical computational point of view why the identification performance of id-3 was superior to that of id-1 and id-2.
6. Concluding Remarks
This paper has presented an identification of a continuous-time linear aircraft model considering control surface actuators using the maximal length sequence (M-sequence) signal. In the identification with the actuator, the input for identification was given by the command to the actuator or the output from the actuator. The identification results using these inputs were evaluated by the ν-gap metric and the pole error of the dynamical modes. In the numerical simulation of longitudinal aircraft model identification, the identification performance was improved when the bandwidth ratio for the short-period mode and the bandwidth ratio between the actuator and the short-period mode were increased. Furthermore, a little input noise brought an improvement in the identification performance. This may be effective in the case that the bandwidth ratio for the short-period mode and/or the actuator and the short-period mode are not sufficiently large in practical system identification. The results presented in this paper are, therefore, also useful to other system identification problems. Although this paper presented a numerical simulation of longitudinal aircraft model identification, similar results had been obtained in the simulation of lateral aircraft model identification.