SYSTEMS AND METHODS FOR ADAPTIVE ATTITUDE CONTROL FOR FOLDABLE QUADROTORS

Information

  • Patent Application
  • 20240419186
  • Publication Number
    20240419186
  • Date Filed
    June 17, 2024
    a year ago
  • Date Published
    December 19, 2024
    10 months ago
  • CPC
    • G05D1/495
    • G05D1/646
    • G05D2109/25
  • International Classifications
    • G05D1/495
    • G05D1/646
    • G05D109/25
Abstract
A vehicle control framework enables improved attitude tracking and mode switching of a vehicle by modeling the vehicle as a switched system, where the vehicle is operable for changing a geometric configuration during flight. The vehicle control framework implements a control law that accommodates modeling uncertainties and unknown external disturbances. The vehicle also enforces a switching time constrained by a minimum dwell time which can be adaptively updated based on attitude errors.
Description
FIELD

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.


BACKGROUND

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.





BRIEF DESCRIPTION OF THE DRAWINGS

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.



FIGS. 1A and 1B are a pair of simplified diagrams showing a foldable quadrotor switched system including an adaptive attitude controller;



FIGS. 2A and 2B illustrate Lyapunov function of the attitude tracking error of the foldable quadrotor of FIGS. 1A and 1B during configuration switching;



FIGS. 3A-3D are a series of graphical representations showing performance of the attitude controller of FIGS. 1A and 1B when the vehicle switches between the two configurations shown in FIGS. 2A and 2B;



FIG. 4 is a graphical representation showing tracking results for minimum-jerk trajectory and waypoint-based methods; and



FIGS. 5A and 5B are a pair of graphical representations showing performance of the adaptive attitude controller of FIGS. 1A and 1B compared with a conventional robust controller without disturbances, when the configuration switches from 1 to 2 at t=30 s and from 2 to 1 at t=60 s, where the uncertainty bounds assumed for the conventional robust controller are constant across the two configurations and are too high for configuration 2 leading to high control efforts (magnitude of control torques) (for both configurations 1 and 2) and chattering, while the adaptive attitude controller demonstrates low control effort;



FIGS. 6A-6D are a series of graphical representations showing performance of the adaptive attitude controller of FIGS. 1A and 1B in the presence of unmodeled aerodynamic disturbances, assumed as bounded uncertainties, where tracking of angular velocity in FIG. 6A, the attitude errors in FIG. 6B, and the inertia estimates in FIG. 6C show that the zero equilibrium of the attitude tracking error is reached asymptotically, and where FIG. 6D shows control effort;



FIGS. 7A-7C are a series of graphical representations showing performance of a conventional robust controller in the presence of unmodeled aerodynamic disturbances, assumed as bounded uncertainties, showing tracking of angular velocity in FIG. 7A, the attitude errors in FIG. 7B, and control effort in FIG. 7C, where the bound assumed is low for a first configuration which leads to tracking performance deterioration; and



FIG. 8 is a simplified diagram showing an exemplary computing system for implementation of the system of FIGS. 1A and 1B.





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.


DETAILED DESCRIPTION

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.


I. Introduction

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 FIG. 1A). For example, researchers have synthesized different LQR controllers for different configurations and the corresponding changes in vehicle dynamics. Other approaches employing switched model predictive and back stepping controllers have also been developed to address the parameter variation during the change in configuration. However, all the aforementioned work assumed precise knowledge of vehicle model. In one work, an adaptive controller was developed with online parameter estimation, however the rate of change of inertia was assumed negligible, which is not true for switched FQr systems. Furthermore, existing methods fail to address discontinuities encountered during mode switching. Since the goal of the foldable chassis is to ensure that the vehicle flies through narrow constrained spaces safely, it is important to ensure that this transition-induced disturbance is not significant to cause instability or crashes. Therefore, the switching signal should also be planned, for the transition to occur safely, as a function of vehicle state while adhering to geometric constraints.


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.


II. Problem Statement and System Overview

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 FIG. 1A as:










R
˙

=

R


Ω
^






(
1
)












H

p





Ω
˙


-



[


H

p




Ω

]

×


Ω


=

u
+
Δ





with p∈custom-character where custom-charactercustom-character is the index set and is finite such that custom-character={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, ∞)→custom-character. 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)∈custom-character of the active subsystem model from the family (1) that the FQr currently follows. The hat map {circumflex over (·)}: custom-character→SO(3) is a symmetric matrix operator defined by the condition that {circumflex over (x)}y=x×y ∀x, y∈custom-character. The vee map V: SO(3)→custom-character 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. Δ∈custom-character represents the disturbances and unmodelled dynamics in the attitude dynamics.



FIG. 1B shows a simplified diagram of data flow between various components of the system 100, some of which can be implemented using a computing device (e.g., computing device 300 shown in FIG. 8).


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 custom-character-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 W13custom-character in Eq. (22) and its maximum and minimum eigenvalues, elements of second matrix W23custom-character in Eq. (22) and its maximum and minimum eigenvalues, elements of third matrix W31custom-character 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.


III. Error Definitions

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:










