SYSTEMS AND METHODS FOR ADAPTIVE ATTITUDE CONTROL FOR FOLDABLE QUADROTORS
20240419186 ยท 2024-12-19
Assignee
Inventors
Cpc classification
International classification
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.
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; and 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, 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; and 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.
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; and generate 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; and 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 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; and 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, 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; and 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.
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.
Description
BRIEF DESCRIPTION OF THE DRAWINGS
[0005] 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.
[0006]
[0007]
[0008]
[0009]
[0010]
[0011]
[0012]
[0013]
[0014] 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
[0015] 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
[0016] 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.
[0017] 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
[0018] 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.
[0019] 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
[0020] Let x=[R, ].sup.T denote the rotation and angular velocity respectively of a foldable quadrotor. Now, consider the following family of systems {dot over ()}=f.sub.p(x) corresponding to each configuration shown along the right-hand side of
with p where
.Math.
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, ).fwdarw.
. 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 (.Math.)}:
.fwdarw.SO(3) is a symmetric matrix operator defined by the condition that {circumflex over (x)}y=xy x, y
. The vee map V: SO(3).fwdarw.
represents the inverse of the hat map and [.].sub.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.
[0021]
[0022] 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.
[0023] 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.
[0024] 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.
[0025] 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.
[0026] 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).
[0027] 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.
[0028] 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.
[0029] 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 (e.sub.A) which incorporates the attitude tracking error and an augmenting constant c.sub.2 associated with the geometric configuration, the augmenting constant c.sub.2 being selected to ensure that attitude tracking error for each configuration of the vehicle converges to zero.
[0030] 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.
[0031] 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.
[0032] 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 e.sub.R and e.sub., which are sometimes combined into the augmented tracking error e.sub.A) 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 h.sub.p pertaining to a -th geometric configuration) applicable to Eqs. (27) and (28).
[0033] Quantities which can remain constant (and which may be dependent on vehicle properties and geometric configurations) include such as the augmenting constant c.sub.2 in Eq. (17), elements of first matrix W.sub.13 in Eq. (22) and its maximum and minimum eigenvalues, elements of second matrix W.sub.23
in Eq. (22) and its maximum and minimum eigenvalues, elements of third matrix W.sub.31
in Eq. (25), an upper bound on external disturbances .sub.R, as well as positive constants and tuning parameters such as k.sub.R, k.sub., g.sub.1, g.sub.2, g.sub.3, b.sub.1, b.sub.2 which contribute to various quantities herein including the augmenting constant c.sub.2, and the first, second, and third matrices. These values may be approximated through simulation and other methods.
III. Error Definitions
[0034] This section describes the definitions of the attitude errors for the tracking problem. Consider the error function, , and attitude errors e.sub.R and e.sub. defined as follows:
where G is given by diag[g.sub.1,g.sub.2,g.sub.3].sup.T for distinct positive constants g.sub.1, g.sub.2, g.sub.3
. With these definitions, the following statements hold: [0035] 1. is locally positive definite about R=R.sub.d [0036] 2. the left trivialized derivative of is given by e.sub.R [0037] 3. the critical points of where e.sub.R=0 are {R.sub.d}U {R.sub.dexp()} for s{e.sub.1,e.sub.2,e.sub.3} [0038] 4. the bounds on are given by:
The time derivative of the errors are given by:
it can also be verified that C(R.sub.d.sup.T,R) is bounded by
Furthermore,
where .sub.D=R.sup.TR.sub.d{dot over ()}.sub.d{circumflex over ()}R.sup.TR.sub.d.sub.d physically represents the angular acceleration term.
IV. Controller Design and Stability Analysis
[0039] For this disclosure, consider the sub-level set ={R.sub.d, RSO(3)|(R, R.sub.d)<2} such that the initial attitude error satisfies (R(0), R.sub.d(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].sup.T
[0040] For this example case scenario, H.sub.p is precisely known for each p.sup.th subsystem (i.e., geometric configuration) in (1).
[0041] 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 H.sub.p {dot over ()}Y.sub.1h.sub.p=u where Y.sub.1 and h.sub.p=[h.sub.pxxh.sub.pyyh.sub.pzzh.sub.pxyh.sub.pxzh.sub.pzz].sup.T is the vector encompassing the unique elements of the moment of inertia tensor.
[0042] The control moment in this case can be generated according to (5):
where Y=Y.sub.1Y.sub.2 with H.sub.p.sub.dY.sub.2h.sub.p. The exact definitions of Y.sub.1 and Y.sub.2 are given in Sections VII-D and VII-E respectively.
[0043] Proposition 1: For positive constants k.sub. and k.sub.R, if a positive constant c.sub.1 is chosen such that:
[0044] then the attitude tracking dynamics of the individual subsystems, (e.sub.R, e.sub.), are exponentially stable in the sublevel set . Moreover, if each subsystem resides in a particular switched state for a minimum dwell-time given by .sub.d in (7), the switched system in (1) is asymptotically stable in
. Here, .sub.max.sup.(.Math.) and .sup.min.sup.
.
[0045] Proof: Here a brief sketch shows the stability of the attitude tracking errors for the individual subsystem.
[0046] Consider the individual subsystem's Lyapunov candidate p=1,2 . . . m as:
[0047] In the sub-level set :
where z.sub.1=[e.sub.Re.sub.].sup.T and W.sub.1.sup.p, W.sub.2.sup.p are:
It can be shown that:
where
[0048] Hence the tracking errors are exponentially stable for the individual subsystems. This implies that if (t)=p for t[t.sub.0, t.sub.0+.sub.d):
[0049] 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.
[0050] 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 (t.sub.i.Math.t.sub.j), i<j, such that (t.sub.i)=(t.sub.j) and (t.sub.k)p for t.sub.i<t.sub.k<t.sup.j, so:
then the switched system in (1) is globally asymptotically stable.
[0051] 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 [t.sub.0,t.sub.1) and 2 on [t.sub.1,t.sub.2) such that t.sub.i+1t.sub.i.sub.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.
[0052] 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 H.sub.p,=[0 0 0].sup.T
[0053] 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).
[0054] 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.
[0055] 1) Attitude tracking for individual subsystems: For the p.sup.th subsystem (geometric configuration), assume that the control torques are now generated according to:
where the inertia parameters are estimated based on the augmented error e.sub.A. Here, (.Math.) 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.
[0056] Assumption 4: The minimum eigen value .sub.max.sup.p and the maximum eigen values .sub.min.sup.p of the true inertia matrix H.sub.p for the p.sup.th subsystem (geometric configuration) are known.
[0057] Proposition 5: Suppose that Assumption 4 holds. For the control generated according to (14)-(16), with positive constants k.sub. and k.sub.R, if the positive constant c is chosen such that (17) holds, the attitude tracking errors, (e.sub.R, e.sub.), for the individual subsystems (geometric configurations) converge to zero asymptotically. Eq. (17) below outlines a definition of the augmenting constant c.sub.2 which may be estimated at least in part through simulation techniques or other approximation methods.
[0058] In other words, the augmenting constant c.sub.2 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., k.sub.R, k.sub., g.sub.1, g.sub.2, g.sub.3, b.sub.1) for the geometric configuration of the vehicle, an estimated minimum eigenvalue .sub.min.sup.p of an inertia matrix for the geometric configuration of the vehicle, and an estimated maximum eigenvalue .sub.max.sup.p of the inertia matrix for the geometric configuration of the vehicle. These values may be estimated or otherwise approximated through a simulation process.
[0059] 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.sub.(h.sub.p.sub.p) is the Bregman divergence operator:
and the time-derivative of d.sub.(h.sub.p.sub.p) is
[0060] As shown, d.sub.(h.sub.p.sub.p) can be taken as an approximation for the geodesic estimation error with the properties required of a desired Lyapunov candidate. Also, from (3), V.sub.p is lower-bounded by:
where z=[z.sub.1,z.sub.2].sup.T=[e.sub.R, e.sub., d.sub.(h.sub.p)].sup.T and W.sub.11
is given by:
Furthermore:
where z.sub.1=[e.sub.R, e.sub.].sup.T and W.sub.13.sup.p, W.sub.23.sup.p are given by:
[0061] 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 W.sub.31.sup.p is defined in (25):
[0062] W.sub.31.sup.p is referred to herein as a third matrix which incorporates: the augmenting constant c.sub.2, a set of tuning parameters (e.g., k.sub.R, k.sub., g.sub.1, g.sub.2, g.sub.3) for the geometric configuration of the vehicle, and an estimated maximum eigenvalue .sub.max.sup.p of the inertia matrix for the geometric configuration of the vehicle.
[0063] This implies that the errors z.sub.1=[e.sub.R, e.sub.].sup.T asymptotically converge to zero.
[0064] 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.
[0065] 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 c.sub.2 in (16) and therefore can be relaxed such that values from approximate CAD models should be enough.
[0066] 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:
[0067] 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)})}.sub.p for each subsystem (geometric configuration) is adaptively updated and the switching is performed at time t.sub.j>>t.sub.i such that (26) holds, then the attitude tracking errors (e.sub.R, e.sub.) of the switched system converge to zero asymptotically.
[0068] In some examples, the minimum dwell time incorporates a ratio between a minimum eigenvalue .sub.min.sup.W.sup.
[0069] Proof: To analyze this case, consider a switched system generated by two dynamical systems such that =[1, 2]. Let t.sub.i<t.sub.j be two switching times when =1. Then, using Proposition 8, the fourth term in (18), d.sub.(h.sub.p), is adaptively updated from the previous value, hence is constant at the two time instants t.sub.i and t.sub.j. 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.
[0070] Remark 9: Note that Proposition 8 enforces the minimum dwell-time (.sub.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.
[0071] 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 H.sub.p and External Disturbances, [0 0 0].sup.T
[0072] 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.
[0073] Assumption 11: The disturbances in attitude dynamics have known bounds, i.e., .sub.R for a positive constant. The value of .sub.R may be approximated or otherwise obtained through simulation methods.
[0074] 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 <z.sub.1.sup.TW.sub.31.sup.pz.sub.1, the attitude tracking errors asymptotically converge to their zero equilibrium.
[0075] In other words, the robust control term incorporates a small positive constant which is adaptively chosen to be less than a scalar value (z.sub.1.sup.TW.sub.31.sup.pz.sub.1), which incorporates the attitude tracking error (as z.sub.1.sup.T, z.sub.1) and the third matrix (W.sub.31.sup.p, given in Eq. 25) associated with the geometric configuration. The robust control term u also incorporates an estimated upper bound .sub.R on external disturbances with respect to attitude dynamics for the vehicle in addition to the augmented error e.sub.A (which incorporates augmenting constant c.sub.2).
[0076] Proof: The proof is similar as presented in Section IV-B and is given in Section VII-D.
[0077] Remark 13: The Assumption 11 assumes that the disturbances in the attitude dynamics are bounded (e.g., .sub.R). Since .sub.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
[0078] 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)ij;i,j
as shown by the red line.
[0079] Assumption 14: The upper bound on the estimation error for the p.sup.th subsystem, z.sub.2.sup.p(t) is known.
[0080] Assumption 15: The settling time corresponding to the maximum attitude error for the p.sup.th subsystem is known.
[0081] Proposition 16: Suppose that Assumptions 4, 14 and 15 hold, if switching is performed at t=.sub.s when z.sub.1.sup.p(.sub.s) where .sub.s denotes the settling-time for the attitude errors, e.sub.R and e.sub., 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
[0082] Proof: Proposition 16 directly follows from the minimum value of (32) by employing (18):
[0083] 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.
[0084] Remark 18: The Assumption 15 requires that the settling time for the quadrotor for a p.sup.th configuration be known and this information can be approximated estimated as a rough upper bound from real experimental data.
[0085] 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 z.sub.1.sup.i(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 z.sub.1.sup.i(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 .sub.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).
[0086] 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 .sub.d which gets updated based on the attitude tracking error, the settling time .sub.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.
[0087] Signals from the MJT planner 110 are generated according to:
with the following boundary conditions:
where r.sub.des and {dot over (r)}.sub.des respectively denote the coordinates of the entrance of the passageway and the desired velocity to fly through the passageway, and max{.sub.s, .sub.d} where .sub.d is the minimum dwell time defined as t.sub.it.sub.j from (26) for the p.sup.th system.
VI. Results and Discussion
[0088] This section describes the various case scenarios simulated to validate the proposed controller for the switched system. The position controller shown in
[0089] 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].sup.Tm at t=9.02 s without giving rise to additional tracking errors as shown in
[0090] 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
[0091] A. Switching Signal. A piece-wise constant function : [0, ).fwdarw.. 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.
[0092] B. Hat Map. The hat map{circumflex over (.Math.)}: .fwdarw.SO(3) is a symmetric matrix operator defined by the condition that {circumflex over (x)}y=xy x, y
. An example is provided here: The angular velocity vector =[.sub.x, .sub.y, .sub.z].sup.T may be equivalently expressed as an angular velocity tensor, the matrix (or linear mapping) defined by:
[0093] C. Vee Map. The vee map v: SO(3).fwdarw. represents the inverse of the hat map and [.].sub.x is the new skew symmetric cross product matrix. For example, {circumflex over ()}.sup.v=.
[0094] D. Attitude dynamics and Y.sub.1. The attitude dynamics for an individual subsystem can be rewritten in the form of
where Y.sub.1 is given by
is the vector encompassing the unique elements of the moment of inertia tensor.
[0095] E. Definition of Y.sub.2. Y.sub.2 is defined as
[0096] 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).
[0097] Proof. Consider the individual subsystem's Lyapunov candidate p=1,2 . . . mas
In the sub-level set , we have
where z=[e.sub.R e.sub.].sup.T and W.sub.1.sup.p, W.sub.2.sup.p are given by
i.e.,
Differentiating along the solutions of the system
Now, substituting (37), (38), and (39), we obtain
Since
where W.sub.3.sup.p is given by (44)
Therefore,
Let
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[t.sub.0,t.sub.0+.sub.d), we have
[0098] 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
[0099] Proof
where d.sub.(h.sub.p.sub.p) is the Bregman divergence operator:
and the time-derivative of d.sub.(h.sub.p.sub.p) is
d.sub.(h.sub.p.sub.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=[z.sub.1, z.sub.2].sup.T=[e.sub.R, e.sub., d.sub.(h.sub.p.sub.p)].sup.2 and W.sub.11
is given by
Furthermore, we have
where z.sub.1=[e.sub.R, e.sub.].sup.T and W.sub.13.sup.p, W.sub.23.sup.p 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 W.sub.31.sup.p.sup. is defined in (56).
This implies that the errors z.sub.1=[e.sub.R, e.sub.].sup.T asymptotically converge to zero.
[0100] H. Case (3). In this section, we present the proof for the asymptotic stability of the attitude tracking errors of the p.sup.th subsystem in the presence of modeling uncertainty and external disturbances. The control torques are generated according to
where is a small positive constant.
[0101] Proof. Consider the following Lyapunov candidate:
Differentiating along the solutions of the system and employing (57), we obtain
Since
we obtain:
The last term in above equation is bounded by:
which implies bounded by:
Hence if is adaptively chosen such that z.sub.1(t).sup.TW.sub.31.sup.pz.sub.1(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.sub.=.sub.R+V for a small positive constant v and sign (e.sub.A) represents the sign of each element of the vector e.sub.A.
I. Results.
[0102] This section describes the various case scenarios simulated to validate the proposed controller for the switched system.
[0103] 1) Simulation Setup for
with the uncertainty set to:
[0104] 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
[0105] with the assumed bound as (.sub.R=0.5) for the robust controller. The results for angular velocity tracking and the corresponding control efforts are seen in
[0106] 3) Results for Proposed Controller in Sec. IV-C: Referring to
[0107] The tracking of the angular velocity and the attitude errors e.sub.R 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
[0108] Furthermore, from
VIII. Computer-Implemented System
[0109]
[0110] 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.).
[0111] 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.
[0112] 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.
[0113] 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.
[0114] 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.
[0115] 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.