skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Geometric Attitude Control via Contraction on Manifolds with Automatic Gain Selection
In this paper we propose a new analysis of a simple geometric attitude controller, showing that it is locally exponentially stable and almost globally asymptotically stable; the exponential convergence region is much larger than existing non-hybrid geometric controllers (and covers almost the entire rotation space). The controller's stability is proved using contraction analysis combined with optimization. The key in this combination is that the contraction metric is a linear matrix inequality with a special structure stemming from the configuration manifold SO(3). As an additional contribution, we propose a general framework to automatically select controller gains by optimizing bounds on the system's convergence rate; while this principle is quite general, its application is particularly straightforward with our contraction-based analysis. We demonstrate our results through simulations.  more » « less
Award ID(s):
1728277
PAR ID:
10179919
Author(s) / Creator(s):
;
Date Published:
Journal Name:
IEEE Conference on Decision and Control (CDC)
Page Range / eLocation ID:
6138 to 6145
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. null (Ed.)
    In this paper, we present a simple geometric attitude controller that is globally, exponentially stable. To overcome the topological restriction, the controller is designed to follow a reference trajectory that in turn converges to the desired equilibrium (making it discontinuous in the initial conditions, but continuous in time). The system and reference dynamics are studied as a single augmented system that can be analyzed and tuned simultaneously. The controller's stability is proved using contraction analysis (on the manifold), and the bounds on the convergence rate can be found via a semi-definite program with linear matrix inequalities. Additionally, our approach allows the use of the Nelder-Mead algorithm to automatically select controller gains and reference trajectory parameters by optimizing the aforementioned bounds. The resulting controller is verified through simulations. 
    more » « less
  2. An omnidirectional multirotor has the maneuverability of decoupled translational and rotational motions, superseding the traditional multirotors' motion capability. Such maneuverability is achieved due to the ability of the omnidirectional multirotor to frequently alter the thrust amplitude and direction. In doing so, the rotors' settling time, which is induced by inherent rotor dynamics, significantly affects the omnidirectional multirotor's tracking performance, especially in aggressive flights. To resolve this issue, we propose a novel tracking controller that takes the rotor dynamics into account and does not require additional rotor state measurement. This is achieved by integrating a linear rotor dynamics model into the vehicle's equations of motion and designing a PD controller to compensate for the effects introduced by rotor dynamics. We prove that the proposed controller yields almost global exponential stability. The proposed controller is validated in experiments, where we demonstrate significantly improved tracking performance in multiple aggressive maneuvers compared with a baseline geometric PD controller. 
    more » « less
  3. This paper presents a nonlinear finite-time stable attitude estimation scheme for a rigid body with unknown dynamics. Attitude is estimated from a minimum of two linearly independent known vectors measured in the body-fixed frame, and the angular velocity vector is assumed to have a constant bias in addition to measurement errors. Estimated attitude evolves directly on the special Euclidean group SO(3), avoiding any ambiguities. The constant bias in angular velocity measurements is also estimated. The estimation scheme is proven to be almost globally finite time stable in the absence of measurement errors using a Lyapunov analysis. For digital implementation, the estimation scheme is discretized as a geometric integrator. Numerical simulations demonstrate the robustness and convergence capabilities of the estimation scheme. 
    more » « less
  4. Infinitesimal contraction analysis, wherein global convergence results are obtained from properties of local dynamics, is a powerful analysis tool. In this paper, we generalize infinitesimal contraction analysis to hybrid systems in which state-dependent guards trigger transitions defined by reset maps between modes that may have different norms and need not be of the same dimension. In contrast to existing literature, we do not restrict mode sequence or dwell time. We work in settings where the hybrid system flow is differentiable almost everywhere and its derivative is the solution to a jump-linear-time-varying differential equation whose jumps are defined by a saltation matrix determined from the guard, reset map, and vector field. Our main result shows that if the vector field is infinitesimally contracting, and if the saltation matrix is non-expansive, then the intrinsic distance between any two trajectories decreases exponentially in time. When bounds on dwell time are available, our approach yields a bound on the intrinsic distance between trajectories regardless of whether the dynamics are expansive or contractive. We illustrate our results using wo examples: a constrained mechanical system and an electrical circuit with an ideal diode. 
    more » « less
  5. Infinitesimal contraction analysis, wherein global convergence results are obtained from properties of local dynamics, is a powerful analysis tool. In this letter, we generalize infinitesimal contraction analysis to hybrid systems in which state-dependent guards trigger transitions defined by reset maps between modes that may have different norms and need not be of the same dimension. In contrast to existing literature, we do not restrict mode sequence or dwell time. We work in settings where the hybrid system flow is differentiable almost everywhere and its derivative is the solution to a jump-linear-time-varying differential equation whose jumps are defined by a saltation matrix determined from the guard, reset map, and vector field. Our main result shows that if the vector field is infinitesimally contracting, and if the saltation matrix is non-expansive, then the intrinsic distance between any two trajectories decreases exponentially in time. When bounds on dwell time are available, our approach yields a bound on the intrinsic distance between trajectories regardless of whether the dynamics are expansive or contractive. We illustrate our results using two examples: a constrained mechanical system and an electrical circuit with an ideal diode. 
    more » « less