Next Article in Journal
On the Optimization of a Multimodal Electromagnetic Vibration Energy Harvester Using Mode Localization and Nonlinear Dynamics
Previous Article in Journal
Torque Characteristics Analysis of a Magnetorheological Brake with Double Brake Disc
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Actuator Fault Tolerant Control of Variable Cycle Engine Using Sliding Mode Control Scheme

1
Jiangsu Province Key Laboratory of Aerospace Power System, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China
2
School of Mechanical Engineering and Automation, Fuzhou University, Fuzhou 350116, China
3
Centre for Propulsion Engineering, School of Aerospace, Transport, and Manufacturing, Cranfield University, Cranfield MK43 0AL, UK
*
Author to whom correspondence should be addressed.
Actuators 2021, 10(2), 24; https://doi.org/10.3390/act10020024
Submission received: 10 December 2020 / Revised: 16 January 2021 / Accepted: 20 January 2021 / Published: 27 January 2021
(This article belongs to the Section Aerospace Actuators)

Abstract

:
This paper presents a fault tolerant control (FTC) design for the actuator faults in a variable cycle engine (VCE). Ensured by the multiple variable geometries structure of VCE, the design is realized by distributing the control effort among the unfaulty actuators with the “functional redundancy” idea. The FTC design consists of two parts: the fault reconstruction part and the fault tolerant control part, which use a sliding mode observer (SMO) and a sliding mode control (SMC) scheme respectively. Considering the inaccuracy of the fault reconstruction result, the proposed design requires only inaccurate fault information. The stability of the closed-loop control system is proved and the existence condition for the proposed control law is analyzed. This work also reveals its relation to the sliding mode control allocation design and the adaptive SMC design. An application case is then studied for tolerating the loss of effectiveness fault of the nozzle area actuator. Results show that the FTC design is able to tolerate the fault and achieves the same control goal as in the fault-free situation. Finally, a hardware-in-the-loop test is carried out to verify the design in a real-time distributed control system, which demonstrates its use from the engineering perspective.

1. Introduction

Within the aviation community, all developments focus on ensuring and improving the required safety levels and reducing the risks that critical failures occur [1]. This is especially true for safety-critical systems like aircraft engines. As the “brain” of an aircraft engine, the control system takes on the tasks of control, monitoring and health management of the engine. However, major parts of the control system including sensors, actuators and the engine itself, shown in Figure 1, operate in harsh conditions, which accelerates the occurrences of faults. These faults may lead to catastrophic events with significant costs, both in terms of economy and human lives. Though in most situations the occurrences of faults in the systems cannot be prevented, some actions can still be taken to prevent the disasters or, at least to minimize the severity. A way to meet this requirement is by means of a fault tolerant control (FTC) design, which aims to maintain the overall system stability and acceptable performance in the event of faults/failures [1,2]. So far, most FTC designs for aircraft engines focus on the diagnosis and reconfiguration methods of sensor faults. Rausch et al. [3] present a model-based fault detection scheme using sensor residuals from an extended Kalman filter and an online fault accommodation approach via suitable control adjustments which are obtained through off-line optimization for recovery of stall margins and thrust. Nyulászi et al. [4] present the design of the diagnostic and backup system of sensors which uses a voting method and the analytical redundancy provided by polynomial models and neural networks. Huang [5] uses an auto-associative neural network (AANN) to construct the analytical redundancy of sensors, ensuring the closed-loop control reliability of an aircraft engine. Other researches deal with the gas-path performance deterioration of aircraft engines. Litt et al. [6] use the relationship between the degradation level and the overshoot in engine temperature ratio to adapt the controller and compensate for a thrust response variation in an engine. Turso et al. [7] propose a Lyapunov Function-based robust control design to accommodate engine deterioration. It transforms the influence of deterioration into a scheduling parameter, thus constructing the plant uncertainty. Finally, the robust control problem is solved with Lyapunov theorems. Zaccaria et al. [8] propose an adaptive control scheme to compensate for the effects of engine degradation over the lifetime. The component degradation level is monitored by a diagnostic tool that estimates performance variations from the available measurements and then is used by an observer-based model predictive controller to maintain the safe operation of the engine.
In terms of actuator FTC design for aircraft engines, there are only a few pieces of research that address the diagnosis approaches [9,10] of the actuator faults. Very few studies can be found considering the toleration/accommodation problem. However, the actuator FTC methods are investigated in many other fields from the rocket engine to the multirotor helicopter. Musgrave et al. [11] combine a finite number of a priori designs into a single nonlinear multivariable controller for the accommodation of a class of critical faults defined for the space shuttle main engine. Zhang et al. [12] tolerate certain failures of primary aerodynamic actuators by utilizing alternative actuation systems, such as secondary aerodynamic surfaces and propulsion to maintain flight safety. Boskovic et al. [13] present a Fast Online Actuator Reconfiguration Enhancement (FLARE) system in which an adaptive controller is developed using estimates generated by the failure detection and identification (FDI) observers at every instant. These methods rely on the detection of faults/failures to a large extent and attempt to reconfigure the controller after isolating the faulty actuators. The other approaches are from the robust control perspective and the adaptive control perspective. Habibi et al. [14] present a Backstepping Nussbaum gain dynamic surface control for a class of input and state constrained systems with actuator faults that modelled as effectiveness loss and bias. Chen et al. [15] develop a Nussbaum gain adaptive control scheme to tackle the actuator saturation problem of the moving mass hypersonic vehicles (HSVs) in the reentry phase. Actually, the Nussbaum gain theory is suitable for uncertain systems with explicit nonlinear model and unknown control direction. The nonlinear model of an aircraft engine is a component level model (CLM) in general, which cannot be expressed explicitly and we usually use the CLM to derive the linear model around an operation point or the linear varying parameter model. Additionally, the unknown control direction problem is not apparent, which makes it inappropriate or overqualified for engine FTC design. The sliding mode control (SMC) theory attracts much attention for its simple control structure and good performance in dealing with various uncertainties. Ahmed Ali et al. [16] use the Super-Twisting algorithm, which is a higher-order SMC, to handle the additive and loss-of-effectiveness actuator faults for diesel engine air path. Trinh et al. [17] propose a fault estimation and fault-tolerant control strategy with two observers for a pump-controlled electro-hydraulic system (PCEHS) under the presence of internal leakage faults and an external loading force. The SMC-based FTC methods can be also connected with concepts like control allocation (CA), adaptive control, etc. Shin et al. [18] adopt an adaptive SMC technique to compensate for allocation scheme the effects of the disturbance generated by actuator faults. Edwards et al. [19,20] propose an online sliding mode control allocation scheme that handles faults or even total failure without reconfiguring the controller and also consider the effect of non-perfect fault reconstruction (FC). Wang et al. [21] combine the adaptive SMC method with the CA scheme for accommodating simultaneous actuator faults in a multirotor helicopter. However, despite the booming development of FTC designs in other areas, it has still seen little research and application in aircraft engines stemming from the fact that few engines are designed with redundant actuators.
As the leading candidate of next generation engine for advanced supersonic cruise aircraft, the variable cycle engine (VCE) [22,23] is able to provide good performance at both supersonic and subsonic speeds and appears to be economically and environmentally viable. All these advantages are by virtue of careful flow path arrangements resulting from the adjustment of unique critical components: the variable geometries [24,25]. This special structure of VCE makes the actuator fault tolerance possible since certain of the controlled variables can be adjusted by different variable geometries. This type of redundancy is called functional redundancy. Therefore, managing the actuator redundancy in VCE becomes the objective of the FTC design in this work.
In this paper, a fault tolerant control addressing the actuator faults of a variable cycle engine is proposed using a sliding mode control scheme. First, in Section 2, the structure of the actuator FTC design in this work is given, which consists of the fault reconstruction part and the fault tolerant control design part. In the fault reconstruction part, a sliding mode observer (SMO) is designed to reconstruct the actuator fault (effectiveness). Whereas in the FTC design part, a sliding mode-based FTC scheme is proposed which uses only the inaccurate estimated fault information. The attainability for a sliding motion is analyzed. The design is then connected with the sliding mode control allocation design and the adaptive SMC design. In Section 3, the functional redundancy in a VCE is revealed and the proposed FTC design is applied to tolerate the loss-of-effectiveness fault of the nozzle area actuator. In Section 4, a hardware-in-the-loop test is conducted to verify the proposed design in a real-time control system from the engineering perspective. Section 5 concludes with a few remarks.