Φ

(

R
,

R
d


)

=


1
2


t


r
[

G

(

I
-


R
d
T


R


)

]






(
2
)











e
R

(

R
,

R
d


)

=


1
2




(


G


R
d
T


R

-


R
T



R
d


G


)

v










e
Ω

(

R
,

Ω
,

R
d

,

Ω
d


)

=

Ω
-


R
T



R
d



Ω
d







where G∈custom-character is given by diag[g1,g2,g3]T for distinct positive constants g1, g2, g3custom-character. With these definitions, the following statements hold:

    • 1. Φ is locally positive definite about R=Rd
    • 2. the left trivialized derivative of Φ is given by eR
    • 3. the critical points of Φ where eR=0 are {Rd}U {Rdexp(πŝ)} for s∈{e1,e2,e3}
    • 4. the bounds on Φ are given by:











b
1







e
R

(

R
,

R
d


)



2




Φ

(

R
,

R
d


)




b
2







e
R

(

R
,

R
d


)



2






(
3
)







The time derivative of the errors are given by:








d
dt



Φ

(

R
,

R
d


)


=


e
R

·

e
Ω










e
.

R

=



1
2




(



R
d
T


R


ê
Ω


+


ê
Ω



R
T



R
d



)







C

(


R
d
T

,
R

)



e
Ω










with



C

(


R
d
T

,
R

)


=


1
2



(


t


r
[


R
T



R
d


G

]


I

-


R
T



R
d


G


)






it can also be verified that C(RdT,R) is bounded by









C

(


R
d
T

,
R

)






1

2





tr
[
G
]

.






Furthermore,










e
.

Ω

=



Ω
˙

+


Ω
^



R
T



R
d



Ω
d


-


R
T



R
d




Ω
˙

d



=


Ω
˙

-

α
D







(
4
)







where αD=RTRd{dot over (Ω)}d−{circumflex over (Ω)}RTRdΩd physically represents the angular acceleration term.


IV. Controller Design and Stability Analysis

For this disclosure, consider the sub-level set custom-character={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 Y1custom-character 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):









u
=



-

k
R




e
R


-


k
Ω



e
Ω


-

Yh
p






