The present invention generally relates to a flight control system for selective operation of an array of synthetic jet micro-actuators employed on an unmanned aerial vehicle.
There has been a surge of interest in the design and application of unmanned aerial vehicles (UAVs), particularly fixed wing micro-air vehicles (MAV). UAVs can be used in numerous civilian applications, such as urban reconnaissance, package delivery, and area mapping. UAVs are utilized in various military applications as well. While some UAVs require human operators remotely controlling the operation and/or flight path of the UAV, other UAV's have been designed for autonomous operation. One of the biggest challenges involved in the autonomous operation of UAVs is in the design of flight tracking controllers for UAVs, which often operate in uncertain and possibly adverse conditions.
Flight tracking controllers should provide the UAV, operating autonomously, with the ability to remain within an acceptable range of their intended flight path while operating in an uncertain environment caused by, for example, changing wind velocity and direction resulting in gusts, vortical structures and turbulence.
Additionally, suppression of limit cycle oscillations (LCO) (or flutter) is another concern in UAV tracking control design. This is especially true for applications involving smaller, lightweight UAVs, where the aircraft wings are more susceptible to LCO. LCO refers to “flutter” behaviors in UAV wings that manifest themselves as constant-amplitude oscillations, which result from nonlinearities inherent in the aeroelastic dynamics of the UAV system. Note that LCOs may significantly affect the aerodynamic properties of an aircraft, and can be especially devastating for small UAVs interacting with impinging gusts with amplitudes comparable to the vehicle speed. Indeed, the gust-induced wing dynamics results in lift, drag, and pitching-moment oscillations deteriorating the aircraft aerodynamic performance and posing severe challenges to aircraft flight stability. Due to these behaviors, the LCO could surpass the safe flight boundaries of an aircraft and could potentially lead to structural damage causing the UAV to crash.
These engineering challenges necessitate the utilization of UAV flight controllers, which achieve accurate flight tracking in the presence of dynamic uncertainty while simultaneously suppressing LCO. Control applications for LCO suppression have been developed using mechanical deflection surfaces (e.g., flaps, ailerons, rudders, and elevators). However, when dealing with smaller UAVs, practical engineering considerations and physical constraints can preclude the addition of the large, heavy moving parts that generally are required for installation of deflection surfaces.
Due to their small size, ease of operation, and low cost, synthetic jet actuators (SJA) are promising tools for aircraft tracking control and flow control applications. SJA's transfer linear momentum to a flow system by using a vibrating diaphragm, which creates trains of vortices through the alternating ejection and suction of fluid through a small orifice. Since these vortices (i.e., jets) are formed entirely from the fluid (i.e., air) of the flow system, a key benefit of SJA is that they achieve this transfer of momentum with zero net mass injection across the flow boundary. Thus, SJAs do not require space for a fuel supply. SJAs can be utilized to modify the boundary layer flow field near the surface of an aircraft wing, which can improve aerodynamic performance. Moreover, synthetic jet actuators can expand the usable range of angle of attack, which can improve maneuverability. In addition to flow control applications, arrays consisting of several SJAs can be employed to achieve tracking control of aircraft, possibly eliminating the need for mechanical control surfaces. The benefits of utilizing SJAs on aircraft as opposed to mechanical control surfaces include reduced cost, weight, and mechanical complexity.
SJAs have been developed with the capability to achieve momentum transfer with zero-net mass-flux. This beneficial feature eliminates the need for an external fuel supply, since the working substance is simply the gas (i.e., air) that is already present in the environment of operation. This makes SJAs an attractive option in UAV applications, because of the significant reduction in the size of the required equipment. The SJAs synthesize the jet flow through the alternating suction and ejection of fluid through an aperture, which is produced via pressure oscillations in a cavity. The pressure oscillations can be generated using various methods, including pistons in the SJA's orifices or piezoelectric diaphragms. SJA's can achieve boundary-layer flow control near the surface of a UAV wing since they can provide instant actuation, unlike conventional mechanical control surfaces. In addition, SJA's can expand the usable range of angle of attack, resulting in improved UAV maneuverability.
Use of SJA present challenges in control design due to uncertainties inherent in the dynamics of their operation. Specifically, the input-output (i.e., the control voltage to force delivered) characteristic of each SJA is nonlinear and contains parametric uncertainty. To compensate for this uncertainty, recently developed SJA-based control systems utilize online adaptive control algorithms, neural networks, and/or complex fluid dynamics computations in the feedback loop.
In one embodiment, the present disclosure provides a robust flight controller to achieve accurate trajectory tracking for an unmanned aerial vehicle equipped with an array of synthetic jet actuators over a wide envelope of actuator uncertainty and aircraft operating conditions. This disclosure suggests the use of a robust, continuous Lyapunov-based controller that includes a novel implicit learning characteristic.
The present disclosure includes an improved control system configured to achieve UAV tracking control performance that is comparable to adaptive or neural network-based methods with a reduction in the required computational resources (i.e. less expensive) and a faster response time. The control system may require only a single sensor feedback measurement loop. By eliminating an adaptive parameter feedback generally found in comparable systems, the control system of the present disclosure is more suitable for applications involving small UAVs with limited onboard space and computing power.
Further, the simplicity in the disclosed control design endows the system with a faster control response rate, which results in more reliable UAV flight in unpredictable, time-varying flight conditions.
The present disclosure includes an unmanned aerial vehicle (UAV), comprising: an airframe, a plurality of synthetic jet actuators (SJA) affixed to the airframe, a plurality of sensors configured to determine an operating condition of the UAV, and a control system.
Each SJA is configured to selectively produce a stream of air in response to a control command input thereto, each SJA being represented by a mathematical model having at least two uncertain parameters. The control system is configured to provide the control command to each of the plurality of synthetic jet actuators based on the operating condition of the UAV and a control law, the control law including a constant estimate for each of the uncertain parameters in the mathematical model of each corresponding SJA. The control system controls at least one or both of the trajectory of the UAV and the vibration of the UAV by activating at least one of the plurality of SJA with the control command.
The present disclosure also includes a control system for determining a control command usable by a synthetic jet actuator to at least one of, adjust a trajectory of an unmanned aerial vehicle, or suppress limit cycle oscillations of the unmanned aerial vehicle. The control system comprises a processor programmed to run a control law, the control law comprising a feedback term determined based on measurements from at least one sensor, and a constant estimation of at least two uncertain parameters necessitated by use of the synthetic jet actuator, which is represented by a mathematical model having at least two uncertain parameters. The control system is designed such that the control law is substantially free from time-varying adaptive parameter estimation algorithms.
The present disclosure also includes a method of controlling a micro air vehicle. The method comprises measuring at least one of roll rate, pitch rate, yaw rate, pitching rate, and plunging rate. The method may comprise comparing the measured value with a desired reference value to determine an error. The method may further comprise determining a control command voltage based on a control law having constant estimates and an error variable term. The method may include applying the control command voltage to a synthetic jet actuator of a plurality of synthetic jet actuators, and emitting a flow of air from the synthetic jet actuator to adjust the trajectory of the micro air vehicle.
The present invention is directed to a nonlinear robust controller method of control for operating synthetic jet actuators (SJA) used as part of unmanned aerial vehicles (UAV). In one embodiment, the SJA are configured for operation to assist with tracking of the UAV. In another embodiment, the use of the SJA may be configured to substantially suppress limit cycle oscillations (LCO) in unmanned aerial vehicle (UAV) systems with uncertain dynamics. In each embodiment, the controller method seeks to achieve accurate flight control in the presence of SJA non-linearities, parametric uncertainty and external disturbances (e.g., wind gusts). Particularly, the control method utilizes a control law that is continuous, making the method amenable to practical applications of small UAV, sometime referred to as micro air vehicles (MAV). Moreover, the control method presented herein is designed to be inexpensively implemented, requiring no online adaptive laws, function approximators, or complex fluid dynamics computations in the feedback loop. A matrix decomposition technique is utilized along with innovative manipulation in the error system development to compensate for the dynamic SJA uncertainty. The robust controller is designed with an implicit learning law, which is shown to compensate for bounded disturbances. A Lyapunov-based stability analysis is utilized to prove global asymptotic trajectory tracking in the presence of external disturbances, actuator nonlinearities, and parametric uncertainty in the system and actuator dynamics. Numerical simulation results are provided to complement the theoretical development. A salient feature of the robust control laws disclosed by this description is that their structure is continuous, and enables bounded disturbances to be asymptotically rejected without the need for infinite bandwidth. In one embodiment, a rigorous Lyapunov-based stability analysis is utilized to prove asymptotic pitching and plunging regulation, considering a detailed dynamic model of the pitching and plunging dynamics.
Reiterating from above, use of SJA present challenges in control design due to uncertainties inherent in the dynamics of their operation. Specifically, the input-output (i.e., the control voltage to force delivered) characteristic of each SJA is nonlinear and contains parametric uncertainty. The uncertain aircraft dynamic model detailed herein contains parametric uncertainty due to linearization errors and un-modeled nonlinearities. Specifically, the aircraft system can be modeled via a linear time-invariant system as:
{dot over (x)}=Ax+B
+ƒ(x,t) (1)
where Aεn×n denotes the uncertain state matrix, Bεn×n represents the uncertain input matrix, and ƒ(x,t)εn is a state- and time-dependent unknown, nonlinear disturbance. For example, ƒ(x,t) could include exogenous disturbances (e.g., due to wind gusts) or nonlinearities not captured in the linearized dynamic model. The state vector x(t) may contain roll, pitch, and yaw rate measurements. Also in (1), the control input
represents the virtual surface deflections due to m arrays of synthetic jet, actuators (SJA).
Based on experimental data, the dynamics of the SJA can be modeled as
where i()=()ε denotes the peak-to-peak voltage acting, on the ith SJA array, and θ1i*, θ2i*ε are unknown positive physical parameters. u is the virtual control surface deflection angle expressed in degrees. In a standard UAV, this would represent the angles of the elevator, aileron, and rudder. In this SJA application, it is the equivalent deflection angle that is generated by an SJA array. vi(t) is the peak-to-peak control input voltage to the SJA array expressed in volts for each SJA i=1−n. θ1i*, θ2i* are uncertain constant parameters, which are inherent in the SJA actuator dynamics. Nominal values for these parameters have been obtained in previous research by Deb et al as θ1i*=33.33 volt-deg and θ2i*=15 degrees. These parameter values can fluctuate significantly depending on the UAV operating conditions, and the resulting parametric uncertainty is the primary challenge that must be addressed in SJA-based UAV control design.
Based on the uncertain SJA actuator model given in (2), the control input voltage is designed via the feedback control law
In Equation (3), {circumflex over (θ)}1, and θ2* denote constant, best-guess estimates of the uncertain parameters θ1* and θ2*, respectively. The use of constant estimates as opposed to time-varying adaptive estimates facilitates the improvements of the control system 300 of the present invention over the prior control system 200. Use of best guess estimates of the uncertain parameters enables the tracking control system 300 to eliminate the additional sensor feedback measurements and processing effort (i.e., the adaptive parameter update law) required by control system 200. {circumflex over (θ)}1 depends on physical and aerodynamic parameters, including wing chord, the freestream velocity, and additional physical parameters that lead to one level of uncertainty. An empirically determined expression for θ1* is
where U∞ denotes the freestream velocity, f is the frequency of the input voltage v(t), c is the local wing chord, and p2, p3, and p4 denote uncertain constant physical parameters. In the original experimental research of Deb et al, the values of the parameters p2, p3, and p4 were selected arbitrarily as a baseline model resulting in θ1* values consistent with those used in present simulations as found in Table 1, {circumflex over (θ)}2 may be estimated as the maximum deflection angle that can be achieved by an SJA. Presently, this is suggested to be about 15 degrees.
Also in Equation (3), ud(t) denotes an auxiliary control term, which incorporates the sensor feedback measurements (e.g., the roll, pitch, and yaw rates defining the UAV flight trajectory as shown in
By incorporating the estimate {circumflex over (Ω)}, the control term ud(t) is designed as
u
d(t)={circumflex over (Ω)}#(μ0(t)−μ1(t)) (4)
where {circumflex over (Ω)}# denotes the pseudoinverse of {circumflex over (Ω)}, μ0(t) and μ1(t) are functions of the UAV roll, pitch, and yaw rate tracking errors defined as
μ0=−(ks+In×n)e(t)−(ks+In×n)e(0)−∫0tα(ks+In×n)e(τ)dτ
μ1=∫0tβsgn(e(τ))dτ. (5)
The variables in Equation (5) are defined as follows:
Physically, this represents the difference between the actual sensor measurements from sensors 304 and the reference (desired) UAV trajectory, for example based on a predetermined flight plan. The actual sensor measurements are the roll, pitch, and yaw rate measurements as shown in
Thus by configuring the controller 306 to operate in accordance with the control law consistent with equations (3-5) above, and particularly consistent with equations (3) and (4) above, the control command (e.g. v(t)) may be determined based on A) constant values combined with B) the measured rates of motion (such as pitch, roll and yaw for flight path control) available from sensors 304 fed back to the controller 306 during operation of the tracking control system 300 and compared to C) a predetermined motion state. The predetermined motion state may be a predetermined expect flight path in the example of tracking control, or the predetermined motion state may be steady state in the example of limiting oscillations.
Using the expressions in (2) and (1), the dynamics can be expressed in terms of the ith SJA array as
{dot over (x)}=Ax+Σ
t=1
m
i
i+ƒ(x,t). (6)
In (6),
where by denotes the (i, j)th element of the matrix B in (1).
Assumption 1: If x(t)ε∞, then ƒ(x,t) is bounded. Moreover, if x(t)ε∞, then the first and second partial derivatives of the elements of ƒ(x,t) with respect to x(t) exist and are bounded.
A purely robust feedback control strategy can be utilized to compensate for the control input nonlinearity and input parametric uncertainty in (2). To this end, a robust inverse vi(t) is utilized, which contains constant feedforward “best-guess” estimates of the uncertain parameters θ1i* and θ2i*. The robust inverse that compensates for the uncertain, jet array nonlinearities in (2) can be expressed as
where {circumflex over (θ)}1i, {circumflex over (θ)}2iε+ are constant feedforward estimates of θ1i* and θ2i*, respectively, and udi(t)ε∀i=1, . . . , m are subsequently defined auxiliary control signals.
Remark 1. Singularity Issues Based on (7), the control signal vi(t) will encounter singularities when udi(t)={circumflex over (θ)}2i. To ensure that the control law in (7) is singularity-free, the control signals udi(t) for i=1, 2, . . . , m are designed using the following algorithm:
where δε+ is a small parameter, g(.) is a subsequently defined function, and μ0(t), μ1(t)εm are subsequently defined feedback control terms. Note that the parameter δ can be selected arbitrarily small such that the subsequent stability analysis remains valid for an arbitrarily large range of positive control voltage signals vi(t).
In addition, the control terms ui(t) in (2) will encounter singularities when vi(t)=0, which occurs when {circumflex over (θ)}1i=0 for any i. Since {circumflex over (θ)}1i is a constant, user-defined feedforward estimate of the uncertain parameter θ1i*, the singularity at vi(t)=0 can be easily avoided by selecting {circumflex over (θ)}1i>0 for i=1, 2, . . . , m,
Remark 2. The auxiliary control signal udi(t) in (7) can be designed to achieve asymptotic tracking control and disturbance rejection for the uncertain dynamic model in (1) and (2) over a wide range of feedforward estimates {circumflex over (θ)}ji≠θji*, j=1, 2.
The control objective is to force the system state x(t) to track the state of a model reference system. Based on (1), reference model is selected as:
{dot over (x)}
m
=A
m
x
m
+B
mδ (9)
where xm(t)εn denotes the reference state, Amεn×n is a Hurwitz state matrix, Bmεn denotes the reference input matrix, and δ(t)ε is the reference input signal. The reference model in (9) is designed to exhibit desirable performance characteristics.
Assumption 2: The model reference state xm(t) is bounded and sufficiently smooth in the sense that xm(t), {dot over (x)}m(t), {umlaut over (x)}m(t), (t)ε∞∀t≧0.
To quantify the control objective, the e(t)εn is defined as
e=x−x
m (10)
To facilitate the subsequent analysis, a filtered tracking error r(t) is also defined as
r=ė+αe (11)
After taking the time derivative of (11) and using (1) and (10), the open loop tracking error dynamics are obtained as
Remark 3: Although the instant portion of the control input term vanishes upon taking the time derivative of the dynamics as in (12), the plant model: used in the subsequent numerical simulation retains the complete actuator dynamics. In the simulation, the control input ui(t) is generated using (2) and (7); thus, the simulation model includes the complete actuator dynamics.
The expression in (12) can be rewritten as
{dot over (r)}=Ñ+N
d+Ω{dot over (μ)}d(t)−Se (13)
where Ωεn×m denotes a constant uncertain matrix, Sεn×n is a subsequently defined uncertain matrix and the control vector
In (13), the unknown, immeasurable auxiliary functions Ñ(t) and Nd(t) are defined as
The selective grouping of terms in (14) and (15) is motivated by the fact that Assumptions 1 and 2 can be utilized to develop the following inequalities:
∥Ñ∥≦ρ0∥z∥, ∥Nd∥≦ζNd, ∥{dot over (N)}d∥≦ζNd (16)
where ρ0, ζN
Based on the open-loop error system in (13), the auxiliary control ud, (t) is designed as
u
d(t)={circumflex over (Ω)}#(μ0−μ1) (18)
where {circumflex over (Ω)}εn×m is a constant, best-guess estimate of the uncertain matrix Ω, and [.]# denotes the pseudoinverse of a matrix. In (18), μo(t), μ1(t)εn are subsequently defined feedback control terms. After substituting the time derivative of (18) into (13), the error dynamics can be expressed as
{dot over (r)}=Ñ+N
d+{tilde over (Ω)}({dot over (μ)}0−{dot over (μ)}1)−Se (19)
where the constant uncertain matrix {tilde over (Ω)}εn×n is defined as
{tilde over (Ω)}=Ω{circumflex over (Ω)}#. (20)
Assumption 3: Bounds, on the uncertain matrix Ω are known such that the feedforward estimate Ω can be selected, such that the product {tilde over (Ω)} can be decomposed as
{tilde over (Ω)}=ST (21)
where Sεn×n is a positive definite symmetric matrix; and Tεn×n is a unity upper triangular matrix, which is diagonally dominant in the sense that
ε≦[Tii]−Σk=i+1n[Tik]≦Q, i=1, . . . ,n−1. (22)
In inequalities (22), εε(0,1) and Qε+ are known bounding constants, and Tikε denotes the (i, k)th element of the matrix T.
Remark 4: Assumption 3 is mild in the sense that (22) is satisfied over a wide range of {circumflex over (Ω)}≠Ω. Specifically, the auxiliary control signal udi(t) in (7) and (18) can be designed to achieve asymptotic tracking control and disturbance rejection for the uncertain dynamic model in (1) and (2) when the mean values of the constant feedforward estimates {circumflex over (Θ)}j1 and {circumflex over (Θ)}j2∀j=1, . . . , 6 differ from the mean values of the actual parameters θj1*, and θj2*, ∀j=1, . . . , 6 as
The values for {circumflex over (Θ)}j1 and {circumflex over (Θ)}j2∀j=1, . . . , 6 used in the simulation can be found in Table 1.
This result demonstrates the capability of, the robust control design to compensate for significant dynamic uncertainty using, only a simple feedback controller structure.
After utilizing the decomposition in (21), the error dynamics in (19) can be expressed as
Since S is positive definite, Ñ1(t) and Nd1(t) satisfy the inequalities
∥Ñ1∥≦ρ1∥z∥, ∥Nd1∥≦ζN
where ρ1, ζN
S
−1
{dot over (r)}=Ñ
1
+N
d1+{dot over (μ)}0+
where
is a strictly upper triangular matrix, and In×n denotes an n×n identity matrix. Based on the open-loop error system in (26), the auxiliary control terms μo(t) and μ1(t) are designed as
where βε is a constant, positive control gain, ksεn×n is a constant, positive definite, diagonal control gain matrix, and α is introduced in (11). After substituting the time derivative of (27) into (26), the closed-loop error system is obtained as
S
−1
{dot over (r)}=Ñ
1
+
o
+N
d1−(ks+In×n)r−T{dot over (μ)}1−e. (29)
After taking the time derivative of (27), the term
where the auxiliary signal
with the individual elements defined as
∀i1, . . . , n−1 where the subscript j indicates the jth element of the vector. Based on the definitions in (27) and (30), Ap satisfies, the inequality
∥Ap∥≦ρΛ1∥z∥ (32)
Remark 5: Note that based on (30) and (31), the bounding constant ρΛ1 depends only on elements i+1 to n of the control gain matrix ks due to the strictly upper triangular nature of
By utilizing (30), the error dynamics in (29) can be expressed as
Based on (25), (32), and (34),
∥
where ρ2ε is a known bounding constant.
To facilitate the subsequent stability analysis, the control gain β introduced in (28) is selected to satisfy
where ζN
To facilitate the subsequent stability analysis, let D⊂2n+1 be a domain containing (t)=0, where (t)ε2n+1 is defined as
In (37), the auxiliary function P(t)ε is defined as the generalized solution to the differential equation
{dot over (P)}(t)=−L(t), P(0)=βQ|e(0)−eT(0)Nd1T(0) (38)
where the auxiliary function L(t)ε is defined as
L(t)=rT(Nd1(t)−T{dot over (μ)}1). (39)
Lemma 1: Provided the sufficient gain condition in (36) is satisfied, the following inequality can be obtained:
∫otL(τ)dr≦βQ|e(0)|−eT(o)Nd1(0) (40)
Hence, (40) can be used to conclude that P(t)≧0.
Theorem 1: The robust control law given by (7), (18), (27), and (28) ensures asymptotic trajectory tracking in the sense that
∥e(t)∥→0, as t→∞ (41)
provided the control gain matrix ks, introduced in (27) is selected sufficiently large (see the subsequent proof), and β is selected to satisfy the sufficient condition in (36).
Proof: Let V(w,t): Dx[0,∞)→ be a continuously differentiable, radially unbounded, positive definite function defined as
After taking the time derivative of (42) utilizing (11), (33) (33), and (39), {dot over (V)}(t) can be expressed as:
where
and λmin(.) denotes the minimum eigenvalue of the argument.
Inequality, (44) can be used to show that V(w,t)εL∞; h hence, e(t), r(t), P(t)εL∞. Given that e(t), r(t)εL∞, (8) can be utilized to show that e(t)εL∞. Since e(t)εL∞, (7) can be used along with the assumption that xm(t)εL∞ to prove that x(t), {dot over (x)}(t)εL∞. Based on the fact that x(t)εL∞. Assumption 1 can be utilized to show that ƒ(x,t)εL∞. Given that x(t), {dot over (x)}(t), ƒ(x,t)εL∞, (1) can be used to show that u(t)εL∞. Since e(t), r(t)εL∞, the time derivative of (27) and (28) can be used to show that {dot over (μ)}0(t), {dot over (μ)}1(t)εL∞. Given that e(t), r(t){dot over (μ)}1(t)εL∞, (33) can be used along with (35) to show that r(t)εL∞. Since e(t), r(t)εL∞, (17) can be used to show that z(t) is uniformly continuous. Since z(t) is uniformly continuous, V(w,t) is radially unbounded, and (42) and (43) can be used to show that z(t)εL∞∩L2. Barbalat's Lemma can now be invoked to state that
∥z(t)∥→0, as t→∞∀w(0)ε2n+1 (44)
Based on the definition of z(t), (44) can be used to show that
∥e(t)∥→0, as t→∞∀w(0)ε2n+1.
A numerical simulation was created to verify the performance of the control law developed in (2), (7), (18), (27), and (28). The simulation is based on the dynamic model given in (1) and (2), where n=3 and m=6. Specifically, the control input μi(t), i=1, 2, . . . , 6 synthetic jet arrays, and the 3-DOF state vector is defined in terms, of the roll, pitch, and yaw rates as
x=[x
1
x
2
x
3]T
The state and input matrices A and B and reference system matrices Am and Bm are defined based on the Barron Associates nonlinear tailless aircraft model (BANTAM).
The 3-DOF linearized model for the BANTAM was obtained analytically at the trim condition: Mach number M.=0.455; angle of attack α=2.7 deg, and side slip angle β=0. The linearized dynamic model does not produce the same result as the full nonlinear system with mechanical control surfaces, but the angular, accelerations caused by the virtual surface deflections are predicted accurately using the matrix β. The actual (i.e, Θ1i* and Θ2i*, i=1, 2, . . . , 6) and estimated (i.e. {circumflex over (θ)}1i and {circumflex over (θ)}2i, i=1, 2, . . . , 6) values of the SJA parameters (see (2) and (7)) are shown in Table 1 above.
The external disturbance used in the simulation is given by
The reference input δ(t) used in the simulation is given by
The equation describing LCO in an airfoil approximated as a 2-dimensional thin plate can be expressed as
where the coefficients Ms, Csε2×2 denote the structural mass and damping matrices, F(p)ε2×2 is a nonlinear stiffness matrix, and p(t)ε2 denotes the state vector. In Equation (1a), p(t) is explicitly defined as
where h(t), α(t)ε denote the plunging [meters] and pitching [radians] displacements describing the LCO effects. Also in Equation (1a), the structural linear mass matrix Ms
where the parameters Sα, Iαε are the static moment and moment of inertia, respectively.
The structural linear damping matrix is described as
where the parameters h, aε are the damping logarithmic decrements for plunging and pitching, and mε is the mass of the wing, or in this case, a flat plate. The nonlinear stiffness matrix utilized is
where kα, kα
In Equation (1a), the total lift and moment are explicitly defined as
where vj(t), Mvj(t)ε denote the equivalent control force and moment generated by the jth SJA, and (t), M(t)ε are the aerodynamic lift and moment due to the 2-degree-of-freedom motion. In Equation (6a), η(t)ε2 denotes the aerodynamic state vector that relates the moment and lift to the structural modes. Also in Equation (6a), u(t)ε denotes the SJA-based control input (e.g., the SJA air velocity or acceleration), and Bε2×2 is an uncertain constant input gain matrix that relates the control input u(t) to the equivalent force and moment generated by the SJA. Also in Equation (6a), the aerodynamic and mode matrices Ma, Ca, Ka, Lηε2×2 are described as
where φ(0) is the Wagner solution function at 0, and the parameters a1, b1, a2, b2ε are the Wagner coefficients. In addition, a, bε denote the relative locations of the rotational axis from the mid-chord and the semi-chord, respectively. The aerodynamic state variables are governed by
{dot over (η)}=Cn{dot over (p)}+Kηp+Sηη (11a)
The aerodynamic state matrices in Equation (11a), Cη, Kη, Sηε2×2, are explicitly defined as
By substituting Equation (6a) into Equation (1a), the LCO dynamics can be expressed as
{umlaut over (p)}=−M
−1
C{dot over (p)}−M
−1
Kp+M
−1
L
η
η+M
−1
Bu (15a)
where C=Cs−Ca, K=F(p)−Ka, and M=Ms−Ma. By making the definitions x1(t)=h(t), x2(t)=α(t), x3(t)={dot over (h)}(t), x4(t)={dot over (α)}(t), x5(t)=η1(t), and x6(t)=η2(t), the dynamic equation in Equation (15a) can be expressed in state form as
{dot over (x)}=A(x)x+
where x(t)ε6 is the state vector, A(x)ε6×6 is the state matrix(state-dependent). In Equation (16a), the input gain matrix
where 02×2 denotes a 2×2 matrix of zeros. The structure of the input gain matrix in Equation (17a) results from the fact that the control input u(t) only directly affects {umlaut over (h)}(t) and ä(t).
In some embodiments, an objective is to design a control signal u(t) to regulate the plunge and pitching dynamics (i.e., h(t), a(t)) resulting from LCO) to zero. To facilitate the control design, the expression in Equation (15a) is rewritten as
M{umlaut over (p)}=g(h,α,η)+Bu (18a)
where g(h, α, η) is an unknown, unmeasurable auxiliary function.
Remark 1. Based on the open-loop error dynamics in Equation (18a), one of the control design challenges is that the control input u(t) is pre-multiplied by the uncertain matrix B. In the following control development and stability analysis, it will be assumed that the matrix B is uncertain, and the robust control law will be designed with a constant feedforward estimate of the uncertain matrix. The simulation results demonstrate the capability of the robust control law to compensate for the input matrix uncertainty without the need for online parameter estimation or function approximators.
To quantify the control objective, a regulation error e1(t)ε2 and auxiliary tracking error variables e2(t), r(t)ε2 are defined as
e
1
=p−p
d (19a)
e
2
=ė
1+α1e1 (20a)
r=ė
2+α2e2 (21a)
where α1, α2>0ε are user-defined control gains, and the desired plunging and pitching states pd=[h,a]T=[0,0]T for the plunging and pitching suppression objective. To facilitate the following analysis, Equation (21a) is pre-multiplied by M and the time derivative is calculated as
M{dot over (r)}=Më
2+α2Mė2 (22a)
After using Equations (18a)-(21a), the open-loop error dynamics are obtained as
M{dot over (r)}=Ñ+N
d
+B{dot over (μ)}−e
2 (23a)
where the unknown, unmeasurable auxiliary functions Ñ(e1, e2, r), Nd (pd, d)ε2 are defined as
The motivation for defining the auxiliary functions in Equations (24a) and (25)a is based on the fact that the following inequalities can be developed:
∥Ñ∥≦p0∥z∥, ∥Nd∥≦N
where p0, N
Based on the open-loop error dynamics in Equation (23a), the control input is designed via
{dot over (u)}={circumflex over (B)}
−1(−(ks+I2×2)r−βsgn(e2(t)) (28a)
where ks, βε2×2 denote constant, positive definite, diagonal control gain matrices, and I2×2 denotes a 2×2 identity matrix. In Equation (28a), {circumflex over (B)}ε2×2 denotes a constant, feedforward “best guess” estimate of the uncertain input gain matrix B. The control input u(t) does not depend on the unmeasurable acceleration term r(t), since Equation (28a) can be directly integrated to show that u(t) requires measurements of e1(t) and e2(t) only which are the error of pitching and plunging respectively.
To facilitate the following stability proof, the control gain matrix β in Equation (28a) is selected to satisfy the sufficient condition
where λmin(.) denotes the minimum eigenvalue of the argument. After substituting Equation (28a) into Equation (23a), the closed-loop error dynamics are obtained as
M{dot over (r)}=Ñ+N
d−(ks+In×n)r+βsgn(e2(t))−e2 (30a)
To reduce the complexity of the following stability analysis, it is assumed that the product B{circumflex over (B)}−1 is equal to identity. It can be proven that asymptotic regulation can be achieved for the case where the feedforward estimate {circumflex over (B)} is within some prescribed finite range of the actual matrix B.
The following simulation results demonstrate the performance of a controller according to embodiments of the present invention that seek to control LOC in the presence of uncertainty in the input gain matrix B.
Theorem 1. The controller given in Equation (28a) ensures asymptotic regulation of pitching and plunging displacements in the sense that
∥e1(t)∥→0 as t→∞ (31a)
provided the control gain ks is selected sufficiently large, and β is selected according to the sufficient condition in Equation (29a).
Lemma 1. To facilitate the following proof let ⊂7 be a domain containing w(t)=0, where w(t)ε7 is defined as
In Equation (32a), the auxiliary function P(t)ε is the generalized solution to the differential equation
{dot over (P)}(t)=−L(t) (33a)
P(0)=β∥e2(0)∥−NdT(0)e2(0) (34a)
where the auxiliary function L(t)ε is defined as
L(t)=rT(Nd(t)−βsgn(e2)) (35a)
Provided the sufficient condition in Equation (29a) is satisfied, the following inequality can be obtained:
∫0tL(r)dr≦β∥e2(0)∥−NdT(0)e2(0) (36a)
Hence, Equation (36a) can be used to conclude that P(t)≧0.
Proof 1. (See Theorem 1) Let V(w,t): x[0, ∞)→+ defined as the nonnegative function
where e1(t), e2(t), and r(t) are defined in Equations (19a)-(21a), respectively; and the positive definite function P(t) is defined in Equation (33a). The function V(w,t) satisfies the inequality
U
1(w)≦V(w,t)≦U2(w) (38a)
provided the sufficient condition introduced in Equation (29a) is satisfied, where U1(w), U2(w)ε denote the positive definite functions
where
and λ2=max{1,λmax(M)} After taking the time derivative of Equation (37a) and utilizing Equation (20a), Equation (21a), Equation (30a), and Equation (33a), V(w,t) can be upper bounded as
where the bounds in Equation (26a) were used, and the fact that
(i.e., Young's inequality) was utilized. After completing the squares in Equation (40a), the upper bound on V(w,t) can be expressed as
Since k3>0, the upper bound in Equation (41a) can be expressed as
The following expression can be obtained from Equation (42a):
{dot over (V)}(w,t)≦−U(w) (43a)
where U(w)=c∥z∥2, for some positive constant cε, is a continuous, positive semi-definite function.
It follows directly from the Lyapunov analysis that el(t), e2(t), r(t)ε∞. This implies that ė1(t), ė2(t)ε∞ from the definitions given in Equations (20a) and (21a). Given that ė1(t), e2(t), r(t)ε∞, it follows that ë1(t)ε∞ from Equation (21a). Thus, Equation (19a) can be used to prove that p(t), {dot over (p)}(t), {umlaut over (p)}(t)ε∞. Since p(t), {dot over (p)}(t), {umlaut over (p)}(t)ε∞, Equation (18a) can be used to prove that u(t)ε∞. Since r(t), u(t)εL∞, Equation (28a) can be used to show that {dot over (u)}(t)ε∞. Given that el(t), e2(t), r(t), {dot over (u)}(t)ε∞, Equation (30a) can be used along with Equation (26a) to prove that {dot over (r)}(t)ε∞. Since ė1(t), ė2(t), {dot over (r)}(t)ε∞, e1(t), e2(t), r(t), are uniformly continuous. Equation (27a) can then be used to show that z(t) is uniformly continuous. Given that e1(t), e2(t), r(t)ε∞, Equation (37a) and Equation (42a) can be used to prove that z(t)ε∞∩2. Barbalat's lemma can now be invoked to prove that ∥z(t)∥→0 as t→∞. Hence, ∥e1(t)∥→0 as t→∞ from Equation (27a). Further, given that V(w,t) in Equation (37a) is radially unbounded, convergence of e1(t) is guaranteed, regardless of initial conditions—a global result.
A numerical simulation was created to demonstrate the performance of the control law developed in Equation (28a). In order to develop a realistic stepping stone to high-fidelity numerical simulation results using detailed computational fluid dynamics models, the following simulation results are based on detailed dynamic parameters and specifications. The simulation is based on the dynamic model given in Equation (1a) and Equation (11a). The dynamic parameters utilized in the simulation are summarized in Table 2:
The following simulation results were achieved using control gains defined as
The control gains given in Equations (44a) and (45a) were selected based on achieving a desirable response in terms of settling time and required control effort. To test the case where the input gain matrix B is uncertain, it is assumed in the simulation that the actual value of B is the 2×2 identity matrix, but the constant feedforward estimate {circumflex over (B)} used in the control law is given by
To demonstrate the developed SJA-based robust flight control technology, a high-fidelity numerical approach is examined which employs a modified version of the Implicit Large Eddy Simulation (ILES) Navier-Stokes solver. The following features of the original version of the code are particularly beneficial for the analysis of fluid-structure interaction and its control:
Implicit time marching algorithms (up to 4th-order accurate) are particularly suitable for the low-Reynolds number wall-bounded flows characteristic of MAV airfoils.
High-order spatial accuracy (up to 6th-order accurate) is achieved by use of implicit compact finite-difference schemes, thus making LES resolution attainable with minimum computational expense.
Robustness is achieved through a low-pass Pade-type non-dispersive spatial filter that regularizes the solution in flow regions where the computational mesh is not sufficient to fully resolve the smallest scales. Note that the governing equations are represented in the original unfiltered form used unchanged in laminar, transitional or fully turbulent regions of the flow. The highly efficient Implicit LES (ILES) procedure employs the high-order filter operator in lieu of the standard SGS and heat flux terms, with the filter selectively damping the evolving poorly-resolved high-frequency content of the solution.
Overset grid technique is adopted for geometrically complex configurations, with high-order interpolation maintaining spatial accuracy at overlapping mesh interfaces. The code employs an efficient MPI parallelization that has been successfully utilized on various Beowulf cluster platforms.
The present example employs the developed in the code and successfully validated capability to simulate the coupled aerodynamic and aeroelastic responses of 1-DOF and 2-DOF elastically-mounted airfoils (
In this example, the airfoil's LCO is induced by an impinging sharp-edge gust, with details of the numerical implementation of the gust-airfoil interaction model (
The model is analytically described in terms of the upwash velocity profile (with the streamwise component ug(x,t)=0) in Eqn. (1b below).
In numerical simulations, such gust is generated with prescribed duration Tg and the gust amplitude εg in the momentum source region located upstream of the airfoil, and undergoes ramp-up and ramp-down phases similar to natural flows as represented by function ƒ in Eqn. (1b).
The present example addresses effectiveness of SJA (e.g.,
v
SJA(x,t)=A cos(ωSJA
The present example addresses SJA-based robust control of gust-induced LCO in NACA0012 airfoil. The near-airfoil region of the baseline 649×395×3 O-grid is illustrated in
A fixed time step of Δt≈5×10−5 is used in the code parallel simulations, with the baseline mesh efficiently partitioned into a set of 572 overlapped blocks assigned to different processors. Such computations require about 10 CPU hours on a DOD HPC system to establish a clearly-defined LCO in approximately 106 time steps.
A representative set of the aeroelastic model's parameters shown in Table 3 was selected to provide a realistic model of elastically-mounted NACA0012 wing section. The structural parameters were employed to match a critical (flutter) speed of about 16 m/s.
The required control authority of the actuators changes correspondingly depending on the initial excitation and the LCO amplitudes (i.e., the flow speed, as shown in
Successful suppression of the pitching LCO is demonstrated for the three initial excitation amplitudes in
A nonlinear robust control law for SJA-based LCO suppression in UAV wings is presented. The control law is rigorously proven to achieve global asymptotic regulation of the pitching and plunging displacements to zero in the presence of dynamic model uncertainty and parametric actuator uncertainty. Furthermore, the control law is shown via numerical simulation to compensate for un-modeled external disturbances (i.e., due to wind gusts and un-modeled effects). It is further shown that the robust control law can achieve suppression of LCO using minimal control effort.
The present patent application is a formalization of previously filed, co-pending U.S. Provisional Patent Application Ser. No. 62/124,146, filed Dec. 9, 2014 by the inventors named in the present application. This patent application claims the benefit of the filing date of this cited Provisional Patent Application according to the statutes and rules governing provisional patent applications, particularly 35 U.S.C. §119(e), and 37 C.F.R. §§1.78(a)(3) and 1.78(a)(4). The specification and drawings of the Provisional Patent Application referenced above are specifically incorporated herein by reference as if set forth in their entirety.
Number | Date | Country | |
---|---|---|---|
62124146 | Dec 2014 | US |