Variational estimation of a mechanical system is based on the application of variational principles from mechanics to state estimation of the system evolving on its configuration manifold. If the configuration manifold is a Lie group, then the underlying group structure can be used to design nonlinearly stable observers for estimation of configuration and velocity states from measurements. Measured quantities are on a vector space on which the Lie group acts smoothly. We formulate the design of variational observers on a general finite-dimensional Lie group, followed by the design and experimental evaluation of a variational observer for rigid body motions on the Lie group SE(3).
more »
« less
A Variational Observer on Spheres and its Application to Pointing Direction Motion Estimation
We consider estimation of motion on spheres as a variational problem. The concept of variational estimation for mechanical systems is based on application of variational principles from mechanics, to state estimation of mechanical systems evolving on configuration manifolds. If the configuration manifold is a symmetric space, then the overlying connected Lie group of which it is a quotient space, can be used to design nonlinearly stable observers for estimation of configuration and velocity states from measurements. If the configuration manifold is a sphere, then it can be globally represented by an unit vector. We illustrate the design of variational observers for mechanical systems evolving on spheres, through its application to estimation of pointing directions (reduced attitude) on the regular sphere S^2.
more »
« less
- Award ID(s):
- 2343062
- PAR ID:
- 10574417
- Publisher / Repository:
- IEEE
- Date Published:
- ISBN:
- 979-8-3503-1633-9
- Page Range / eLocation ID:
- 8696 to 8701
- Subject(s) / Keyword(s):
- Manifolds Noise Observers Numerical simulation Stability analysis Robustness Vectors Mechanical systems Velocity measurement Numerical stability
- Format(s):
- Medium: X
- Location:
- Milan, Italy
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract A variational formulation for accelerated optimization on normed vector spaces was recently introduced in Wibisono et al. (PNAS 113:E7351–E7358, 2016), and later generalized to the Riemannian manifold setting in Duruisseaux and Leok (SJMDS, 2022a). This variational framework was exploited on normed vector spaces in Duruisseaux et al. (SJSC 43:A2949–A2980, 2021) using time-adaptive geometric integrators to design efficient explicit algorithms for symplectic accelerated optimization, and it was observed that geometric discretizations which respect the time-rescaling invariance and symplecticity of the Lagrangian and Hamiltonian flows were substantially less prone to stability issues, and were therefore more robust, reliable, and computationally efficient. As such, it is natural to develop time-adaptive Hamiltonian variational integrators for accelerated optimization on Riemannian manifolds. In this paper, we consider the case of Riemannian manifolds embedded in a Euclidean space that can be characterized as the level set of a submersion. We will explore how holonomic constraints can be incorporated in discrete variational integrators to constrain the numerical discretization of the Riemannian Hamiltonian system to the Riemannian manifold, and we will test the performance of the resulting algorithms by solving eigenvalue and Procrustes problems formulated as optimization problems on the unit sphere and Stiefel manifold.more » « less
-
In this paper, we study closed four-dimensional manifolds. In particular, we show that under various pinching curvature conditions (for example, the sectional curvature is no more than 5 6 of the smallest Ricci eigenvalue), the manifold is definite. If restricting to a metric with harmonic Weyl tensor, then it must be self-dual or anti-self-dual under the same conditions. Similarly, if restricting to an Einstein metric, then it must be either the complex projective space with its Fubini-Study metric, the round sphere, or their quotients. Furthermore, we also classify Einstein manifolds with positive intersection form and an upper bound on the sectional curvature.more » « less
-
Gaussian processes (GPs) are very widely used for modeling of unknown functions or surfaces in applications ranging from regression to classification to spatial processes. Although there is an increasingly vast literature on applications, methods, theory and algorithms related to GPs, the overwhelming majority of this literature focuses on the case in which the input domain corresponds to a Euclidean space. However, particularly in recent years with the increasing collection of complex data, it is commonly the case that the input domain does not have such a simple form. For example, it is common for the inputs to be restricted to a non-Euclidean manifold, a case which forms the motivation for this article. In particular, we propose a general extrinsic framework for GP modeling on manifolds, which relies on embedding of the manifold into a Euclidean space and then constructing extrinsic kernels for GPs on their images. These extrinsic Gaussian processes (eGPs) are used as prior distributions for unknown functions in Bayesian inferences. Our approach is simple and general, and we show that the eGPs inherit fine theoretical properties from GP models in Euclidean spaces. We consider applications of our models to regression and classification problems with predictors lying in a large class of manifolds, including spheres, planar shape spaces, a space of positive definite matrices, and Grassmannians. Our models can be readily used by practitioners in biological sciences for various regression and classification problems, such as disease diagnosis or detection. Our work is also likely to have impact in spatial statistics when spatial locations are on the sphere or other geometric spaces.more » « less
An official website of the United States government