(
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:










c
1

<

min


{





2

k


Ω


t


r
[
G
]



,



4


2



k
R





k
Ω

(

Λ
min
p

)

2





2



k
Ω
2



Λ
max
p


+

4




k
R

(

Λ
min
p

)

2


t


r
[
G
]




,




b
1



k
R



Λ
min
p



,



b
2



k
R



Λ
max
p




}






(
6
)







then the attitude tracking dynamics of the individual subsystems, (eR, eΩ), are exponentially stable in the sublevel set custom-character. 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 custom-character. Here, λmax(·) and λmin(·) refer to the maximum and minimum eigen values respectively of the quantity (·) and W2p is defined as (10)∀p∈custom-character.











τ
d

>


1

2


(



β
i


)




log





Λ
max

W
2
p






Λ
min

W
1
p






,

p
=
1

,
2
,





m


𝒫





(
7
)







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∈custom-character as:










V
p

=



1
2



e
Ω
T



H
p



e
Ω


+


k
R



Φ

(

R
,

R
d


)


+


c
1




e
R

·

e
Ω








(
8
)







In the sub-level set custom-character:











Λ
min

W
1
p







z
1



2




V
p




Λ
max

W
2
p







z
1



2






(
9
)







where z1=[∥eR∥∥eΩ∥]T and W1p, W2pcustom-character are:











W
1
p

=


1
2

[





b
1



k
R





-

c
1







-

c
1





Λ

p

min





]


,


W
2
p

=


1
2

[





b
2



k
R





c
1






c
1




Λ

p

max





]






(
10
)







It can be shown that:










V
p




-
2



β
p



V
p






(
11
)







where







β
p

=



Λ
min

W
3
P



2


Λ
max

W
2
P




.





Hence the tracking errors are exponentially stable for the individual subsystems. This implies that if σ(t)=p for t∈[t0, t0d):











V
p

(


z
1

(


t
0

+

τ
d


)

)




e


-
2



β
p



τ
d






V
p

(


z
1

(

t
0

)

)






(
12
)







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 custom-character, p∈custom-character be a family of corresponding radially unbounded Lyapunov functions. Suppose that there exists a family of positive definite continuous functions custom-characterp∈custom-character 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:












V
p

(

x

(

t
j

)

)

-


V
p

(

x

(

t
i

)

)




-


W
p

(

x

(

t
i

)

)






(
13
)







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 custom-character=[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 custom-character 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:










u
=



-

k
R




e
R


-


k
Ω



e
Ω


-

Y



h
ˆ

p




,




(
14
)
















h
ˆ

.

p

=


-


(



2


ψ

(


h
ˆ

p

)


)


-
1





Y
T



e
A



,




(
15
)














e
A

=


e
Ω

+


c
2



e
R




,




(
16
)







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.










c
2

<

min



{




2


b
1



k
R



Λ
min
p




(

Λ
max
p

)

2



,




2





k
Ω




Λ
max
p



tr
[
G
]



,


4


k
R



k
Ω




k
Ω
2

+


4

2




k
R



Λ
max
p



tr
[
G
]





}






(
17
)







In other words, the augmenting constant c2 has a value that is less than a minimum of a set of pre-determined constants (encompassing









2


b
1



k
R



Λ
min
p




(

Λ
max
p

)

2



,




2





k
Ω




Λ
max
p



tr
[
G
]



,


4


k
R



k
Ω




k
Ω
2

+


4

2




k
R



Λ
max
p



tr
[
G
]








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:










𝒱
p

=



1
2



e
Ω
T



H
p



e
Ω


+


k
R



Φ

(

R
,

R
d


)


+



ce
R

·

H
p




e
Ω


+


d
ψ

(


h
p






h
^



)






(
18
)







where dψ(hp∥ĥp) is the Bregman divergence operator:








d
ψ

(


h
p






h
^

p



)

=


ψ

(

h
p

)

-

ψ

(


h
^

p

)

-



(


h
p

-


h
^

p


)

T





ψ

(


h
^

p

)








and the time-derivative of dψ(hp∥ĥp) is












d
.

ψ

(
·
)

=



(



h
^

p

-

h
p


)

T





2


ψ

(


h
^

p

)






h
^

.

p






(
19
)







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:











z
T



W
11


z



𝒱
p





(
20
)







where z=[z1,z2]T=[∥eR∥, ∥eΩ∥, dψ(hp∥ĥ)]Tcustom-character and W11 custom-character is given by:










W
11

=

[





b
1



k
R






1
2



c
2



Λ
max
p




0






1
2



c
2



Λ
max
p






1
2



Λ
min
p




0




0


0


1



]





(
21
)







Furthermore:










z
1
T



W
13
p



z
1




𝒱
p




z
1
T



W
23
p



z
1






(
22
)







where z1=[∥eR∥, ∥eΩ∥]T and W13p, W23pcustom-character are given by:











W
13
p

=

[





b
1



k
R






1
2



c
2



Λ
max
p








1
2



c
2



Λ
max
p






1
2



Λ
min
p





]


,


W
23
p

=


1
2

[





b
2



k
R






1
2



c
2



Λ
min
p








1
2



c
2



Λ
min
p






1
2



Λ
max
p





]






(
23
)










i
.
e
.

,








Λ
min

W
13
p







z
1



2




𝒱
p




Λ
max

W
23
p







z
1



2






Differentiating custom-character 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):












𝒱
.

p





-

(


k
Ω

-



c
2


2




Λ
pmax



tr
[
G
]



)








e
Ω



2


-


c
2



k
R






e
R



2


+


c
2



k
Ω





e
R








e
Ω






=



-

z
1
T




W
31
p



z
1






(
24
)







where W31pcustom-character is defined in (25):










W
31

=

[





c
2



k
R





-



c
2



k
Ω


2







-



c
2



k
Ω


2






k
Ω

-



c
2


2




Λ
max
p



tr
[
G
]






]





(
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.














z
1

(

t
j

)



2




(


Λ
min

W
13
p



Λ
max

W
23
p



)








z
1

(

t
i

)



2






(
26
)







In some examples, the minimum dwell time incorporates a ratio between a minimum eigenvalue ΛminW13p min of a first matrix WP and a maximum eigenvalue ΛmaxW13p of a second matrix W23p. The first matrix is associated with pre-determined values based on the vehicle configuration which can be determined using the augmenting constant c2, a first subset of tuning parameters (b1, kR) for the geometric configuration of the vehicle, the estimated minimum eigenvalue Λminp of the inertia matrix for the geometric configuration of the vehicle, and the estimated maximum eigenvalue Amaxp of the inertia matrix for the geometric configuration of the vehicle. The second matrix is associated with pre-determined values based on the vehicle configuration which can be determined using the augmenting constant c2, a second subset of tuning parameters (b2, kR) for the geometric configuration of the vehicle, the estimated minimum eigenvalue Λminp of the inertia matrix for the geometric configuration of the vehicle, and the estimated maximum eigenvalue Λmaxp of the inertia matrix for the geometric configuration of the vehicle.


Proof: To analyze this case, consider a switched system generated by two dynamical systems such that custom-character=[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”:










u
=



-

k
R




e
R


-


k
Ω



e
Ω


-

Y


h
^


+
μ


,




(
27
)















h
^

.

=


-


(




2

ψ




(

h
^

)


)


-
1





Y
T



e
A



,




(
28
)













μ
=


-

(


δ
R

-

η



e
A





)






e
A




e
A






,




(
29
)














e
A

=


e
Ω

+


c
2



e
R




,





(
30
)








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.


V. Control-Aware Minimum Jerk Trajectory

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 FIGS. 2A and 2B (blue line). However, this doesn't still quantify the bounds of ∥custom-character(t)−custom-character(t)∥∀i≠j;i,j∈custom-character 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 ∥z1ps)∥≤ρ 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 FIGS. 2A and 2B) can be written as:













𝒱
i

(

τ
s

)


-



𝒱
j

(

τ
s

)










(


Λ
max

W
21
i


+

Λ
max

W
21
j



)



ρ

+


Λ
max

W
21
i







z
2
i

(

τ
s

)




+


Λ
max

W
21
j







z
2
j

(

τ
s

)












(
31
)







Proof: Proposition 16 directly follows from the minimum value of (32) by employing (18):











𝒱
p




Λ
max

W
21
p






z


2



,


with



W
21


=

[





b
2



k
R






1
2



c
2



Λ
min
p




0






1
2



c
2



Λ
min
p






1
2



Λ
max
p




0




0


0


1



]






(
32
)







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:











r
*

(
t
)

=



arg

min


r

(
t
)






0
T




r
¨

2


dt







(
33
)







with the following boundary conditions:











r

(
0
)

=


[

0
,
0
,
0

]

T


,



r
.

(
0
)

=


[

0
,
0
,
0

]

T


,



r
¨

(
0
)

=


[

0
,
0
,
0

]

T






(
34
)











r

(
τ
)

=

r
des


,



r
.

(
τ
)

=


r
.

des


,



r
¨

(
τ
)

=


[

0
,
0
,
0

]

T






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.


VI. Results and Discussion

This section describes the various case scenarios simulated to validate the proposed controller for the switched system. The position controller shown in FIGS. 1A and 1B is implemented to generate the necessary desired orientation and thrust. Refer to Section VII-I further details about the simulation parameters. Results for the case scenario (2) are shown in FIGS. 3A-3D and show the switching is performed after the errors have decreased and the tracking errors converge to their zero equilibrium to validate Proposition 8 in the presence of modeling uncertainties in inertia. The parameter estimates also converge (however, this is not guaranteed due to the absence of persistence of excitation). Since the developed controller is a PD controller, it is inherently robust to small uncertainties and hence almost perfect tracking of roll and pitch rate in the body frame is observed even when the inertia estimates oscillate. However, for the subsystem 1, the uncertainty in the z direction is significantly higher, implying the yaw torque was not enough. Yaw rate tracking is eventually achieved by utilizing the estimation of the inertia parameters.


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 FIG. 4, shown in red solid lines. The waypoint-based planner, however, arrives at the same position at t=5.24 s which is less than the maximum attitude settling time (τs=8.87 s) and therefore has high attitude errors during the transitioning. This leads to higher switch-based disturbances, violating the safety constraints as shown.


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.


VII. Further Detail about Controller Definitions, Proofs, and Simulation Details

A. Switching Signal. A piece-wise constant function σ: [0, ∞)→custom-character. 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)∈custom-character of the active subsystem model from the family of switched systems.


B. Hat Map. The hat map{circumflex over (·)}: custom-character→SO(3) is a symmetric matrix operator defined by the condition that {circumflex over (x)}y=x×y ∀x, y∈custom-character. 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:










Ω
^

=

(



0



-

ω
z





ω
y






ω
z



0



-

ω
x







-

ω
y





ω
x



0



)





(
35
)







C. Vee Map. The vee map v: SO(3)→custom-character 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












H
p



Ω
.


-


Y
1



h
p



=

u
+
Δ





(
36
)







where Y1 is given by










Y
1

=

[



0




ω
2



ω
3






-

ω
2




ω
3






ω
1



ω
3






-

ω
1




ω
2






ω
3
2

-

ω
2
2








-

ω
1




ω
3




0




ω
1



ω
3






-

ω
2




ω
3






ω
1
2

-

ω
3
2






ω
2



ω
1








ω
1



ω
2






-

ω
2




ω
1




0




ω
2
2

-

ω
1
2






ω
3



ω
2






-

ω
3




ω
2





]





(
37
)








and






h
p

=




h

p
xx







h

p
yy







h

p
zz







h

p
xy







h

p
xz







h

p
zz









is the vector encompassing the unique elements of the moment of inertia tensor.


E. Definition of Y2. Y2 is defined as










Y
2

=

[




α

d

1




0


0



α

d

2





α

d

3




0




0



α

d

2




0



α

d

1




0



α

d

3






0


0



α

d

3




0



α

d

1





α

d

2





]





(
38
)







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).









u
=



-

k
R




e
R


-


k
Ω



e
Ω


-


Y
1



h
p







(
39
)










where


Y

=


Y
1

-


Y
2

.






Proof. Consider the individual subsystem's Lyapunov candidate ∀p=1,2 . . . m∈custom-characteras










𝒱
p

=



1
2



e
Ω
T



H
p



e
Ω


+


k
R



Φ

(

R
,

R
d


)


+


c
1




e
R

·

H
p




e
Ω







(
40
)







In the sub-level set custom-character, we have











z
T



W
1
p


z



𝒱
p




z
T



W
2
p


z





(
41
)







where z=[∥eR∥ ∥eΩ∥]T and W1p, W2p are given by








W
1
p

=

[





b
1



k
R






1
2



c
1



Λ

p
max









1
2



c
1



Λ

p
max







1
2



Λ

p
min






]


,


W
2
p

=

[





b
2



k
R






1
2



c
1



Λ

p
max









1
2



c
1



Λ

p
max







1
2



Λ

p
min






]






i.e.,











Λ
min

W
1
p






z


2




𝒱
p




Λ
max

W
2
p






z


2






(
42
)







Differentiating custom-character along the solutions of the system








𝒱
.

p

=



e
Ω
T



H
p




e
.

Ω


+


k
R




e
R

·

e
Ω



+


c
1





e
.

R

·

H
p




e
Ω


+


c
1




e
R

·

H
p





e
.

Ω







Now, substituting (37), (38), and (39), we obtain






=




e
Ω
T

(



-

k
R




e
R


-


k
Ω



e
Ω


-

Yh
p

+


Y
1



h
p



)

-


e
Ω
T



Y
2



h
p


+


k
R




e
R

·

e
Ω



+


c
1



C

(


R
d
T

,
R

)




e
Ω

·

H
p




e
Ω


+


c
1




e
R
T

(



-

k
R




e
R


-


k
Ω



e
Ω


-

Y



h
^

p


+


Y
1



h
p



)


-


c
1



e
R
T



Y
2



h
p



=



-

k
Ω




e
Ω
T



e
Ω


+


c
1



C

(

R
,

R
d


)




e
Ω

·

H
p




e
Ω


-


c
1



k
R



e
R
T



e
R


-


c
1



k
Ω




e
R

·

e
Ω









Since












𝒱
.

p





-

(


k
Ω

-



c
1


2




Λ

p
max




tr
[
G
]



)







e
Ω



2


-


c
1



k
R






e
R



2


+


c
1



k
Ω





e
R







e
Ω






=


-

z
T




W
3


z


,




(
43
)














C

(

R
,
Rd

)



e
Ω





1

2




tr
[
G
]





e
Ω





,




where W3p is given by (44)










W
3
p

=

[





c
1



k
R





-


c
1

2







-


c
1

2






k
Ω

-



c
1


2




Λ

p
max





tr
[
G
]

.






]





(
44
)







Therefore,










𝒱
.

p




-

Λ
min

W
3
p







z


2






(
45
)







Let







β
p

=


Λ
min

W
3
p



2


Λ
max

W
2
p





,




then from (42) and (45), we have











𝒱
.

p




-
2



β
p



𝒱
p






(
46
)







Hence the tracking errors are exponentially stable for the individual subsystems. This implies that if σ(t)=p for t∈[t0,t0d), we have











𝒱
p

(

z

(


t
0

+

τ
d


)

)




e


-
2



β
p



τ
d






𝒱
p

(

z

(

t
0

)

)






(
47
)







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









u
=



-

k
R




e
R


-


k
Ω



e
Ω


-

Y



h
^

p







(
48
)













h
^

.

p

=



(

-



2


ψ

(


h
^

p

)



)


-
1




Y
T



e
A



,







e
A

=


e
Ω

+


c
2



e
R







Proof










𝒱
p

=



1
2



e
Ω
T



H
p



e
Ω


+


k
R



Φ

(

R
,

R
d


)


+


c
2




e
R

·

H
p




e
Ω


+


d
ψ

(


h
p





h
^



)






(
49
)







where dψ(hp∥ĥp) is the Bregman divergence operator:








d
ψ

(


h
p






h
^

p



)

=


ψ

(

h
p

)

-

ψ

(


h
^

p

)

-



(


h
p

-


h
^

p


)

T





ψ

(


h
^

p

)








and the time-derivative of dψ(hp∥ĥp) is












d
.

ψ

(
·
)

=



(



h
^

p

-

h
p


)

T





2


ψ

(


h
^

p

)






h
^

.

p






(
50
)







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








b
1







e
R

(

R
,
Rd

)



2




ϕ

(

R
,
Rd

)




b
2







e
R

(

R
,
Rd

)



2






we have that custom-character is lower-bounded by











z
T



W
11


z



𝒱
p





(
51
)







where z=[z1, z2]T=[∥eR∥, ∥eΩ∥, dψ(hp∥ĥp)]2 custom-character and W11custom-character is given by










W
11

=

[





b
1



k
R






1
2



c
2



Λ
max
p




0






1
2



c
2



Λ
max
p






1
2



Λ
min
p




0




0


0


1



]





(
52
)







Furthermore, we have











z
1
T



W
13
p



z
1




𝒱
p




z
1
T



W
23
p



z
1






(
53
)







where z1=[∥eR∥, ∥eΩ∥]T and W13p, W23pcustom-character are given by








W
13
p

=

[





b
1



k
R






1
2



c
2



Λ
max
p








1
2



c
2



Λ
max
p






1
2



Λ
min
p





]


,


W
23
p

=


1
2

[





b
2



k
R






1
2



c
2



Λ
min
p








1
2



c
2



Λ
min
p






1
2



Λ
max
p





]






i.e.,











Λ
min

W
13
p







z
1



2




𝒱
p




Λ
max

W
23
p







z
1



2






(
54
)







Differentiating custom-character along the solutions of the system and employing (48), we obtain








v
˙

p

=




e
Ω
T



H
p




e
.

Ω


+


k
R




e
R

·

e
Ω



+


c
2





e
.

R

·

H
p




e
Ω


+


c
2




e
R

·

H
p





e
.

Ω


+



d
.

ψ

(
·
)


=




-

k
Ω




e
Ω
T



e
Ω


+


e
Ω
T



Y

(



h
ˆ

p

-

h
p


)


+


c
2



C

(


R
d
T

,
R

)




e
Ω

·

H
p




e
Ω


-


c
2



k
R



e
R
T



e
R


+


c
2




e
R

·


Y

(



h
ˆ

p

-

h
p


)



-


c
2



k
Ω




e
R

·

e
Ω



+



d
.

ψ

(
·
)


=



-

k
Ω




e
Ω
T



e
Ω


+


c
2



C

(


R
d
T

,
R

)




e
Ω

·

H
p




e
Ω


-


c
2



k
R



e
R
T



e
R


+


e
A

·

Y

(



h
ˆ

p

-

h
p


)


-


c
2



k
Ω




e
R

·

e
Ω



+



d
.

ψ

(
·
)








Substituting for the control law, μ, and parameter estimate law, {circumflex over ({dot over (h)})}











v
˙

p

=





-

k
Ω




e
Ω
T



e
Ω


-


c
2



k
R



e
R
T



e
R


+


c
2



C

(


R
d
T

,
R

)




e
Ω

·

H
p




e
Ω


-


c
2



k
Ω




e
R

·

e
Ω








-

(


k
Ω

-



c
2


2




Λ

p
max



t


r
[
G
]



)







e
Ω



2


+


c
2



k
R






e
R



2




=


-

z
I
T




W
31
p



z
1







(
55
)







where W31p∈custom-character is defined in (56).










W

3

1


=

[





c
2



k
R





-



c
2



k
Ω


2







-



c
2



k
Ω


2






k
Ω

-



c
2


2




Λ
max
p


t


r
[
G
]






]





(
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













u
=



-

k
R




e
R


-


k
Ω



e
Ω


-

Y


h
ˆ


+
μ


,









h
ˆ

.

=


-


(



2


ψ

(


h
ˆ

p

)


)


-
1





Y
T



e
A



,







μ
=


-

(


δ
R

+

η



e
A





)





e
A




e
A






,







e
A

=


e
Ω

+


c
2



e
R










(
57
)







where η is a small positive constant.


Proof. Consider the following Lyapunov candidate:










v
p

=



1
2



e
Ω
T



H
p



e
Ω


+


k
R



Φ

(

R
,

R
d


)


+


c
2




e
R

·

H
p




e
Ω


+


d
ψ

(


h
p





h
ˆ



)






(
58
)







Differentiating custom-character along the solutions of the system and employing (57), we obtain








v
˙

p

=




e
Ω
T



H
p




e
.

Ω


+


k
R




e
R

·

e
Ω



+


c
2





e
.

R

·

H
p




e
Ω


+


c
2




e
R

·

H
p





e
.

Ω


+



d
.

ψ

(
·
)


=




-

k
Ω




e
Ω
T



e
Ω


+


e
Ω
T



Y

(



h
ˆ

p

-

h
p


)


+


e
Ω
T

(

Δ
+
μ

)

+


c
2



C

(


R
d
T

,
R

)




e
Ω

·

H
p




e
Ω


-


c
2



k
R



e
R
T



e
R


+


c
2




e
R

·


Y

(



h
ˆ

p

-

h
p


)



+


c
2




e
R
T

(

Δ
+
μ

)


-


c
2



k
Ω




e
R

·

e
Ω



+



d
.

ψ

(
·
)


=



-

k
Ω




e
Ω
T



e
Ω


+


c
2



C

(


R
d
T

,
R

)




e
Ω

·

H
p




e
Ω


-


c
2



k
R



e
R
T



e
R


+


e
A

·

Y

(



h
ˆ

p

-

h
p


)


+


e
A

·

(

Δ
+
μ

)


-


c
2



k
Ω




e
R

·

e
Ω



+



d
.

ψ

(
·
)








Since









C

(


R
d
T

,
R

)






1
2


t


r
[
G
]



,




we obtain:











v
˙

p

=




-

k
Ω




e
Ω
T



e
Ω


-


c
2



k
R



e
R
T



e
R


+


c
2



C
(


R
d
T

,


)




e
Ω

·

H
p




e
Ω


-


c
2



k
Ω




e
R

·

e
Ω








-

(


k
Ω

-



c
2


2




Λ

p
max



t


r
[
G
]



)







e
Ω



2


-


c
2



k
R






e
R



2


+


c
2



k
Ω





e
R







e
Ω




+


e
A

·

(

Δ
+
μ

)








(
59
)







The last term in above equation is bounded by:











e
A

·

(

Δ
+
μ

)








e


A



δ
R


-


(


δ
R

+

η



e
A





)





e
A

·

e
A





e
A







η




(
60
)







which implies custom-character bounded by:











v
˙

p





z
I
T



W
31
p



z
1


+
η





(
61
)







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:






μ
=


-

k
μ




sign
(

e
A

)






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.


I. Results.

This section describes the various case scenarios simulated to validate the proposed controller for the switched system.


1) Simulation Setup for FIG. 3: To validate Case 2 with no external disturbances, the inertia matrix (Hp) for the pth configuration is assumed to have the structure Hp=Hp0+ΔHp with the nominal inertia matrix, Hp0, and uncertainty ΔHp. The values for Hp0 are obtained from previously-obtained formulations for two configurations 1 and 2 as corresponding to l1=0.2 and l2=0.1. The rest of the parameters are set to M=1.4 kg, kR=0.0424, kΩ=0.0296. The initial guess in the inertia parameters for the estimator are chosen as the nominal matrix Hp0, more specifically:
















H
^

1

(
0
)

=

[





0
.
0


0

2

3





-

0
.
0



0

0

6





0
.
0


0

1

0







-

0
.
0



0

0

6





0
.
0


1

7

2



0






0
.
0


0

1

0



0




0
.
0


1

8

1




]


,









H
^

2



(
0
)


=

[





0
.
0


0

1

4





-

0
.
0



0

0

1





0
.
0


0

0

5







-

0
.
0



0

0

1





0
.
0


0

5

2



0






0
.
0


0

0

5



0




0
.
0


0

5

3




]








(
62
)







with the uncertainty set to:







Δ


H
1


=


Δ


H
2


=

diag
[

0.01
,
0.01
,
0.02

]






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):








H
I
0

=



H
^

1

(
0
)


,


H
2
0

=



H
^

2

(
0
)






However, the actual uncertainty in parameters for this case are chosen as








Δ


H
1


=

diag
[

0.2
,

0
.
2

,

0
.
4


]


,


Δ


H
2


=

[

0.1
,
0.1
,
0.2

]






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 FIGS. 5A and 5B. Note that control effort in this case is defined as the magnitude of the control torques and thrust, as computed by the controller. From FIGS. 5A and 5B, it is seen that the performance of the proposed adaptive controller is comparable to that of the robust controller, however with low control efforts. Further, the robust controller uncertainty assumed (δR=0.5) is too high for the subsystem 2 which leads to chattering as shown in FIG. 5B.


3) Results for Proposed Controller in Sec. IV-C: Referring to FIGS. 6A-6D and 7A-7C, since the adaptive controllers can be unstable even for a slight disturbance, we simulate the case when there is disturbance added to the system with Δ(t)=0.1[0 sin (t) cos (t)]T. Remaining parameters are retained from Section VII-1.2 above. The proposed robust adaptive controller in (57), is simulated with low gains as above and low uncertainty bounds assumed at δR=0.2 and η=0.0003. We also employ a varying frequency reference to ensure that the tracking errors are high after the quadrotor switches to a different subsystem to facilitate convergence of the inertia estimation errors.


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 FIG. 6C. In future work, we would like to extend our analysis to improve the convergence rate and robustness in the presence of any matched input uncertainties.


Furthermore, from FIGS. 6A-7C, it is seen that the proposed controller performs better against the conventional robust controller by leading to improved tracking performance as shown in FIGS. 6A-6D, thereby validating Proposition 12. The net bounded uncertainty (δR) assumed is lower than the value coupled with the uncertainties in inertia for the conventional robust controller case. Hence the robust controller does not perform well in this case scenario. If the bounds assumed are too high, it may lead to chattering as shown in the FIG. 5B.


VIII. Computer-Implemented System


FIG. 8 is a schematic block diagram of an example computing device 300 that may be used with one or more embodiments described herein, e.g., as a component of the quadrotor and implementing aspects of MJT planner 110, the position controller 120, the adaptive attitude controller 130, the control allocation module 140 of the system 100 shown in FIGS. 1A and 1B. The computing device 300 may be in communication with the sensor(s) 210 and/or actuation elements 220 of the system 100.


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.

Claims
  • 1. A system, comprising: a vehicle including a processor in communication with a memory and a sensor, the memory including instructions executable by the processor to: access a reference trajectory including a reference attitude for a vehicle, the vehicle being operable for switching between a plurality of geometric configurations at a switching time;determine, based on a set of attitude information obtained from the sensor, an attitude tracking error with respect to the reference attitude;determine a minimum dwell time that restricts the switching time to accommodate modeling uncertainties associated with switching between geometric configurations, the minimum dwell time incorporating a ratio of the attitude tracking error; andupdate, 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, a settling time associated with attitude tracking stabilization for the vehicle under a geometric configuration of the plurality of geometric configurations, and the reference trajectory.
  • 2. The system of claim 1, the minimum dwell time incorporating a ratio between a minimum eigenvalue of a first matrix and a maximum eigenvalue of a second matrix, the first matrix and the second matrix being associated with pre-determined values including an augmenting constant, a set of tuning parameters, an estimated minimum eigenvalue of an inertia matrix for the geometric configuration of the vehicle, and an estimated maximum eigenvalue of the inertia matrix for the geometric configuration of the vehicle.
  • 3. The system of claim 1, the memory further including instructions executable by the processor to: 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.
  • 4. The system of claim 1, the adapted reference trajectory being 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; anda 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.
  • 5. The system of claim 1, the memory further including instructions executable by the processor to: determine a control torque value based on the attitude tracking error, the control torque value incorporating a robust control term that accommodates unknown external disturbances that affect attitude control of the vehicle, the robust control term incorporating an augmented tracking error which incorporates the attitude tracking error and an augmenting constant associated with the geometric configuration, the augmenting constant being selected to ensure that attitude tracking error for each configuration of the vehicle converge to zero; andgenerate an actuation signal for application to one or more actuation elements of the vehicle based on the control torque value.
  • 6. The system of claim 5, the augmenting constant having a value that is less than a minimum of a set of pre-determined constants based on the geometric configuration of the vehicle, which can be determined using a set of tuning parameters for the geometric configuration of the vehicle, an estimated minimum eigenvalue of an inertia matrix for the geometric configuration of the vehicle, and an estimated maximum eigenvalue of the inertia matrix for the geometric configuration of the vehicle.
  • 7. The system of claim 5, the robust control term incorporating a small positive constant which is adaptively chosen to be less than a scalar value which incorporates the attitude tracking error and a third matrix associated with the geometric configuration; the third matrix incorporating: the augmenting constant, a set of tuning parameters for the geometric configuration of the vehicle, and an estimated maximum eigenvalue of an inertia matrix for the geometric configuration of the vehicle.
  • 8. The system of claim 5, the robust control term incorporating an estimated upper bound on external disturbances with respect to attitude dynamics for the vehicle.
  • 9. A system, comprising: a vehicle including a processor in communication with a memory and a sensor, the memory including instructions executable by the processor to: access a reference trajectory including a reference attitude for a vehicle, the vehicle being operable for switching between a plurality of geometric configurations at a switching time;determine, based on a set of attitude information obtained from the sensor, an attitude tracking error with respect to the reference attitude; anddetermine a control torque value based on the attitude tracking error, the control torque value incorporating a robust control term that accommodates unknown external disturbances that affect attitude control of the vehicle, the robust control term incorporating an augmented tracking error which incorporates the attitude tracking error and an augmenting constant associated with a geometric configuration of the plurality of geometric configurations, the augmenting constant being selected to ensure that attitude tracking error for the geometric configuration of the vehicle converges to zero.
  • 10. The system of claim 9, the memory further including instructions executable by the processor to: generate an actuation signal for application to one or more actuation elements of the vehicle based on the control torque value 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.
  • 11. The system of claim 9, the augmenting constant having a value that is less than a minimum of a set of pre-determined constants based on the geometric configuration of the vehicle, which can be determined using a set of tuning parameters for the geometric configuration of the vehicle, an estimated minimum eigenvalue of an inertia matrix for the geometric configuration of the vehicle, and an estimated maximum eigenvalue of the inertia matrix for the geometric configuration of the vehicle.
  • 12. The system of claim 11, the set of tuning parameters being approximated through a simulation process.
  • 13. The system of claim 11, the estimated minimum eigenvalue of the inertia matrix for the geometric configuration of the vehicle being approximated through a simulation process, and the estimated maximum eigenvalue of the inertia matrix for the geometric configuration of the vehicle being approximated through a simulation process.
  • 14. The system of claim 9, the robust control term incorporating a small positive constant which is adaptively chosen to be less than a scalar value which incorporates the attitude tracking error and a third matrix associated with the geometric configuration; the third matrix incorporating: the augmenting constant, a set of tuning parameters for the geometric configuration of the vehicle, and an estimated maximum eigenvalue of an inertia matrix for the geometric configuration of the vehicle.
  • 15. The system of claim 9, the robust control term incorporating an estimated upper bound on external disturbances with respect to attitude dynamics for the vehicle.
  • 16. The system of claim 15, the estimated upper bound on disturbances being approximated through a simulation process.
  • 17. The system of claim 9, the memory further including instructions executable by the processor to: determine a minimum dwell time that restricts the switching time to accommodate modeling uncertainties associated with switching between geometric configurations, the minimum dwell time incorporating a ratio of the attitude tracking error; andupdate, 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, a settling time associated with attitude tracking stabilization for the vehicle under the geometric configuration, and the reference trajectory.
  • 18. The system of claim 17, the adapted reference trajectory being 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; anda 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.
  • 19. The system of claim 17, the minimum dwell time incorporating a ratio between a minimum eigenvalue of a first matrix and a maximum eigenvalue of a second matrix, the first matrix and the second matrix being associated with pre-determined values including the augmenting constant, a set of tuning parameters, an estimated minimum eigenvalue of an inertia matrix for the geometric configuration of the vehicle, and an estimated maximum eigenvalue of the inertia matrix for the geometric configuration of the vehicle.
  • 20. The system of claim 17, the memory further including instructions executable by the processor to: 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.
CROSS REFERENCE TO RELATED APPLICATIONS

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.

Provisional Applications (1)
Number Date Country
63508468 Jun 2023 US