2. Actuator Fault Tolerant Control Design

The structure of the actuator fault tolerant control design in this work is shown in Figure 2. With the engine outputs acquired by the sensors, the sliding mode observer detects and reconstructs the actuator fault/effectiveness, which is then sent to the sliding mode-based fault tolerant controller. The fault tolerant control design requires not necessarily the accurate estimated fault information and redistributes the control effort among the unfaulty actuators so that the same control goal is still achieved in the presence of the actuator fault.

2.1. Fault Reconstruction

Consider the following system state variable model (SVM):
x ˙ = A x + B F u y = C x
where x R n ,   u R m ,   y R p and each element of the diagonal matrix F models a change in the effectiveness of a particular actuator:
F = d i a g ( f 1 , f 2 f m ) , w h e r e   { f i = 1 ,   n o r m a l 0 < f i < 1 ,   p a r t i a l l y   f a i l f i = 0 ,   c o m p l e t e l y   f a i l
Note that when a lock-in-place fault happens to an actuator, it can no longer respond to the control signals. This situation implies a complete loss of effectiveness.
In the FTC design process, we usually hope to know the form and the extent of the actuator fault. It can be detected and reconstructed with corresponding sensors of the actuators and some observer-based methods. Here we give a sliding mode observer of Edwards-Spurgeon type [26,27], which has the following form:
x ^ ˙ = A x ^ + B u G l e y + G n w
where x ^ is the state estimate, y ^ = C x ^ is the output estimate, e y = y ^ y is the error between the output estimate and the real output, w represents a discontinuous switched component to induce a sliding motion, and G l , G n R n × p are appropriate gain matrices. Note that the Edwards-Spurgeon type observer requires that m p < n , this condition can be satisfied via appropriate adjustments such as reducing the dimension of the control variables.
Rewriting system (1) as
x ˙ = A x + B F u = A x + B u B F l o s s u y = C x
where F l o s s represents the effectiveness losses of the actuators.
Assume that r a n k   ( C B ) = m and invariant zeros of ( A , B F l o s s , C ) lie in the left half-space. Apply a coordinate transformation x T x to system (4) such that in this new coordinate system
x ˙ 1 = A 11 x 1 + A 12 x 2 + B 1 u x ˙ 2 = A 21 x 1 + A 22 x 2 + B 2 u B 2 F l o s s u y = x 2
where x 1 R n p , x 2 R p , and A 11 is a stable matrix. Consider an observer for system (5) with the following form:
x ^ ˙ 1 = A 11 x ^ 1 + A 12 x ^ 2 + B 1 u A 12 e y x ^ ˙ 2 = A 21 x ^ 1 + A 22 x ^ 2 + B 2 u ( A 22 A 22 s ) e y + w y ^ = x ^ 2
where A 22 s is a stable design matrix and the discontinuous switched component w is defined as:
w = { ρ 1 B 2 P 2 e y P 2 e y i f   e y 0 0 o t h e r w i s e
where the scalar ρ 1 and the symmetric positive definite matrix P 2 R p × p satisfy
ρ 1 > F l o s s u
P 2 A 22 s + A 22 s T P 2 = Q 2
where Q 2 = Q 2 T > 0 Define the state estimation errors as
e 1 = x ^ 1 x 1 e 2 = x ^ 2 x 2
then system (6) becomes
e ˙ 1 = A 11 e 1 e ˙ y = A 21 e 1 + A 22 s e y + w + B 2 F l o s s u
Similar to the analysis in the literature [26], we obtain the following theorem.
Theorem 1.
For system (11), a sliding motion on S : { e y = 0 } can be attained in finite time.
Proof of Theorem 1.
See Appendix A. □
With the observer (6), the gain matrices of the original observer can be obtained as:
G l = T 1 [ A 12 A 22 A 22 s ] ,   G n = T 1 [ 0 I p ]
So far, the observer has been designed. We can use it to reconstruct the fault information. During sliding motion, there is e ˙ y = 0 ,   e y = 0 ,   e 1 = 0 . Therefore, from Equation (11), there is
w e q B 2 F l o s s u
where w e q is called the equivalent output injection signal, which represents the average behavior of the discontinuous component w. An approach to recover the signal is to replace w with the continuous approximation
w δ = ρ 1 B 2 P 2 e y P 2 e y + δ
where δ is a small positive scalar. Finally, the effectiveness loss matrix F l o s s can be approximately calculated as:
F l o s s ( B 2 T B 2 ) 1 B 2 T w δ u T ( u u T ) 1
For simplicity, the instructed control signals u can be chosen to be constant values when we reconstruct the effectiveness losses.

2.2. Fault Tolerant Control

From the analysis in Section 2.1, it is known that the estimated fault information may not be accurate, so the actuator FTC method here should always take this message into consideration.
Rewriting F in (1) as
F = F ^ + F ˜
where F ^ is called the estimated effectiveness matrix and F ˜ describes its difference from the real effectiveness matrix F, called the residual effectiveness matrix, which is unknown.
To include the tracking ability, an integral action is taken by introducing additional states:
x r = ( r x )   d t
where r is the reference signal. So, the augmented SVM is obtained as:
x ˙ r = r x x ˙ = A x + B F ^ u + B F ˜ u
So far, we can carry out the sliding mode control design. Define the following switching function:
s = S 1 x r + S 2 x
Let S be the hyperplane defined by S : { x r R n , x R n | s = S 1 x r + S 2 x = 0 } . So there is x = S 2 1 S 1 x r on this surface. Substituting it into the first equation in (18), it gives
x ˙ r = S 2 1 S 1 x r + r
This equation implies that by carefully designing the matrices S 1 ,   S 2 with methods like linear quadratic regulator (LQR), eigenvalue assignment, anticipated control performance can be achieved. The selection of switching hyperplane/sliding surface is the first aspect of the control design. The second is the development of a control law that forces the closed-loop trajectories onto the surface/hyperplane in finite time [19], and this is guaranteed by a sufficient condition:
s T s ˙ < 0
Rewrite the derivative of the switching function:
s ˙ = S 1 x ˙ r + S 2 x ˙ = A s s + A x x r + S 1 r + S 2 B F ^ u + S 2 B F ˜ u
where A s = ( S 2 A S 1 ) S 2 1 , A x = ( S 2 A S 1 ) S 2 1 S 1 . It can be found that the control law u should include two parts, given by
u = u l + u n
where u l is the linear part which deals with the known information, and u n is the nonlinear part which deals with the unknown information. They can be defined as:
u l = F ^ 1 B * [ ( A s + Φ ) s A x x r S 1 r ] u n = ρ 2 F ^ 1 B * s s         f o r   s 0
where B * is the pseudo inverse of B , Φ is a symmetric positive definite matrix, ρ 2 is a varying scalar and S 2 is assumed to be an identity matrix without loss of generality. Note that if the actuators are fault-free or their faults are estimated properly, the nonlinear part can be ignored.
Theorem 2.
For system (18) with norm bounded residual matrix F ˜ , a sliding motion on S can be attained when applying the control law (24) with a positive ρ 2 satisfying
ρ 2 = η 0 B 1 η 0 B F ^ 1 B * u l
where F ˜ η 0 .
Proof of Theorem 2.
Substituting the control law into Equation (22), and checking the condition (21), there is
s T s ˙ = s T [ Φ s + ( B F ^ + B F ˜ ) u n + B F ˜ u l ] s T Φ s + s ( ρ 2 + ρ 2 B F ˜ F ^ 1 B * + B F ˜ u l ) s T Φ s + s ( η 0 B 1 η 0 B F ^ 1 B * u l ( 1 η 0 B F ^ 1 B * ) + η 0 B u l ) s T Φ s
The proof is completed. □
Note that we use the condition ρ 2 > 0 in the inequality magnification process. It implies that F ˜ should satisfy
F ˜ < 1 B F ^ 1 B *
In most cases, this inequality can be ensured with appropriate coordinate transformations. In fact, for system (18), a sliding motion on S can be attained if and only if ρ 2 > 0 . The proof is conducted below:
Let ρ 2 < 0 , there is
s T s ˙ = s T Φ s ρ 2 s + s T B F ˜ u λ max s 2 ρ 2 s s B F ˜ u s ( λ max s ρ 2 η 0 B u ) .
When the switching function s lies in the interval
s < ρ 2 η 0 B u λ max ,
s T s ˙ > 0 for any ρ 2 < 0 . This inequality is well-defined when ρ 2 B F ˜ u > 0 , i.e., when
u < ρ 2 η 0 B .
Consider a special point, which is in the initial steady state, it gives
u = F ^ 1 B * S 1 r
Since the control law should be applied to any reference r, u can be any value. Therefore, the condition (30) is also well-defined. In a word, for any ρ 2 < 0 , s T s ˙ > 0 always holds when s satisfies (29), resulting in the divergence of the system. Additionally, there is no solution for ρ 2 = 0 , which is self-evident. Moreover, the feasibility for ρ 2 > 0 is proved in Theorem 2. This completed the proof.
Provided that the control law (24) is obtained, we can still adjust the control variables by changing the pseudo inverse B * because it is not unique. This is concerned with the idea of “control allocation (CA)” [20,28] which introduces a “virtual control” v, defined as:
v = B F ^ u
where v R k and can be regarded as the total control effect to be generated. With this said, the real control can be obtained by allocating the total control effort among all these actuators. One way is given by solving the following LQR optimization problem:
min   u T W u s . t .   B F ^ u = v
where W = W T < 0 and can be decided by the fault information of the actuators. Different control processes can be achieved by adjusting its elements. The solution is
u = F ^ 1 B * v
where
B * = W B T ( B W B T ) 1
There are many ways to get the virtual control v (like LQR, shown in Appendix B), also the sliding mode control way. In actuality, there is no difference between the control allocation-based SMC case and the direct SMC case here. Applying the same SMC design process to the CA case, the virtual control v can be obtained as:
v = v l + v n v l = ( A s + Φ ) s A x x r S 1 r v n = ρ s s         f o r   s 0
where
ρ = η 0 B 1 η 0 B F ^ 1 B * F ^ 1 B * v l
Theorem 3.
Assume that B * is chosen to be the same for the CA case and the non-CA case, then the following holds:
(1) 
If one of the two cases has a solution, the other one will also.
(2) 
The two cases have the same control effect on the system.
Proof of Theorem 3.
For statement (18), either of the cases has a solution when condition (27) is satisfied. If the same B * is chosen, the existence condition is also the same. For statement (2), with the same B * ,
u = u l + u n = F ^ 1 B * { [ ( A s + Φ ) s A x x r S 1 r ] η 0 B 1 η 0 B F ^ 1 B * u l s s } = F ^ 1 B * ( v l η 0 B 1 η 0 B F ^ 1 B * F ^ 1 B * v l s s ) = F ^ 1 B * ( v l + v n ) = F ^ 1 B * v .
Substituting it into the system SVM, the two cases have exactly the same form. □
The above SMC design considers the FTC problem with the norm-bounded property of the effectiveness matrix, which is from the robust control point of view. It can also be considered from the adaptive control view. To differentiate these two designs, we call the former one the robust SMC design (or simply SMC design) and the latter one the adaptive SMC design (or ASMC design).
Theorem 4.
For system (18), a sliding motion on S can be attained when applying the following control law:
u = F ^ 1 B * [ ( A s + Φ ) s A x x r S 1 r ]
where F ^ is adaptive and satisfies
F ^ ˙ = γ ( s T B ) T u T
where γ is a constant.
Proof of Theorem 4.
Consider this Lyapunov candidate function:
V = 1 2 s T s + 1 2 γ t r ( F ˜ T F ˜ )
Differentiating it and plugging (22) in:
V ˙ = s T ( A s s + A x x r + B ( F ˜ + F ^ ) u + S 1 r ) + 1 2 γ F t r ( F ˜ T ( F ˙ F ^ ˙ ) ) = s T Φ s + s T B F ˜ u t r ( F ˜ T ( s T B ) T u T ) = s T Φ s + s T B F ˜ u u T ( s T B F ˜ ) T = s T Φ s 0
which means V ˙ is semi-positive definite. In addition, it is obvious that V has lower bounds. According to Barbalat’s lemma [29], there is
lim t V ˙ ( s , t ) = 0
such that
lim t s = 0
Compared to the robust SMC design, the adaptive control law in (39) has the same form as the linear part of the control law in (24). To handle the unknown information B F ˜ u , the adaptive design adds another term in the Lyapunov candidate function which tries to compensate for this excess part. It makes the estimated effectiveness matrix adaptive. The robust design uses the norm-bounded property of the unknown information and tries to offset it with the nonlinear part of the control law. It makes the varying coefficient of the nonlinear part adaptive.

3. FTC Application in VCE

The research object here is a double-bypass variable cycle engine, shown in Figure 3 [30]. It operates in two different modes: the double bypass mode and the single bypass mode. The double bypass mode usually works during take-off, descent and subsonic cruise while the single bypass mode works during acceleration, climb-out, and supersonic cruise. VCE incorporates several actuators/variable geometries such as the mode selector valve (MSV), the front and rear variable area bypass injectors (FVABI and RVABI), the inlet guide vanes (IGV) of fan and core driven fan stage (CDFS), the exhaust nozzle throat area and exit area, etc. VCE uses these geometries to alter to different operation modes. For example, in the double bypass mode, the MSV fully opens, permitting a portion of the fan airstream to bypass the CDFS through the outer bypass-duct and the rest to go through the CDFS. The CDFS IGV is closed to reduce the core flow and increase the overall bypass ratio. The FVABI stays in an intermediate position to obtain the requisite static pressure balance between inner and outer bypass flows. The RVABI and exhaust nozzle area adjusts the bypass ratio and fan backpressure for best fuel consumption on subsonic cruises, and the exhaust velocity for noise suppression on takeoff.
Generally, the control plan in the intermediate state for a turbo-fan engine could be using the fuel flow rate W f and the nozzle throat area A 8 to control the rotational speed of high-pressure spool n h and the pressure ratio across the turbines π t , since n h manifests the mechanical load and heat load of the engine and π t influences the operation point of the engine. Suppose that a lock-in-place fault happens to the A 8 actuator, there is no way to control both n h and π t with just one control variable, which is the fuel flow. Thanks to the multiple variable geometries in VCE, it implies that a particular controlled variable can be adjusted by more than one control variable. This type of redundancy can be called functional redundancy. Therefore, we use the FVABI (which adjusts the inner bypass area, A 125 ) to achieve functional redundancy. So, the final control plan will be using W f , A 8 and A 125 to control n h and π t .
Linearizing the component level model about the design point in the double bypass mode ( n h = 100 % , n l = 100 % , A 8 = 0.09712   m 2 , A 125 = 0.01370   m 2 ) with a least square method, the linear state variable model (SVM) is obtained:
x ˙ = [ 6.746 0.306 0.128 6.594 ] x + [ 1.629 1.925 0.608 0.818 2.331 0.857 ] u y = [ 1 0 0 1 ] x
where x = [ Δ n h Δ π t ] are variations of [ n h π t ] , u = [ Δ W f b Δ A 8 Δ A 125 ] are variations of the control variables, and the outputs y are chosen to be equal to the states for simplicity. They are normalized by the design (nominal) values.
First, we try to detect and reconstruct the actuator fault, which is the loss of effectiveness here. Taking the actuator of nozzle throat area A 8 for example, the faulty system is selected from system (45) so as to satisfy mp < n, which gives:
[ Δ n ˙ h Δ π ˙ t ] = [ 6.746 0.306 0.128 6.594 ] [ Δ n h Δ π t ] + [ 1.925 2.331 ] f A 8 Δ A 8 Δ n h = [ 0 1 ] [ Δ n h Δ π t ]
where f A 8 represents the change in the effectiveness of A 8 actuator.
Selecting the coordinate transformation matrix T as
T = [ 1 0.826 0 1 ]
The state-space matrices of the new system become
A = [ 6.852 11.410 0.128 6.700 ] ,   B = [ 0 2.331 ] ,   C = [ 0 1 ]
It is obvious that A 11 = 6.852 , which is stable. Let A 22 s = 1 and Q 2 = 1 , the gain matrices of the observer are finally obtained as:
G l = [ 5.051 7.700 ] ,   G n = [ 0.826 1 ]
Let ρ = 4 , δ = 0.0008 and assume that f A 8 changes within 0~1, the fault reconstruction (FC) result is displayed in Figure 4. As the red dashed line shows, the observer can roughly reproduce the effectiveness change. However, there is still an error due to the approximation of the equivalent output injection signal.
Next, we can verify the fault tolerant ability of the proposed design. Assume that the SMO estimates the effectiveness matrix to be F ^ = d i a g ( 1 ,   0.5 ,   1 ) , which means that the A 8 actuator still has part of the control effectiveness. Applying the following control instruction: hold n h constant and increase π t by 0.1 (a normalized value of 1.85%), the responses of the closed-loop control system under different effectiveness loss conditions ranging from 0~100% are shown in Figure 5 and Figure 6. It can be seen that the FTC design achieves the same control goal in all the faulty situations, even when the A 8 actuator totally fails to work. In this case, A 8 no longer participates in the control process and the control effect is redistributed to the remaining unfaulty actuators. From Figure 5, it is also seen that as the loss level of effectiveness increases, the controlled variables require more time to settle down. This is due to the discrepancy between the expected control signals and the real control signals. Figure 7 displays the expected A 8 that are calculated with the FTC law under all faulty conditions. When the actuator fails, it can no longer complete the expected control task that the controller gives, so the controller has to keep on making adjustments until the control goal is satisfied. The discrepancy becomes bigger as the actuator deteriorates. Usually, it will also lead to a larger variation of the remaining control variables. Similarly, the FTC results can be verified with adaptive SMC design, shown in Figure 8 and Figure 9, which will not be discussed any further here.
The fault estimation information can have an impact on the fault tolerant control result. Assume the real effectiveness matrix to be F = d i a g ( 1 ,   0.5 ,   1 ) , Figure 10a shows the response of controlled variables in different fault reconstruction (FC) situations of A 8 . It can be seen that the accurate reconstruction situation produces the minimum variation of the high-pressure spool speed, shown in the black line. This can be explained by the switching function defined in (19). Given the fact that the nonlinear part of the SMC law ( u n ) takes less part in this simulation compared to the linear part ( u l ), so when the reconstruction information is accurate, the derivative of the switching function can be approximated to be:
s ˙ Φ s
This implies a good sliding performance of the system, which can be demonstrated in Figure 11. As is seen, the value of the switching function in the black line roughly equals zero.

4. Hardware-in-The-Loop Test

The hardware-in-the-loop (HIL) test provides an effective platform by testing actual components of a system along with virtual computer-based simulation models in real time [31,32]. By this means, the test quality is enhanced, the design cycle is shortened and the reliability of the tested components is improved. Here, the “actual component” refers to a distributed control system while the “virtual model” is the component level model of a variable cycle engine. As shown in Figure 12, the distributed control system (DCS) is made up of several intelligent nodes, including the data acquisition nodes, the actuator control nodes, and a core control node. Each of them is an embedded system based on Zynq and communicates with each other through the TTP/C (Time-Triggered Protocol/class C) bus. The VCE model runs on NI-myRIO in real time. The interface simulator can provide an electrical emulation of real sensors’ signals such as the thermal-couple signals of temperature, the piezo-resistance signals of pressure, the linear variable differential transformer (LVDT) signals of actuator displacements and so on. Not merely, it conditions the driving electricity which is produced by the actuator nodes. The operation principle of the platform is as follows: myRIO delivers the engine outputs to the interface simulator, producing relevant sensors’ signals. These signals are collected by corresponding data acquisition nodes in the distributed control system and transmitted to the core control node. The core control node receives commands from the monitor and computes the desired control variables, which are transmitted to actuator control nodes to calculate the driving current. The current is then acquired by the interface simulator, driving the corresponding actuator (which is a model in fact) in myRIO. As a result, the operation of the engine gets updated.
Here we verify the FTC of the proposed design and this is performed by comparing the control results between the fault-free and faulty situations. First, assume that the system is fault-free. At 2 s, the following control instruction is applied: hold n h constant and increase π t by 1.85%, we can see in Figure 13a that π t reaches the set value as expected and remain steady after 1.5 s. The control variables are depicted in Figure 13b where W f finally drops by 1.71%, A 8 increases by 3.65% and A 125 reduces by 5.46% in the steady state. Next, suppose that a lock-in-place fault happens to the A 8 actuator, which means F = d i a g ( 1 ,   0 ,   1 ) , and the fault reconstruction method gives an inaccurate estimation, which is F ^ = d i a g ( 1 ,   0.4 ,   1 ) . As is seen in Figure 13a, the control goal is realized as well. In the steady state, W f increases by 4.78%, A 125 drops by 10.57% and A 8 does not change at all. Compared to the simulation result in Section 3, the curves in the HIL test look rougher. The main reason is that the controlled object here is the component level model of VCE, which possesses more nonlinear characteristics. Moreover, the HIL test involves many characteristics of the real control system, including the actuating property of actuators, the inertia of sensors, the noise of all the electronical components, the stability of the control time cycle, etc. Similar results can be attained with the adaptive method, shown in Figure 14.
Note that although the FTC case reaches the same control goal as the fault-free case, it does not mean that the engine operating conditions in the two cases are totally the same. Figure 15 shows the difference of low-pressure spool speeds between the fault-free and lock-in-place fault condition, and this owes to the difference of the control variables in these two situations.

5. Conclusions

In this paper, a fault tolerant control design addressing the actuator faults of a variable cycle engine is proposed with the sliding mode control scheme. The basic idea of the design is to explore and make use of the functional redundancy brought by the multiple variable geometries in the VCE. The proposed actuator FTC design in this work is divided into two parts: the fault reconstruction part and the fault tolerant control part. In the fault reconstruction part, a sliding mode observer is designed to detect and reconstruct the effectiveness loss of the actuator. On the other hand, in the FTC part, it provides a detailed analysis of an SMC-based FTC scheme, which gives consideration to the inaccurate estimation of the effectiveness loss. Additionally, the existence condition for the proposed FTC design is analyzed. Moreover, the SMC-based FTC design is connected with the control allocation concept and adaptive control concept, which produces the SM-CA design and adaptive SMC design. Afterward, this paper gives a new control plan for the intermediate operation of VCE which uses the FVABI to achieve functional redundancy. On this basis, simulations are carried out to verify the FTC result of the proposed design. First, the fault reconstruction ability of the SMO is verified. Results show that it can roughly reproduce the effectiveness loss of the nozzle throat area actuator. However, there exists an error due to the approximation of the equivalent output injection signal. Second, the fault tolerant ability of the proposed FTC design is verified. Results show that it achieves the same control goal in all the effectiveness loss situations. Similar results can be attained with the ASMC design. Additionally, this paper studies the impact of the fault estimation accuracy on the FTC result and shows that an accurate estimation can lead to a good sliding motion of the system. Finally, an HIL test is conducted to verify the proposed design in a real-time DCS. Results show that the FTC design successfully redistributes the control effort among the remaining unfaulty actuators, and achieves the same control goal as the fault-free situation. This demonstrates its application in the engineering aspect.
In the current work, it only gives a simple trail for the management of the functional redundancy in the VCE. It neither discusses the rationality of the FTC control plan nor talks about more possibilities for handling the redundancy. Another problem that the control system cares about is that whether the control range can be as large as the original fault-free situation when the FTC design is applied. These questions remain to be solved in the future work.

Author Contributions

Conceptualization, T.Z.; Data curation, X.Z.; Formal analysis, Y.Y., Z.L., Z.Z. and X.Z.; Investigation, Y.Y.; Methodology, Y.Y., Z.L. and Z.Z.; Project administration, T.Z.; Resources, Z.L.; Software, Z.Z.; Supervision, T.Z.; Validation, Y.Y.; Writing-original draft, Y.Y.; Writing–review & editing, X.Z. All authors have read and agreed to the published version of the manuscript.

Funding

This work was supported by the National Natural Science Foundation of China (Grant number: 51976089).

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

The data presented in this study are available on request from the corresponding author.

Conflicts of Interest

The authors declare no conflict of interest.

Appendix A

Proof of Theorem 1.
Define
Q ˜ = A 21 T P 2 Q 2 1 P 2 A 21 + Q 1
where Q 1 = Q 1 T > 0 , Q ˜ = Q ˜ T > 0 and Q ˜ satisfies
P 1 A 11 + A 11 T P 1 = Q ˜
where P 1 = P 1 T > 0 .
Consider the Lyapunov candidate function:
V ( e 1 , e y ) = e 1 T P 1 e 1 + e y T P 2 e y
Taking the derivative
V ˙ = e 1 T Q ˜ e 1 + e 1 T A 21 T P 2 e y + e y T P 2 A 21 e 1 e y T Q 2 e y + 2 e y T P 2 w + 2 e y T P 2 B 2 F l o s s u
Noting that
( e y Q 2 1 P 2 A 21 e 1 ) T Q 2 ( e y Q 2 1 P 2 A 21 e 1 ) e y T Q 2 e y + e 1 T A 21 T P 2 Q 2 1 P 2 A 21 e 1 e 1 T A 21 T P 2 e y e y T P 2 A 21 e 1
Substituting it into (54) and denoting e y Q 2 1 P 2 A 21 e 1 as e ˜ y , there is
V ˙ = e 1 T Q ˜ e 1 + e 1 T A 21 T P 2 Q 2 1 P 2 A 21 e 1 e ˜ y T Q 2 e ˜ y + 2 e y T P 2 w + 2 e y T P 2 B 2 F l o s s u = e 1 T Q 1 e 1 e ˜ y T Q 2 e ˜ y + 2 e y T P 2 w + 2 e y T P 2 B 2 F l o s s u = e 1 T Q 1 e 1 e ˜ y T Q 2 e ˜ y 2 ρ 1 B 2 e y T P 2 P 2 e y P 2 e y + 2 e y T P 2 B 2 F l o s s u e 1 T Q 1 e 1 e ˜ y T Q 2 e ˜ y 2 ρ 1 B 2 e y T P 2 + 2 e y T P 2 B 2 F l o s s u e 1 T Q 1 e 1 e ˜ y T Q 2 e ˜ y < 0     f o r   ( e 1 , e y ) 0
Therefore, the error system (11) is quadratically stable. The proof is completed. □

Appendix B

The LQR method determines the virtual control v by solving the following performance index
min J = 0 [ x T Q x + v T R v ] d t
where Q = Q T > 0 , R = R T > 0 . Then there
v = R 1 P x
where P is obtained by solving the algebraic Riccati equation below:
A T P + P A P R 1 P + Q = 0

References

  1. Edwards, C.; Lombaerts, T.; Smaili, H. Fault Tolerant Flight Control. Lecture Notes in Control and Information Sciences; Springer: Berlin, Germany, 2010; Volume 399, 560p. [Google Scholar]
  2. Zhang, Y.; Jiang, J. Bibliographical review on reconfigurable fault-tolerant control systems. Annu. Rev. Control. 2008, 32, 229–252. [Google Scholar] [CrossRef]
  3. Rausch, R.; Viassolo, D.; Kumar, A.; Goebel, K.; Eklund, N.; Brunell, B.; Bonanni, P. Towards in-flight detection and accommodation of faults in aircraft engines. In Proceedings of the AIAA 1st Intelligent Systems Technical Conference, Chicago, IL, USA, 20–22 September 2004; p. 6463. [Google Scholar]
  4. Nyulászi, L.; Andoga, R.; Butka, P.; Főző, L.; Kovacs, R.; Moravec, T. Fault detection and isolation of an aircraft turbojet engine using a multi-sensor network and multiple model approach. Acta Polytech. Hung. 2018, 15, 189–209. [Google Scholar]
  5. Huang, X.H. Sensor fault diagnosis and reconstruction of engine control system based on auto-associative neural network. Chin. J. Aeronaut. 2004, 17, 23–27. [Google Scholar] [CrossRef] [Green Version]
  6. Litt, J.S.; Parker, K.I.; Chatterjee, S. Adaptive Gas Turbine Engine Control for Deterioration Compensation Due to Aging. NASA/TM-2003-212607. 2003. Available online: https://archive.org/details/nasa_techdoc_20040001041 (accessed on 10 December 2020).
  7. Turso, J.; Litt, J. Intelligent, Robust Control of Deteriorated Turbofan Engines via Linear Parameter Varing Quadratic Lyapunov Function Design. In Proceedings of the AIAA 1st Intelligent Systems Technical Conference, Chicago, IL, USA, 20–22 September 2004; pp. 678–691. [Google Scholar]
  8. Zaccaria, V.; Ferrari, M.L.; Kyprianidis, K. Adaptive Control of Microgas Turbine for Engine Degradation Compensation. J. Eng. Gas Turbines Power 2020, 142, 041012. [Google Scholar] [CrossRef]
  9. Kawatsu, K.; Tsutsumi, S.; Hirabayashi, M.; Sato, D. Model-based fault diagnostics in an electromechanical actuator of reusable liquid rocket engine. In Proceedings of the AIAA Scitech 2020 Forum, Orlando, FL, USA, 6–10 January 2020; p. 1624. [Google Scholar]
  10. Wang, R.; Liu, M.; Ma, Y. Fault estimation for aero-engine LPV systems based on LFT. Asian J. Control 2021, 23, 351–361. [Google Scholar] [CrossRef]
  11. Musgrave, J.L.; Guo, T.H.; Wong, E.; Duyar, A. Real-time accommodation of actuator faults on a reusable rocket engine. IEEE Trans. Control. Syst. Technol. 1997, 5, 100–109. [Google Scholar] [CrossRef]
  12. Zhang, X.; Liu, Y.; Rysdyk, R.; Kwan, C.; Xu, R. An intelligent hierarchical approach to actuator fault diagnosis and accommodation. In Proceedings of the 2006 IEEE Aerospace Conference, Big Sky, MT, USA, 4–11 March 2006. [Google Scholar]
  13. Boskovic, J.D.; Jackson, J.A.; Mehra, R.K.; Nguyen, N.T. Multiple-model adaptive fault-tolerant control of a planetary lander. J. Guid. Control Dyn. 2009, 32, 1812–1826. [Google Scholar] [CrossRef]
  14. Habibi, H.; Nohooji, H.R.; Howard, I. Backstepping Nussbaum gain dynamic surface control for a class of input and state constrained systems with actuator faults. Inf. Sci. 2019, 482, 27–46. [Google Scholar] [CrossRef]
  15. Chen, H.; Zhou, J.; Zhou, M.; Zhao, B. Nussbaum gain adaptive control scheme for moving mass reentry hypersonic vehicle with actuator saturation. Aerosp. Sci. Technol. 2019, 91, 357–371. [Google Scholar] [CrossRef]
  16. Ahmed Ali, S.; Guermouche, M.; Langlois, N. Fault-tolerant control based super-twisting algorithm for the diesel engine air path subject to loss-of-effectiveness and additive actuator faults. Appl. Math. Model. 2015, 39, 4309–4329. [Google Scholar] [CrossRef]
  17. Trinh, H.A.; Truong, H.V.A.; Ahn, K.K. Fault Estimation and Fault-Tolerant Control for the Pump-Controlled Electrohydraulic System. Actuators 2020, 9, 132. [Google Scholar] [CrossRef]
  18. Shin, D.; Moon, G.; Kim, Y. Design of reconfigurable flight control system using adaptive sliding mode control: Actuator fault. Proc. Inst. Mech. Eng. Part G J. Aerosp. Eng. 2005, 219, 321–328. [Google Scholar] [CrossRef]
  19. Alwi, H.; Edwards, C. Fault tolerant control using sliding modes with on-line control allocation. Automatica 2008, 44, 1859–1866. [Google Scholar] [CrossRef] [Green Version]
  20. Chen, L.; Edwards, C.; Alwi, H.; Sato, M. Flight evaluation of a sliding mode online control allocation scheme for fault tolerant control. Automatica 2020, 114, 108829. [Google Scholar] [CrossRef]
  21. Wang, B.; Zhang, Y. An adaptive fault-tolerant sliding mode control allocation scheme for multirotor helicopter subject to simultaneous actuator faults. IEEE Trans. Ind. Electron. 2018, 65, 4227–4236. [Google Scholar] [CrossRef] [Green Version]
  22. Patel, H.R.; Wilson, D. Parametric Cycle Analysis of Adaptive Cycle Engine. In Proceedings of the 2018 Joint Propulsion Conference, Cincinnati, OH, USA, 9–11 July 2018; p. 4521. [Google Scholar]
  23. Palman, M.; Leizeronok, B.; Cukurel, B. Mission Analysis and Operational Optimization of Adaptive Cycle Microturbofan Engine in Surveillance and Firefighting Scenarios. J. Eng. Gas Turbines Power 2019, 141, 011010. [Google Scholar] [CrossRef] [Green Version]
  24. Bringhenti, C.; Barbosa, J.R. Methodology for gas turbine performance improvement using variable-geometry compressors and turbines. Proc. Inst. Mech. Eng. Part A J. Power Energy 2004, 218, 541–549. [Google Scholar] [CrossRef]
  25. Simmons, R.J. Design and Control of a Variable Geometry Turbofan with and Independently Modulated Third Stream. Ph.D. Thesis, The Ohio State University, Columbus, OH, USA, 2009. [Google Scholar]
  26. Edwards, C.; Spurgeon, S.K.; Patton, R.J. Sliding mode observers for fault detection and isolation. Automatica 2000, 36, 541–553. [Google Scholar] [CrossRef]
  27. Tan, C.P. Sliding Mode Observers for Fault Detection and Isolation. Ph.D. Thesis, University of Leicester, Leicester, UK, 2002. [Google Scholar]
  28. HäRkegåRd, O.; Glad, S.T. Resolving actuator redundancy—Optimal control vs. control allocation. Automatica 2005, 41, 137–144. [Google Scholar] [CrossRef]
  29. Farkas, B.; Wegner, S.A. Variations on Barbălat’s Lemma. Am. Math. Mon. 2016, 123, 825–830. [Google Scholar] [CrossRef] [Green Version]
  30. Kurzke, J. GasTurb—The Gas Turbine Performance Simulation Program; GasTurb GmbH: Aachen, Germany, 2012. [Google Scholar]
  31. Salehi, A.; Montazeri-Gh, M. Design and HIL-based verification of the fuel control unit for a gas turbine engine. Proc. Inst. Mech. Eng. Part G J. Aerosp. Eng. 2020, 234, 1460–1470. [Google Scholar] [CrossRef]
  32. Yuan, Y.; Zhao, Z.; Zhang, T. A mimicking technique of back pressure in the hardware-in-the-loop simulation of a fuel control unit. Simulation 2020, 96, 375–385. [Google Scholar] [CrossRef] [Green Version]
Figure 1. Faults in a control system.
Figure 1. Faults in a control system.
Actuators 10 00024 g001
Figure 2. Structure of the actuator fault tolerant control design.
Figure 2. Structure of the actuator fault tolerant control design.
Actuators 10 00024 g002
Figure 3. Schematic diagram of the variable cycle engine.
Figure 3. Schematic diagram of the variable cycle engine.
Actuators 10 00024 g003
Figure 4. Actuator effectiveness reconstruction result of the observer.
Figure 4. Actuator effectiveness reconstruction result of the observer.
Actuators 10 00024 g004
Figure 5. Fault tolerant control (FTC) result of sliding mode control (SMC) design-controlled variables. (a) n h (b) π t .
Figure 5. Fault tolerant control (FTC) result of sliding mode control (SMC) design-controlled variables. (a) n h (b) π t .
Actuators 10 00024 g005
Figure 6. FTC result of SMC design-control variables. (a) W f (b) A8 (c) A125.
Figure 6. FTC result of SMC design-control variables. (a) W f (b) A8 (c) A125.
Actuators 10 00024 g006
Figure 7. Expected nozzle throat area of A 8 in SMC design.
Figure 7. Expected nozzle throat area of A 8 in SMC design.
Actuators 10 00024 g007
Figure 8. FTC result of adaptive SMC (ASMC) design-controlled variables. (a) n h (b) π t .
Figure 8. FTC result of adaptive SMC (ASMC) design-controlled variables. (a) n h (b) π t .
Actuators 10 00024 g008
Figure 9. FTC result of ASMC design-control variables. (a) W f (b) A8 (c) A125.
Figure 9. FTC result of ASMC design-control variables. (a) W f (b) A8 (c) A125.
Actuators 10 00024 g009
Figure 10. FTC result in different fault reconstruction (FC) situations. (a) controlled variables (b) control variables.
Figure 10. FTC result in different fault reconstruction (FC) situations. (a) controlled variables (b) control variables.
Actuators 10 00024 g010
Figure 11. Switching function in different FC situations. (a) first term (b) second term.
Figure 11. Switching function in different FC situations. (a) first term (b) second term.
Actuators 10 00024 g011
Figure 12. Hardware-in-the-loop simulation platform. ① Interface simulator ② Distributed controller ③ myRIO (Engine CLM) ④ Monitor.
Figure 12. Hardware-in-the-loop simulation platform. ① Interface simulator ② Distributed controller ③ myRIO (Engine CLM) ④ Monitor.
Actuators 10 00024 g012
Figure 13. FTC result of SMC design in hardware-in-the-loop (HIL) test. (a) controlled variables (b) control variables.
Figure 13. FTC result of SMC design in hardware-in-the-loop (HIL) test. (a) controlled variables (b) control variables.
Actuators 10 00024 g013
Figure 14. FTC result of ASMC design in HIL test. (a) controlled variables (b) control variables.
Figure 14. FTC result of ASMC design in HIL test. (a) controlled variables (b) control variables.
Actuators 10 00024 g014
Figure 15. Comparison of low spool speeds in the HIL test.
Figure 15. Comparison of low spool speeds in the HIL test.
Actuators 10 00024 g015
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Yuan, Y.; Zhang, T.; Lin, Z.; Zhao, Z.; Zhang, X. Actuator Fault Tolerant Control of Variable Cycle Engine Using Sliding Mode Control Scheme. Actuators 2021, 10, 24. https://doi.org/10.3390/act10020024

AMA Style

Yuan Y, Zhang T, Lin Z, Zhao Z, Zhang X. Actuator Fault Tolerant Control of Variable Cycle Engine Using Sliding Mode Control Scheme. Actuators. 2021; 10(2):24. https://doi.org/10.3390/act10020024

Chicago/Turabian Style

Yuan, Yuan, Tianhong Zhang, Zhonglin Lin, Zhiwen Zhao, and Xinglong Zhang. 2021. "Actuator Fault Tolerant Control of Variable Cycle Engine Using Sliding Mode Control Scheme" Actuators 10, no. 2: 24. https://doi.org/10.3390/act10020024

APA Style

Yuan, Y., Zhang, T., Lin, Z., Zhao, Z., & Zhang, X. (2021). Actuator Fault Tolerant Control of Variable Cycle Engine Using Sliding Mode Control Scheme. Actuators, 10(2), 24. https://doi.org/10.3390/act10020024

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop