Abstract
This paper proposes a control allocation framework where a feedback adaptive signal is designed for a group of redundant actuators and then it is adaptively allocated among all group members. In the adaptive control allocation structure, cooperative actuators are grouped and treated as an equivalent control effector. A state feedback adaptive control signal is designed for the equivalent effector and adaptively allocated to the member actuators. Two adaptive control allocation algorithms, guaranteeing closed-loop stability and asymptotic state tracking when partial and total loss of control effectiveness occur, are developed. Proper grouping of the actuators reduces the controller complexity without reducing their efficacy. The implementation and effectiveness of the strategies proposed is demonstrated in detail using several examples.
1. Introduction
Actuator redundancy is highly desirable for fault-tolerant control. This redundancy yields multiple ways to implement the forces and moments prescribed by the controller. However, this freedom creates the need for properly allocating the control inputs among all individual actuators. While multiple actuator configurations do generate the desired forces and moments, some of them may yield unintended outcomes, for example, the effect of some control surface deflections counteracts the effect of other ones. Redundancy management is the need for properly allocating the control inputs among functionally redundant actuators when some of them may not be fully functional.
The purpose of control allocation is to distribute the control signals to the available actuators such that the desired moments and forces are efficiently generated. Traditional control allocation methods include explicit ganging [1], daisy chaining [2], pseudinverse [3, 4], and error and control minimization [5β10]. Explicit ganging performs control allocation by finding a fixed relation between the desired control moments and forces and the designed control signals. Multiple actuators (e.g., two aileron surfaces) can be combined to generate the desired effects. Daisy chaining allocates inputs in a prioritized fashion. It utilizes the actuators in sequence to generate certain effect. If an actuator is unable to generate such an effect, say due to actuator saturation, the next actuator in the sequence will be used. The pseudoinverse approach, which accounts for input saturation and failure, performs control allocation by solving a linear optimization problem in real time. Error and control minimization is another common control allocation approach. This approach minimizes the error between the desired and generated control moments subject to control constraints. Several approaches can accommodate for actuator failure and saturation compensation, provided that the actuator failure or saturation has been identified. Thus one obvious drawback of these approaches is that they require a fault detection system. These systems, which are usually complex, require the characterization of several failure modes a priori. Furthermore, they may require solving optimization problems in real time; thus they can substantially increase the software and hardware demands of the flight control system.
Adaptive control, on the other hand, does not require knowing which controllers have failed nor the class or severity of the failure. This is due to its ability to change control parameters according to the existing flight condition. Due to parameter adaptation, it is also able to accommodate for parametric uncertainties in the vehicle dynamics. Substantial developments in adaptive control for actuator failures have been made in the last decade [11, 12]. Adaptive controlβs ability to seamlessly compensate for actuator failures requires for the systemβs built-in actuation redundancy to be sufficient. This is usually described as a rank condition on the input matrix [11, 13]. To take advantage of all redundancy available, one common approach in multivariable adaptive control is to generate a control signal for each control surface. Such an approach endows the controller the maximum degree of freedom to compensate for failure. When certain control surfaces are stuck or have reduced control effectiveness, the remaining control surfaces will adaptively cooperate until a new combination of inputs for the remaining control surfaces is found. This will occur automatically without knowing which surfaces have failed, or when such failures occur. Although adaptive control ensures closed-loop stability and tracking performance, it does not differentiate between control generation and control allocation, and the resulting actuation scheme may be unacceptable. For instance, separately designed control signals for multiple control surface segments may cancel each otherβs effects, for example, it has been observed that the steady-state deflection of both rudder segments for a direct adaptive control had opposite angles, resulting in a wings leveled flight with increased drag.
The lack of control allocation in the current direct adaptive control framework motivates this research effort. In this study, we aim at separating control generation from control allocation. In the adaptive control allocation framework, a key step is to combine redundant control surfaces similar to explicit ganging. For each group of combined actuators, we design an adaptive control signal, which is then allocated among group members by an adaptive gain. If no failure occurs, a nonadaptive control allocation scheme set in advance is enforced. In the presence of uncertainty of actuator failure, the adaptive flight controller modifies the allocation of input accordingly.
The structure of the adaptive control allocation framework is illustrated in Figure 1. This is a simple aircraft control example with the elevator controlling the pitch motion. The aircraft longitudinal state, denoted as , should track the state of a reference system for a given reference input . The elevator consists of four segments, namely, left outboard, left inboard, right outboard, and right inboard segments. For pitch control, they can be grouped together and considered as an equivalent elevator by adding the four columns of the input matrix. A βvirtualββ elevator signal is generated by the adaptive controller for the desired pitching maneuver. This elevator signal is then allocated by the adaptive allocation gains . The resulting elevator signals will be fed to the four elevator segments. The allocation gains can be updated on-line based on the knowledge of the nominal plant and to mitigate the uncertainties of actuator failures. Conversely, in a fixed allocation scheme are constant, for example, , .
One advantage of this adaptive control allocation structure is the ease in solving problems such as the counteracting actuation. To remedy this problem, the signs of the adaptive allocation gains can be made the same, say, via the projection algorithm [14] so that the allocated control signals cannot go in opposite directions. Another advantage of this structure is the reduction of the controller complexity. For instance, let us consider a state feedback adaptive control design for an -state system with controls. The number of controller parameters to be updated is . If the problem is solved by having all actuators in one group, there are adaptive parameters. For example, if we try to stabilize a 5-state system with 3 controls, the total adaptive parameters using a direct model reference adaptive controller would be 15. With a grouping of control inputs for which the system remains controllable (i.e., the system is controllable for the control input matrix associated with the grouping), the total number of adaptive parameters required is 8 ( gain vector and βs). The larger the family of redundant actuators, the bigger the benefit. Another advantage of this approach is that the virtual control signal can be designed using a nonadaptive (fixed) state feedback gain, and failure compensation is achieved by only adapting the control allocation gains βs. This implies that the proposed structure could be added to a conventionally designed state feedback controllers without having to use fault detection and isolation.
In this paper, we develop the mathematical foundation of this adaptive control allocation structure for a single group of actuators. Two adaptive control allocation algorithms are presented for both loss of effectiveness and constant-magnitude actuator failures. Technical issues such as design conditions, adaptive law designs, and stability analysis are addressed. The proposed schemes are shown to guarantee stability and asymptotic state tracking in the presence of unknown failures. Simulation-based examples are used to demonstrate the strategy proposed.
The paper is organized as follows. Section 2 presents the adaptive control allocation algorithm for loss of control effectiveness. This is followed by Section 3, where a scheme for constant-magnitude actuator failure compensation is developed in Section 3. Finally, a few concluding remarks close the paper.
2. Adaptive Control Allocation Design for Loss of Effectiveness Failures
2.1. Problem Formulation
2.1.1. Plant
Consider the linear time-invariant (LTI) system where and are the system state and the control input. The matrices and are constant and known. The matrix is the control gain matrix for the group of actuators.
The control signal can be expressed as where is the allocated control signal (i.e., input to the actuator) and is a piecewise constant uncertain diagonal control effectiveness matrix with , and , . The th actuator is fully functional when and has a loss of effectiveness failure when . For the design in this section, we assume that , that is, no actuator outage occurs. For the reminder of this section we assume that is always positive definite.
The control input is given by where is a control signal designed for the group, and is the adaptive allocation gain for th actuator. We assume that a nominal allocation scheme has been prescribed. This scheme will be enforced under nominal operating conditions. The nominal allocation gain vector is denoted as . We also define the equivalent control gain vector as . The vector can be seen as the equivalent control gain matrix for the equivalent control effector representing the actuator group. We further assume that the pair is stabilizable.
2.1.2. Reference Model
For the adaptive control, the desired closed-loop dynamics is given by where is a Hurwitz matrix, and . The signal is a bounded piecewise continuous reference input, and is the desired state. For a given symmetric positive definite matrix , there exists a unique that satisfies For the adaptive control design, we need the following standard plant model matching condition.
Assumption 1. There exist constant , such that
2.1.3. Control Objective
The control objective is to design the virtual control signal and adaptive allocation gains ,, such that all the closed-loop signals are bounded and the system state tracks the desired state asymptotically in the presence of uncertain control effectiveness .
2.2. Adaptive Control Allocation Design
2.2.1. Nominal Controller
The plant model matching condition in Assumption 1 indicates the existence of a nominal controller for the system without failures and a nominal constant allocation gain vector such that the closed-loop response is identical to that of the reference model when the responses of any unmatched initial conditions vanish exponentially. This signal takes the form where , and . The above state feedback control together with a prespecified distribution ensures the state tracking error approaches zero exponentially.
2.2.2. Adaptive Controller
When a failure occurs, the allocation gain will be adaptively adjusted to accommodate for failure, but may no longer be effective. For this, we use the adaptive versions of control signal and allocation gain where and are estimates of and , and . The updated is an estimate of .
2.2.3. Error Dynamics
With the plant and control in (1) and (2), nominal controller in (7), and adaptive controller in (8), the closed-loop dynamics can be expressed as where and .
From the closed-loop dynamics in (9) and reference model in (4), the error dynamics can be obtained as It can be seen that the error dynamics in (10) is suitable for adaptive law design in that the latter half of its right-hand side is linear in and .
2.2.4. Adaptive Laws
Based on the error dynamics in (10), we can design the adaptive laws for the control parameter and allocation gain as where and are symmetric positive definite matrices and is determined by (5). From the adaptive laws, we can see that the controller parameters of the virtual control signal for the actuator group are updated using the information of the equivalent control gain vector . The allocation gains are updated with the matrix since successful allocation of the virtual control signal to each actuator requires the knowledge of each column of .
The properties of the adaptive control allocation scheme can be summarized in the following theorem whose proof is presented in the appendix.
Theorem 1. For the system in (1), the adaptive controller and allocation scheme in (8), and the adaptive laws in (11) and (12) guarantee that the all the closed-loop signals are bounded and in the presence of uncertain loss of effectiveness actuator failures in (2).
Remark 2. From the definition of in (9), we can see that the adaptation of is essential for compensating the uncertainties in , while and can be fixed to their nominal values and . In this case, with in (10) and (A.1), the closed-loop stability and asymptotic state tracking results still hold.
2.3. Examples
2.3.1. Linear Plants
Two case studies based on linearized aircraft models are presented next.
Plant
Consider the linearized lateral dynamic model of a large transport aircraft flying in a steady wings-level cruise condition with ft/s [15]. The aircraft model is
The state includes the lateral velocity (ft/s), roll rate (rad/s), yaw rate (rad/s) (all in body-axis frame), roll angle (rad), and yaw angle (rad). The control inputs are aileron and rudder deflections (deg). The system matrices and are
Hereafter we will group the aileron and rudder into a single group. Note that these surfaces have related but different functionalities. If adaptive control signals are designed separately for the two control inputs with the state feedback structure, the total updated parameters would be . They include 5 state feedback parameters and 1 feed-forward parameter (for tracking the reference input) for each control surface. The adaptive control allocation scheme, on the other hand, requires parameters since only one adaptive control signal is designed and allocated with two updated allocation gains.
Nominal Parameters
The nominal allocation gain vector is selected as , thus the equivalent control gain vector is . The nominal allocation gain is chosen so that the first element in , that is, the control gain for the lateral acceleration is zero. The purpose of this choice is to attain a coordinated turn.
The nominal controller is designed based on the LQR approach for . The resulting gains are
Reference Model
For this example, the reference model is chosen as the closed-loop dynamics with the above LQR controller, that is,
The reference input to the reference model is chosen as for , which leads to a desired state trajectory with steady-state values
This reference command yields a right turn with a change in the yaw angle of 30 degrees.
Actuator Failure
We will consider the 80% loss in control effectiveness:
where is the output of the aileron actuator and is the designed control input to aileron.
Simulation Results
The following cases will be studied.(i)Case 1: adaptive allocation of the adaptive control designed in Section 2.2 ((11) and (12)).(ii)Case 2: adaptive allocation (as in (12)) of a nonadaptive control signal with fixed gains (as in (16)).
Case 1. The time history of the system state under failure and the desired state is shown in Figure 2. It can be seen that the asymptotic state tracking is achieved after failure.
Figure 3 shows the designed control signal , allocated control signals and actuator outputs . The designed control signal is allocated by the adaptive allocation gains. The actuator outputs are different from the allocated control signals due to the failure.
The adaptive parameters are shown in Figure 4. We can see that also plays an important role in the compensation of actuator failures. The adaptive allocation gains are shown in Figure 5. Both allocations gains adapt immediately after the failure occurs and settle to a new combination of steady-state values that, together with and , guarantee state tracking after failure.
Case 2. The system state and desired state are shown in Figure 6. Despite the uncertain actuator failure, asymptotic state tracking is achieved. The designed control signal, allocated control signals and the actuator outputs are shown in Figure 7. Similar to the previous case, the allocated control signals and the actuator outputs are not identical due to the actuator failure. The allocation gains are shown in Figure 8. The allocation gains are updated autonomously for failure compensation.
In this simulation case, we have achieved similar results to Case 1 with a slightly degraded transient response (see Figures 2 and 6). A possible explanation for it is that the controller parameters are fixed in this case and cannot contribute to the failure compensation and trajectory tracking as they do in Case 1. However, closed-loop stability and asymptotic state tracking are achieved even though only the allocation gains are adapted. The successful demonstration of failure compensation in Case 2 implies that the proposed adaptive allocation unit can be added to a control loop having any state feedback controller. The added adaptive allocation to the nonadaptive controller ensures closed-loop stability and asymptotic state tracking despite uncertain actuator failures.
2.3.2. NASA Generic Transport Model
In this section, we apply the control allocation strategy to the NASA Generic Transport Model (GTM). The NASA GTM is a high-fidelity model of the NASA AirSTAR UAV testbed [16, 17]. The purpose of this example is to show that this adaptive scheme, with the grouping of actuators having different physical functions, can be applied to the nonlinear plant to achieve closed-loop stability and asymptotic tracking.
LTI Model
For this simulation study, we trim and linearize the GTM at a wings-level flight for an aerodynamic speed of 92.09 knots. The same states and controls of (14) are used.
Flight Conditions
As in the previous example, the aircraft is commanded to turn right from the initial wings-level horizontal flight. The turn starts at 10 seconds and at steady state the heading angle will increase 60 degrees.
Actuator Failure
We let the left aileron lose 90% of its effectiveness at 12 seconds. The failure magnitude and its onset time instant are unknown to the controller. The control objective is for the aircraft to achieve an accurate turn in the presence of the failure.
Simulation Results
The simulation results are shown in Figures 9β14. Figure 9 shows the relevant states of the reference model and of the plant. The states track the reference trajectories asymptotically in spite of the disturbance caused by the failure. The yaw angle is shown to reach 60 degrees accurately. This accurate turning is also shown in Figure 11 by the ground track of the aircraft.
The longitudinal states are shown in Figure 10. There are fluctuations in the longitudinal states since they are not controlled by aileron and rudder.
Figures 12 and 13 show the time history of the virtual control signal, allocated control signals, and actual aileron and rudder deflections. The discontinuity in Figure 13 at the top is a consequence of failure.
Figure 14 shows the control allocation gains and controller parameters. The parameters adjust autonomously after the failure occurs. Note that the allocation gains start to update at the beginning of the turn at seconds, before the failure occurs. The reason for this phenomenon is that the allocation gains are improving the tracking performance beyond of what the adaptive gains can do alone.
3. Adaptive Control Allocation Design for Constant Failures
3.1. Problem Formulation
When constant failures occur, the control signal can be rewritten as [11] where is the failure vector whose elements are unknown constants, and represents the failure pattern, which is defined as with if the th actuator has failed, that is, , and otherwise. The failures are assumed to occur instantaneously, that is, are piecewise constant function of time. An example of such actuator failures is when a control surface (such as the rudder or an aileron) is stuck at some unknown fixed angle at an unknown time instant. This type of failures could be caused by failed hydraulic systems or mechanical linkages.
The plant dynamics can then be rewritten as The constant failure introduces an uncertain disturbance that needs to be accommodated for. The control objective for this adaptive control allocation scheme is to design to guarantee closed-loop stability and asymptotic state tracking when uncertain constant failures occur.
For adaptive control of constant actuator failures, sufficient built-in actuation redundancy is required. The redundancy condition is described in the following assumption.
Assumption 2. The rank of matrix satisfies that , and there is at least one operable actuator in the system.
The rank condition characterizes the redundancy of actuation which is necessary for a successful constant failure compensation. This rank condition suggests that the system remains controllable after a failure, and the effect of the constant failure can be properly matched and canceled by the allocated control signals through other columns of . Based on this condition, there can be up to constant actuator failures at any given time.
3.1.1. Nominal Controller
Consider the nominal controller structure where and . When there is no failure in the system, , , and are chosen as in (6), and is set to be zero. In this way, the controller ensures the match between the reference model and the nominal plant without failures. Similar to the previous section, we also define which is known in advance for controller design.
Next we will show that the controller in (23) attains model matching when failures occur. When there are failures in the system, cannot generally be zero, and a new set of allocation gains, denoted as , may be needed. From (22) and (23) we obtain We assume that at most actuators can fail with so that there is at least one operable actuator left. Define an index set for failed actuators as such that for any . Then can be expressed as where is the th column of and is the th element of .
Based on the rank condition in Assumption 2, we know that the columns of are linearly dependent, that is, for any two columns of , and , where is a constant scalar. Thus we know that the vector , which is the linear combination of all columns of , is also parallel to any column in . So for each column in , , we can find a scalar satisfying . Therefore (25) can be expressed as Ifββ , are chosen such that then we may obtain One possible choice for , is Equation (28) indicates that, under constant failures, the plant model condition in (6) can still be satisfied. Note that for the system without failures which implies that Comparing (27) and (31), we can see that is generally different from .
For , we can also get
With (28) and (32), (24) can be expressed as By choosing , we have , and (33) can be reduced to Therefore when failures are present, a nominal controller can always be found, with and specified in (6), characterized in (27), and ensures that the closed-loop system is stable under constant failures, and the state converges to the desired state in (4) exponentially.
3.2. Adaptive Control Allocation Design
3.2.1. Adaptive Controller
Due to the uncertain nature of the failures, the controller parameters must be adjusted. Consider the adaptive control allocation scheme where , , and are the estimates of , , and in (23). The signal . With the adaptive controller in (35) and the plant dynamics in (22), the closed-loop system is
3.2.2. Error Dynamics
For this adaptive control scheme design, we define , and (36) becomes where .
With (28), in (37) becomes With (38), (37), and the plant model matching condition in (6), we have From the closed-loop dynamics in (39) and the reference model in (4), we obtain the error dynamics
3.2.3. Adaptive Laws
From the error dynamics in (40), the following adaptive laws are derived: where is the th column of , and are adaptive gains.
The following theorem summarizes the properties of the adaptive control allocation scheme and the proof is provided in the Appendix:
Theorem 3. The adaptive control allocation scheme in (35) with the adaptive laws in (41) and (42) applied to the plant in (22) in the presence of constant failures guarantees that all closed-loop signals are bounded and .
3.3. Example
3.3.1. Linear Plant
Consider the longitudinal LTI model of the NASA GTM given by where the state includes the true airspeed (ft/s), angle of attack (rad), pitch rate (rad/s), and pitch angle (rad). The control inputs are the deflections of the four elevator segments: left outboard elevator , left inboard elevator , right outboard elevator , and right inboard elevator (deg). The system matrices and are Obviously, . For the simulation study, we will include the four elevator surfaces into one group, for which an elevator control signal will be designed and allocated.
Nominal Parameters
The nominal allocation gain is chosen as and so the deflection of the four segments will be the same if no failure occurs. The nominal controller is designed using the LQR approach for . The resulting gains are
Reference Model
Similar to the simulation study in Section 2, the reference model is chosen as the closed-loop dynamics of the LQR controller, that is,
The reference input to the reference model is chosen as for , which leads to a reference trajectory with steady-state values
whose physical meaning is that the aircraft speed is increased by ft/s; its angle of attack is reduced by 0.0139 rad; and its pitch angle is reduced by 0.0110 rad.
Actuator Failure
The left outboard elevator is stuck at β5 degrees after 1 second, that is,
where second. The signal is the output of the left outboard elevator. For the elevator does not respond to the elevator input .
Simulation Results
The results are shown in Figures 15 and 16. From Figure 15, we can see that the plant state tracks the reference state after failure. Figure 16 shows the designed elevator signal, elevator inputs, and elevator outputs. The failure occurs at second and the other elevators can be seen to accommodate the failure with the adaptation.
3.3.2. NASA Generic Transport Model
Here we apply the adaptive control scheme to the nonlinear NASA GTM.
LTI Model for Controller Design
For adaptive control design, we consider a LTI model for a wings levelled flight having a 3βdeg angle of attack at trim. Similar to the linear simulation study, we study the compensation for constant elevator failures and will consider multiple elevator failures in which both the lateral and longitudinal are active. The state and control vectors are given by
where , , , and are the four elevator segments, and are the two engine throttles, and are left and right aileron segments, and and are upper and lower rudder segments. The actuators will be grouped into elevator, engine, aileron, and rudder groups. A virtual control signal is designed for each group and allocated to its members adaptively. The design is based on that in Section 3.2 and is similar to that in the linear simulation study. We include lateral states and lateral actuators to regulate the disturbance of the elevator failures propagated to the lateral dynamics.
Flight Conditions
A set of commands that aim to make the aircraft climb at 4-degree pitch angle is applied at 5 seconds. The nominal parameters and reference inputs are obtained as in the linear simulation example.
Actuator Failures
The right outboard elevator is locked at 10 degrees at 10 seconds and the right inboard elevator at 5 degrees at 20 seconds. The control objective is to maintain the climbing flight in the presence of these failures.
The simulation results are shown in Figures 17β23. Figure 17 shows the time history of the longitudinal states and reference model states. It can be seen that the tracking of the desired longitudinal attitude is accurately achieved.
The lateral states are shown in Figure 18. Some disturbances can be observed after the occurrence of asymmetric elevator failures. These disturbances are regulated by the ailerons and asymptotic tracking of the lateral states can be also achieved.
Figure 19 shows the flight trajectory, ground track, and altitude of the aircraft. From the ground track plot, we can see the effect of asymmetric failure on the lateral dynamics. The deviation is corrected by the lateral actuators. Figure 20 shows the lumped elevator signal, allocated elevator signals, and the actual elevator deflections. The elevator failures appear as constant (step signals) on the lower plot, and the designed and allocated elevator signals are shown to accommodate for the failures after their occurrence. The input signals and outputs of other actuators are shown in Figure 21. Note the actuation of the aileron and rudder required to compensate for the asymmetric failure. The time history of the control allocation gains and some selected adaptive parameters are shown in Figures 22 and 23. It can be seen that the allocation gains and controller parameters are updated autonomously to ensure the desired flight.
(a)
(b)
(c)
(d)
(e)
(f)
(a)
(b)
(c)
(d)
4. Conclusions
A novel adaptive control allocation framework is proposed herein. The adaptive allocation scheme includes an adaptive control signal and a control allocation unit with adaptively updated allocation gains. Two adaptive control allocation algorithms have been proposed for the compensation of uncertain failures. The proposed algorithms have been shown to guarantee closed-loop stability and asymptotic state tracking. It has also been shown that the proposed adaptive control allocation framework reduces the controller complexity with proper grouping of the actuators. In this framework, the control signal to be adaptively allocated can be actuated by nonadaptive controllers. The simulation results demonstrate the performance of the proposed algorithms and their applicability to aircraft flight control. Some future research topics in this direction include the extension of the adaptive control allocation framework to systems with multiple groups of actuators and the strict enforcement of a pure allocation, that is, exactly enforcing the designed control signal with .
Appendix
Proof of Theorem 1. When a failure occurs, the control effectiveness matrix has a discontinuity. It would lead to a finite jump in as well, which could result in a a finite jump in the error dynamics. Let us assume that there are failures occurring in the system, and the actuator failures occur at time instants , with , . For the closed-loop stability and state tracking analysis, we choose the following Lyapunov-like function: for each time interval , with and . is thus discontinuous with finite jumps at , . Taking the time derivative of and substituting the adaptive laws in (11) and (12) into the result for each , we obtainβ Thus we can conclude that for each , , is bounded. Since only has finite jumps at , , we can conclude that is bounded for , and , , , , , , and . Integrating both sides of (A.2), we can obtain For intervals: , , , , and , (A.3) holds. Summing both sides of (A.3) for , we obtain because the jumps are finite and the number of jumps is also finite. Thus we have . We can also conclude from (10) that . So from , and , we have .
Proof of Theorem 3. In Section 3.1, we have assumed that there are at most constant actuator failures and defined an index set for failed actuators as such that for all . Here we further assume that the failures occur at instants , with , with . The number of failure instants may be smaller than the total number of failures since multiple failures may happen at the same time. For the stability proof, we choose the following Lyapunov-like function
for each time interval , , with and . The time derivative in each time interval is
with the fact that . Following a similar approach to the stability analysis in Section 2, we can conclude that for any , , , , , , , . Since only includes with , we can only conclude the boundedness of and for . To show the boundedness of , , we note that for any
based on the adaptive law in (42). Note that all the columns of are linearly dependent based on the rank condition in Assumption 2. So we can have
where is the column of that corresponds to an arbitrary healthy actuator, that is, , and is a nonzero constant. Equation (A.7) can thus be expressed as
Since , has been proved to be bounded, we have , for .
We can further obtain that from (40). With and , we can have .
Acknowledgments
This work was supported by the NRA NNX08AC62A of the IRAC project of NASA. The authors would like to thank Drs. Suresh M. Joshi and Sean P. Kenny at the NASA Langley Research Center for their valuable comments.