The present disclosure generally relates to unmanned aerial vehicles, and in particular, to a system and associated method for adaptive attitude control for foldable quadrotors.
Foldable quadrotors (FQrs) have created a paradigm shift in the design of multirotor aerial vehicles for flying through small openings and cluttered spaces. While there is ample research demonstrating the mechanical feasibility of the foldable designs, limited literature exists on the analysis of the low-level flight controller and the effects of inflight configuration switching.
It is with these observations in mind, among others, that various aspects of the present disclosure were conceived and developed.
The present patent or application file contains at least one drawing executed in color. Copies of this patent or patent application publication with color drawing(s) will be provided by the Office upon request and payment of the necessary fee.
Corresponding reference characters indicate corresponding elements among the view of the drawings. The headings used in the figures do not limit the scope of the claims.
In recent years, quadrotors have transcended conventional designs, emphasizing more on foldable and reconfigurable bodies. The state of the art still focuses on the mechanical feasibility of such designs with limited discussions on the tracking performance of the vehicle during configuration switching. The present disclosure first presents a common framework to analyze the attitude errors of a folding quadrotor (FQr) via theory of switched systems. This framework is then employed to investigate the attitude tracking performance for two case scenarios: one with a conventional geometric controller for precisely-known system dynamics; and second, with a proposed morphology-aware adaptive controller that accounts for any modeling uncertainties and disturbances. Finally, the desired switching requirements from the stability analysis are accommodated by exploiting the trajectory planner to obtain superior tracking performance while switching. Simulation results are presented that validate the proposed control and planning framework for a foldable quadrotor's flight through a passageway.
The low-level flight control for a FQr is challenging due to parameter-varying dynamics corresponding to its various configurations. Also, failure to account for any modeling uncertainties (such as inertia or aerodynamics) can further deteriorate the tracking performance. In this context, robust controllers have been explored to obtain the desired tracking performance by considering bounded model uncertainties. The uncertainty bounds for these systems are generally held constant across the various configurations and may lead to chattering in the control inputs.
Alternatively, adaptive controllers that switch between various operating configurations have also been explored, which fall into the broad category of switched systems (see the quadrotor and associated computer-implemented controllers shown in
A novel framework outlined herein models attitude dynamics of FQrs as switched systems. The insights from this analysis are then employed to propose an adaptive controller that applies a parameter estimation framework and with robustness term, which is duly validated in simulations. Three scenarios are considered in this analysis: 1) the simplest case with a precisely-known model, 2) the case with modeling uncertainties in inertia and 3) the case with external disturbances in addition to unknown inertia. Furthermore, the present disclosure outlines a coupled control and motion planning framework for FQrs, by augmenting this attitude controller and a PD-type position controller with a control-aware minimum-jerk trajectory planner to enforce the stability conditions and guarantee safety during switching.
The remainder of this disclosure is organized as follows: Section II describes the problem setup and system overview with the error definitions in Section III. Section IV analyzes the tracking stability for the aforementioned three case scenarios with the proposed controller while Section V describes the control-aware trajectory generation. In Section VI, simulation results are presented that validate the proposed control framework. Section VII outlines additional information about definitions, proofs, and simulation details. Section VIII outlines an example computing device for implementation of computer-implemented aspects of the control framework outlined herein.
Let x=[R, Ω]T denote the rotation and angular velocity respectively of a foldable quadrotor. Now, consider the following family of systems {dot over (χ)}=fp(x) corresponding to each configuration shown along the right-hand side of
with p∈ where
⊆
is the index set and is finite such that
={1, 2, . . . , m}. To define a switched system generated by the above family, the switching signal is introduced as a piece-wise constant function σ: [0, ∞)→
. It has a finite number of discontinuities and takes a constant value on every interval between two consecutive switching time instants. The role of σ is to specify, at each time instant t, the index σ(t)∈
of the active subsystem model from the family (1) that the FQr currently follows. The hat map {circumflex over (·)}:
→SO(3) is a symmetric matrix operator defined by the condition that {circumflex over (x)}y=x×y ∀x, y∈
. The vee map V: SO(3)→
represents the inverse of the hat map and [.]x is the skew symmetric cross product matrix. Further details about the operators are given in Sections VII-B and VII-C. Δ∈
represents the disturbances and unmodelled dynamics in the attitude dynamics.
As shown, the system 100 can be a vehicle such as an FQr, and can include a Minimum Jerk Trajectory (MJT) planner 110 in communication with a position controller 120 and an adaptive attitude controller 130. The system 100 can include one or more sensor(s) 210 which can include inertial measurement units (IMUs), as well as one or more actuation element(s) 220 which can include, but are not limited to, motors associated with propellers and motors associated with elements that change or otherwise control a geometric configuration of the vehicle. Importantly, the vehicle is operable for switching between two of a plurality of geometric configurations at a switching time.
The MJT planner 110 generates a reference trajectory associated with a reference attitude for a vehicle, as well as a target position of an entrance of a passageway and a target velocity for the vehicle to travel through the passageway.
The MJT planner 110 can access a settling time associated with attitude tracking stabilization for the vehicle under a geometric configuration of the plurality of geometric configurations.
The position controller 120 can determine a reference attitude based on the reference trajectory provided by the MJT planner. The reference attitude can be passed to the adaptive attitude controller 130, which generates a control torque value to achieve the reference attitude. The control torque value can be applied as input to a control allocation module 140 which translates the control torque value to appropriate actuation signals or control inputs for application to the actuation element(s) 220.
When data is available from sensor(s) 210, (e.g., position) and an attitude (e.g., a set of attitude information that correlate with a current position and attitude of the vehicle) are reported to the system 100. The system 100 determines, based on the set of attitude information obtained from the sensor, an attitude tracking error with respect to the reference attitude. The system 100 can then determine a minimum dwell time that restricts the switching time to accommodate modeling uncertainties associated with switching between geometric configurations. The minimum dwell time can incorporate a percentage or ratio of the attitude tracking error, as discussed herein with respect to Eq. (26).
Based on the minimum dwell time and the attitude tracking settling error, the MJT planner 110 can update the reference trajectory according to Eqs. (31) and (33) outlined herein to reflect an adapted reference trajectory including an adapted reference attitude based on: the minimum dwell time, the settling time associated with attitude tracking stabilization for the vehicle under the geometric configuration of the plurality of geometric configurations, and the reference trajectory.
The reference trajectory also outlines a targeted switching time at which the vehicle may switch to a different geometric configuration in order to maintain stability during switching, especially under modeling uncertainties and external disturbances: a) the vehicle must meet a certain velocity and position before switching; b) the vehicle must remain within a given geometric configuration for longer than the minimum dwell time, which may continually change based on the attitude tracking error; and c) the vehicle must remain within a given geometric configuration for longer than the settling time, which will depend on the geometric configuration as well as properties of the sensors and other components of the vehicle. The adapted reference trajectory can incorporate a target position of an entrance of a passageway where the vehicle is expected to reach over a time interval that is greater than the settling time and the minimum dwell time, as well as a target velocity for the vehicle to travel through the passageway over the time interval that is greater than the settling time and the minimum dwell time.
The position controller 120 and adaptive attitude controller 130 can update the reference attitude and control torque value in view of the adapted reference trajectory. Importantly, the adaptive attitude controller 130 determines the control torque value according to a control law outlined in Eqs. (27)-(30) herein. The control law in Eqs. (27)-(30) incorporates a robust control term that accommodates unknown external disturbances that affect attitude control of the vehicle. The robust control term incorporates an augmented tracking error (eA) which incorporates the attitude tracking error and an augmenting constant c2 associated with the geometric configuration, the augmenting constant c2 being selected to ensure that attitude tracking error for each configuration of the vehicle converges to zero.
The system 100 can use the control allocation module 140 to generate an actuation signal for application to one or more actuation elements of the vehicle based on the control torque value, e.g., by providing the control torque value as input to a control allocation matrix associated with the geometric configuration that maps the control torque value to the actuation signal.
When appropriate, the system 100 can generate, based on the adapted reference trajectory, a mode switching signal to transition the vehicle between a first geometric configuration and a second geometric configuration at the switching time, the switching time being selected based on: the minimum dwell time, the settling time, a position of the vehicle in view of the adapted reference trajectory, and a velocity of the vehicle in view of the adapted reference trajectory.
This process repeats as needed during flight by the vehicle. As the vehicle continues its flight, quantities that change and therefore need to be adapted regularly are those which are dependent on the attitude information (rotation R and angular velocity Ω) and/or attitude tracking error (e.g., attitude errors eR and eΩ, which are sometimes combined into the augmented tracking error eA) such as those in Eqs. (26)-(31) and (33) as discussed in further detail herein. Additional quantities and matrices that are continually updated based on attitude information and/or attitude error include: matrix Y introduced in Eq. (5) as well as its variations which collect information about angular velocity of the vehicle and are applicable to Eqs. (27) and (28); and inertial parameter estimates h (or hp pertaining to a -th geometric configuration) applicable to Eqs. (27) and (28).
Quantities which can remain constant (and which may be dependent on vehicle properties and geometric configurations) include such as the augmenting constant c2 in Eq. (17), elements of first matrix W13 in Eq. (22) and its maximum and minimum eigenvalues, elements of second matrix W23
in Eq. (22) and its maximum and minimum eigenvalues, elements of third matrix W31
in Eq. (25), an upper bound on external disturbances δR, as well as positive constants and tuning parameters such as kR, kΩ, g1, g2, g3, b1, b2 which contribute to various quantities herein including the augmenting constant c2, and the first, second, and third matrices. These values may be approximated through simulation and other methods.
This section describes the definitions of the attitude errors for the tracking problem. Consider the error function, ¢, and attitude errors eR and eΩ defined as follows:
where G∈ is given by diag[g1,g2,g3]T for distinct positive constants g1, g2, g3∈
. With these definitions, the following statements hold:
The time derivative of the errors are given by:
it can also be verified that C(RdT,R) is bounded by
where αD=RTRd{dot over (Ω)}d−{circumflex over (Ω)}RTRdΩd physically represents the angular acceleration term.
For this disclosure, consider the sub-level set ={Rd, R∈SO(3)|Φ(R, Rd)<2} such that the initial attitude error satisfies Φ(R(0), Rd(0))<2. Note that this requires that the initial attitude error should be less than 180°. Future extensions of this work will analyze complete low-level flight controller stability over the entire SO(3). This section will first provide the methodology for stability analysis for attitude tracking of FQrs modeled as switched systems. Conditions for switching are also presented such that the overall system retains the tracking performance when the system model and parameter values are precisely known. Next, the present disclosure outlines an adaptive controller which estimates the unknown inertia online, and extends the stability analysis with the adaptive controller. Eqs. (26)-(30) in this section are of particular importance, where Eq. (26) outlines conditions pertaining to the minimum dwell time in view of modeling uncertainties and Eqs. (27)-(30) outline a control law that governs control torque values in view of modeling uncertainties and external disturbances,
A. Case with the Precise Model, Δ=[0 0 0]T
For this example case scenario, Hp is precisely known for each pth subsystem (i.e., geometric configuration) in (1).
1) Attitude tracking of individual subsystems: The attitude dynamics for an individual subsystem (i.e., geometric configuration) from the switched system of (1) can be rewritten in the form of Hp {dot over (Ω)}−Y1hp=u where Y1∈ and hp=[hpxxhpyyhpzzhpxyhpxzhpzz]T is the vector encompassing the unique elements of the moment of inertia tensor.
The control moment in this case can be generated according to (5):
where Y=Y1−Y2 with Hpαd≐Y2hp. The exact definitions of Y1 and Y2 are given in Sections VII-D and VII-E respectively.
Proposition 1: For positive constants kΩ and kR, if a positive constant c1 is chosen such that:
then the attitude tracking dynamics of the individual subsystems, (eR, eΩ), are exponentially stable in the sublevel set . Moreover, if each subsystem resides in a particular switched state for a minimum dwell-time given by τd in (7), the switched system in (1) is asymptotically stable in
. Here, λmax(·) and λmin
.
Proof: Here a brief sketch shows the stability of the attitude tracking errors for the individual subsystem.
Consider the individual subsystem's Lyapunov candidate ∀p=1,2 . . . m∈ as:
In the sub-level set :
where z1=[∥eR∥∥eΩ∥]T and W1p, W2p∈ are:
It can be shown that:
where
Hence the tracking errors are exponentially stable for the individual subsystems. This implies that if σ(t)=p for t∈[t0, t0+τd):
2) Stability of the overall switched system: Multiple Lyapunov functions can be used to prove the stability of the switched system. Consider the following Lemma 2.
Lemma 2: Consider a finite family of globally asymptotically stable systems, and let , p∈
be a family of corresponding radially unbounded Lyapunov functions. Suppose that there exists a family of positive definite continuous functions
p∈
with the property that for every pair of switching times (ti·tj), i<j, such that σ(ti)=σ(tj) and σ(tk)≠p for ti<tk<tj, so:
then the switched system in (1) is globally asymptotically stable.
Proof: Employing (11), a desired lower bound on the dwell-time can be found that corresponds to the amount of time that a system should reside in subsystem (geometric configuration) p to ensure that the overall tracking errors converge to zero. To elaborate, consider a system when =[1,2] and σ takes values of 1 on [t0,t1) and 2 on [t1,t2) such that ti+1−ti≥τd, i=0, 1. From (12), the minimum dwell-time can be calculated using the theory of the switched systems as (7), which guarantees that the switched system (1) is asymptotically stable in
by employing Lemma 2.
Remark 3: Since the active reconfigurable quadrotors are designed to avoid collisions while flying through narrow gaps, by strictly adhering to the dwell time obtained in (7) and not allowing for the configuration switching, can be conservative. Hence the trajectory planner is designed to choose the switching signal trajectory, σ(t), by accounting for both the dwell time and also the geometric space constraints, as discussed in Section V.
B. Case with Model Uncertainties in Hp,Δ=[0 0 0]T
The dwell-time derived in (7) ensures that the switched system is stable when the model (e.g., moment of inertia) is known. However, this is not the case for almost all real-world scenarios. To handle modeling errors, the moment of inertia can be estimated online for each subsystem (geometric configuration).
There have been many approaches to estimate the moment of inertia online, however researchers have only recently been studying ways to ensure physical consistency of the inertia estimates. The attitude controller framework outlined herein ensures physical consistency during adaptation of the inertia parameters.
1) Attitude tracking for individual subsystems: For the pth subsystem (geometric configuration), assume that the control torques are now generated according to:
where the inertia parameters are estimated based on the augmented error eA. Here, ψ(·) is the log-determinant function which ensures that the estimates of the inertia parameters are physically consistent given that the initial guess is also physically consistent.
Assumption 4: The minimum eigen value Λmaxp and the maximum eigen values Λminp of the true inertia matrix Hp for the pth subsystem (geometric configuration) are known.
Proposition 5: Suppose that Assumption 4 holds. For the control generated according to (14)-(16), with positive constants kΩ and kR, if the positive constant c is chosen such that (17) holds, the attitude tracking errors, (eR, eΩ), for the individual subsystems (geometric configurations) converge to zero asymptotically. Eq. (17) below outlines a definition of the augmenting constant c2 which may be estimated at least in part through simulation techniques or other approximation methods.
In other words, the augmenting constant c2 has a value that is less than a minimum of a set of pre-determined constants (encompassing
of Eq. (17)) based on the vehicle configuration, which can be determined using a set of tuning parameters (e.g., kR, kΩ, g1, g2, g3, b1) for the geometric configuration of the vehicle, an estimated minimum eigenvalue Λminp of an inertia matrix for the geometric configuration of the vehicle, and an estimated maximum eigenvalue Λmaxp of the inertia matrix for the geometric configuration of the vehicle. These values may be estimated or otherwise approximated through a simulation process.
Proof: This proof will again analyze the stability of the individual system and the stability of the switched system. Consider the Lyapunov candidate for individual subsystem (geometric configuration) as the following:
where dψ(hp∥ĥp) is the Bregman divergence operator:
and the time-derivative of dψ(hp∥ĥp) is
As shown, dψ(hp∥ĥp) can be taken as an approximation for the geodesic estimation error with the properties required of a desired Lyapunov candidate. Also, from (3), Vp is lower-bounded by:
where z=[z1,z2]T=[∥eR∥, ∥eΩ∥, dψ(hp∥ĥ)]T∈ and W11 ∈
is given by:
where z1=[∥eR∥, ∥eΩ∥]T and W13p, W23p∈ are given by:
Differentiating along the solutions of the system and substituting for the control law, u, and parameter estimate law, {circumflex over ({dot over (h)})}, from (14) and (16):
where W31p∈ is defined in (25):
W31p is referred to herein as a “third matrix” which incorporates: the augmenting constant c2, a set of tuning parameters (e.g., kR, kΩ, g1, g2, g3) for the geometric configuration of the vehicle, and an estimated maximum eigenvalue Λmaxp of the inertia matrix for the geometric configuration of the vehicle.
This implies that the errors z1=[∥eR∥, ∥eΩ∥]T asymptotically converge to zero.
Remark 6: Although the tracking errors converge to their zero equilibrium, (25) does not ensure that the parameter errors converge. This is because of the absence of persistence of excitation which would aid in parameter convergence to true values. However, the attitude tracking errors are still guaranteed to be stable and do not depend on the parameter estimation error.
Remark 7: The Assumption 4 requires that the minimum and maximum eigenvalues of the true inertia matrix be known. These values are used to find the constant c2 in (16) and therefore can be relaxed such that values from approximate CAD models should be enough.
2) Stability of the switched system: Multiple Lyapunov functions can again be used to establish the stability of the attitude tracking dynamics with the adaptive controller. Consider the following Proposition 8:
Proposition 8: Consider the system (1) and that Assumption 4 holds. With the control generated according to (14)-(16), if the initial guess of inertia parameters, {circumflex over ({dot over (h)})}p for each subsystem (geometric configuration) is adaptively updated and the switching is performed at time tj>>ti such that (26) holds, then the attitude tracking errors (eR, eΩ) of the switched system converge to zero asymptotically.
In some examples, the minimum dwell time incorporates a ratio between a minimum eigenvalue ΛminW
Proof: To analyze this case, consider a switched system generated by two dynamical systems such that =[1, 2]. Let ti<tj be two switching times when σ=1. Then, using Proposition 8, the fourth term in (18), dψ(hp∥ĥ), is adaptively updated from the previous value, hence is constant at the two time instants ti and tj. Next, (23) provides the bounds on the first three terms of the Lyapunov candidate at the two time intervals. Hence if the switching time instant is chosen such that (26) holds, the switched system is asymptotically stable using Lemma 2.
Remark 9: Note that Proposition 8 enforces the minimum dwell-time (τd) requirement for the switched system stability. As mentioned in Remark 3, the planner is made aware of the dwell-time such that the reference trajectory is generated to accommodate the dwell-time requirements as described in the following Section V.
Remark 10: Since it is well-known that the adaptive controllers can be unstable even for slight disturbance, the control law proposed in (14)-(16) can be modified to include a robust term in the following Section IV-C.
C. Case with Model Uncertainties in Hp and External Disturbances, Δ≠[0 0 0]T
Finally, this section discusses the case when there are modelling uncertainties coupled with external disturbances to improve the robustness of the proposed adaptive controller in the presence of disturbances.
Assumption 11: The disturbances in attitude dynamics have known bounds, i.e., ∥Δ∥≤δR for a positive constant. The value of δR may be approximated or otherwise obtained through simulation methods.
Proposition 12: Suppose Assumptions 4 and 10 hold. Then, if the control torques are generated according to a control “law”:
where η is a small positive constant which is adaptively chosen such that η<z1TW31pz1, the attitude tracking errors asymptotically converge to their zero equilibrium.
In other words, the robust control term μ incorporates a small positive constant η which is adaptively chosen to be less than a scalar value (z1TW31pz1), which incorporates the attitude tracking error (as z1T, z1) and the third matrix (W31p, given in Eq. 25) associated with the geometric configuration. The robust control term u also incorporates an estimated upper bound δR on external disturbances with respect to attitude dynamics for the vehicle in addition to the augmented error eA (which incorporates augmenting constant c2).
Proof: The proof is similar as presented in Section IV-B and is given in Section VII-D.
Remark 13: The Assumption 11 assumes that the disturbances in the attitude dynamics are bounded (e.g., ∥Δ∥≤δR). Since δR is used to generate the robust control term μ, a rough approximate can be used based on the aerodynamic conditions of the flight space.
The Proposition 8 in IV-B.2 with (26) implies that for the switched system to have asymptotic tracking stability, the minimum dwell-time before switching should be calculated as a percentage or ratio of the initial tracking error. This is shown in (t)−
(t)∥∀i≠j;i,j∈
as shown by the red line.
Assumption 14: The upper bound on the estimation error for the pth subsystem, z2p(t) is known.
Assumption 15: The settling time corresponding to the maximum attitude error for the pth subsystem is known.
Proposition 16: Suppose that Assumptions 4, 14 and 15 hold, if switching is performed at t=τs when ∥z1p(τs)∥≤ρ where τs denotes the settling-time for the attitude errors, eR and eΩ, and ρ>0 denotes the region within which the errors remain, the minimum value of the difference in the two Lyapunov functions at the same time instant (the jump in the Lyapunov value, shown by the red line in
Proof: Proposition 16 directly follows from the minimum value of (32) by employing (18):
Remark 17: The Assumption 14 implies that the maximum estimation error should be bounded. This can be achieved in various ways for example by using the Projection operator and by assuming a maximum estimation error.
Remark 18: The Assumption 15 requires that the settling time for the quadrotor for a pth configuration be known and this information can be approximated estimated as a rough upper bound from real experimental data.
Since the position controller is a proportional-derivative control on position, waypoint planning to fly through passages is not ideal which would result in high initial attitude errors such that z1i(t)≐ρ if the vehicle switches before the attitude errors' settling-time. Alternatively, the minimum-jerk trajectory (MJT) planner can be successfully employed here to ensure z1i(t)≤ρ by imposing the desired velocity boundary conditions at the entrance of the passageway, where configuration switching is mandated by the geometric constraint. The time taken to reach this velocity should be set to at least τs. By ensuring that the vehicle has attained this velocity, the attitude errors will be lower at the entrance of the passageway in the absence of external disturbances. Hence this will lead to lower bounds on the tracking errors as given by (31).
As such, the MJT planner 110 of the system 100 determines or otherwise accesses the minimum dwell time that restricts the switching time to accommodate modeling uncertainties associated with switching between geometric configurations, the minimum dwell time incorporating a percentage or ratio of the attitude tracking error. The MJT planner 110 can then update, based on the attitude tracking error, the reference trajectory to reflect an adapted reference trajectory including an adapted reference attitude based on: the minimum dwell time τd which gets updated based on the attitude tracking error, the settling time τs associated with attitude tracking stabilization for the vehicle under the geometric configuration, and the reference trajectory. The adapted reference trajectory can be generated based on a set of trajectory boundary conditions that incorporate a target position of an entrance of a passageway where the vehicle is expected to reach over a time interval that is greater than the settling time and the minimum dwell time, as well as a target velocity for the vehicle to travel through the passageway over the time interval that is greater than the settling time and the minimum dwell time. The system 100 can further generate, based on the adapted reference trajectory, a mode switching signal to transition the vehicle between a first geometric configuration and a second geometric configuration at the switching time, the switching time being selected based on: the minimum dwell time, the settling time, a position of the vehicle in view of the adapted reference trajectory, and a velocity of the vehicle in view of the adapted reference trajectory.
Signals from the MJT planner 110 are generated according to:
with the following boundary conditions:
where rdes and {dot over (r)}des respectively denote the coordinates of the entrance of the passageway and the desired velocity to fly through the passageway, and τ≥max{τs, τd} where τd is the minimum dwell time defined as ti−tj from (26) for the pth system.
This section describes the various case scenarios simulated to validate the proposed controller for the switched system. The position controller shown in
Next, the proposed attitude controller can be integrated with a minimum-jerk trajectory planner and compare the performance against a waypoint-based planner to validate Proposition 12. The MJT-based planning framework demonstrates how the vehicle transitions from the initial configuration to the new configuration at [0.5 0-2]Tm at t=9.02 s without giving rise to additional tracking errors as shown in
In this disclosure, an approach is outlined for analyzing the attitude tracking stability of foldable quadrotors (FQrs) by modeling them as switched systems. This analysis is employed to design an adaptive control law and derived the necessary dwell-time requirements for guaranteeing the asymptotic stability of the attitude tracking errors in the presence of bounded disturbances. Another highlight of the work was to exploit the attitude settling-time information and design the boundary conditions for a control-aware trajectory planner to achieve stable flights during switching. Future work includes extension of the adaptive control law to account for other matched and mismatched input uncertainties.
A. Switching Signal. A piece-wise constant function σ: [0, ∞)→. with a finite number of discontinuities and takes a constant value on every interval between two consecutive switching time instants. The role of σ is to specify, at each time instant t, the index σ(t)∈
of the active subsystem model from the family of switched systems.
B. Hat Map. The hat map{circumflex over (·)}: →SO(3) is a symmetric matrix operator defined by the condition that {circumflex over (x)}y=x×y ∀x, y∈
. An example is provided here: The angular velocity vector Ω=[ωx, ωy, ωz]T may be equivalently expressed as an angular velocity tensor, the matrix (or linear mapping) defined by:
C. Vee Map. The vee map v: SO(3)→ represents the inverse of the hat map and [.]x is the new skew symmetric cross product matrix. For example, {circumflex over (Ω)}v=Ω.
D. Attitude dynamics and Y1. The attitude dynamics for an individual subsystem can be rewritten in the form of
where Y1 is given by
is the vector encompassing the unique elements of the moment of inertia tensor.
E. Definition of Y2. Y2 is defined as
F. Case (1). In this section, we present the detailed proof for the exponential convergence of tracking errors for individual subsystems. The control moment in this case is generated according to (5).
Proof. Consider the individual subsystem's Lyapunov candidate ∀p=1,2 . . . m∈as
In the sub-level set , we have
where z=[∥eR∥ ∥eΩ∥]T and W1p, W2p are given by
i.e.,
Differentiating along the solutions of the system
Now, substituting (37), (38), and (39), we obtain
where W3p is given by (44)
then from (42) and (45), we have
Hence the tracking errors are exponentially stable for the individual subsystems. This implies that if σ(t)=p for t∈[t0,t0+τd), we have
G. Case (2). In this section, we present the proof for asymptotic stability of tracking errs for individual subsystems when inertia parameters are not known and there are no external disturbances. The control torques are generated according to
Proof
where dψ(hp∥ĥp) is the Bregman divergence operator:
and the time-derivative of dψ(hp∥ĥp) is
dψ(hp∥ĥp) can be taken as an approximation for the geodesic estimation error with the properties required of a desired Lyapunov candidate. Also, from
we have that is lower-bounded by
where z=[z1, z2]T=[∥eR∥, ∥eΩ∥, dψ(hp∥ĥp)]2 ∈ and W11∈
is given by
Furthermore, we have
where z1=[∥eR∥, ∥eΩ∥]T and W13p, W23p∈ are given by
i.e.,
Differentiating along the solutions of the system and employing (48), we obtain
Substituting for the control law, μ, and parameter estimate law, {circumflex over ({dot over (h)})}
where W31p∈ is defined in (56).
This implies that the errors z1=[∥eR∥, ∥eΩ]T asymptotically converge to zero.
H. Case (3). In this section, we present the proof for the asymptotic stability of the attitude tracking errors of the pth subsystem in the presence of modeling uncertainty and external disturbances. The control torques are generated according to
where η is a small positive constant.
Proof. Consider the following Lyapunov candidate:
Differentiating along the solutions of the system and employing (57), we obtain
we obtain:
The last term in above equation is bounded by:
which implies bounded by:
Hence if η is adaptively chosen such that η≤z1(t)TW31pz1(t), the attitude errors are asymptotically stable. Here, we choose to employ a bounded disturbance for the model in order to decrease the control efforts (we define control effort as the magnitude of the control torques and thrust, as computed by the controller) and minimise discontinuity. Other discontinuous disturbance rejection laws can also be employed of the form:
at the expense of conservative and discontinuous control efforts, where kμ=δR+V for a small positive constant v and sign (eA) represents the sign of each element of the vector eA.
This section describes the various case scenarios simulated to validate the proposed controller for the switched system.
1) Simulation Setup for
with the uncertainty set to:
2) Comparison against Conventional Robust Controller: Here, we present the comparison between the performances of the proposed adaptive controller in Section IV-B and a conventional robust controller that accounts for parameter-varying uncertainty in inertia by assuming an upper bound. For this case, we retain the nominal matrix from (62):
However, the actual uncertainty in parameters for this case are chosen as
with the assumed bound as (δR=0.5) for the robust controller. The results for angular velocity tracking and the corresponding control efforts are seen in
3) Results for Proposed Controller in Sec. IV-C: Referring to
The tracking of the angular velocity and the attitude errors eR show that the zero equilibrium of the attitude tracking error is reached asymptotically with the proposed adaptive controller augmented with the robust term. The inertia estimates also converge to the true inertia values (although this is not guaranteed, as mentioned due to the lack of persistence of excitation). The logarithmic nature of the estimation error leads to a longer delay in the tracking of the inertia parameters for subsystem 2 as shown by the maroon solid curve in
Furthermore, from
Computing device 300 comprises one or more network interfaces 310 (e.g., wired, wireless, PLC, etc.), at least one processor 320, and a memory 340 interconnected by a system bus 350, as well as a power supply 360 (e.g., battery, plug-in, etc.).
Network interface(s) 310 include the mechanical, electrical, and signaling circuitry for communicating data over the communication links coupled to a communication network. Network interfaces 310 are configured to transmit and/or receive data using a variety of different communication protocols. As illustrated, the box representing network interfaces 310 is shown for simplicity, and it is appreciated that such interfaces may represent different types of network connections such as wireless and wired (physical) connections. Network interfaces 310 are shown separately from power supply 360, however it is appreciated that the interfaces that support PLC protocols may communicate through power supply 360 and/or may be an integral component coupled to power supply 360.
Memory 340 includes a plurality of storage locations that are addressable by processor 320 and network interfaces 310 for storing software programs and data structures associated with the embodiments described herein. In some embodiments, device 300 may have limited memory or no memory (e.g., no memory for storage other than for programs/processes operating on the device and associated caches). Memory 340 can include instructions executable by the processor 320 that, when executed by the processor 320, cause the processor 320 to implement aspects of the systems and the methods outlined herein.
Processor 320 comprises hardware elements or logic adapted to execute the software programs (e.g., instructions) and manipulate data structures 345. An operating system 342, portions of which are typically resident in memory 340 and executed by the processor, functionally organizes computing device 300 by, inter alia, invoking operations in support of software processes and/or services executing on the device. These software processes and/or services may include FQr controller processes/services 390, which can include aspects of the methods and/or implementations of various modules described herein. Note that while FQr controller processes/services 390 is illustrated in centralized memory 340, alternative embodiments provide for the process to be operated within the network interfaces 310, such as a component of a MAC layer, and/or as part of a distributed computing network environment.
It will be apparent to those skilled in the art that other processor and memory types, including various computer-readable media, may be used to store and execute program instructions pertaining to the techniques described herein. Also, while the description illustrates various processes, it is expressly contemplated that various processes may be embodied as modules or engines configured to operate in accordance with the techniques herein (e.g., according to the functionality of a similar process). In this context, the term module and engine may be interchangeable. In general, the term module or engine refers to model or an organization of interrelated software components/functions. Further, while the FQr controller processes/services 390 is shown as a standalone process, those skilled in the art will appreciate that this process may be executed as a routine or module within other processes.
It should be understood from the foregoing that, while particular embodiments have been illustrated and described, various modifications can be made thereto without departing from the spirit and scope of the invention as will be apparent to those skilled in the art. Such changes and modifications are within the scope and teachings of this invention as defined in the claims appended hereto.
This is a non-provisional application that claims benefit to U.S. Provisional Application Ser. No. 63/508,468, filed on Jun. 15, 2023, which is herein incorporated by reference in its entirety.
| Number | Date | Country | |
|---|---|---|---|
| 63508468 | Jun 2023 | US |