arXiv subjects

Melvin Leok

Publications and source records attributed to Melvin Leok.

At least 73 records · Page 4Linked to original sources

arXiv2011

Control of Complex Maneuvers for a Quadrotor UAV using Geometric Methods on SE(3)

This paper provides new results for control of complex flight maneuvers for a quadrotor unmanned aerial vehicle (UAV). The flight maneuvers are defined by a concatenation of flight modes or primitives, each of which is achieved by a nonlinear controller that solves an output tracking problem. A mathematical model of the quadrotor UAV rigid body dynamics, defined on the configuration space $\SE$, is introduced as a basis for the analysis. The quadrotor UAV has four input degrees of freedom, namely the magnitudes of the four rotor thrusts; each flight mode is defined by solving an asymptotic optimal tracking problem. Although many flight modes can be studied, we focus on three output tracking problems, namely (1) outputs given by the vehicle attitude, (2) outputs given by the three position variables for the vehicle center of mass, and (3) output given by the three velocity variables for the vehicle center of mass. A nonlinear tracking controller is developed on the special Euclidean group $\SE$ for each flight mode, and the closed loop is shown to have desirable closed loop properties that are almost global in each case. Several numerical examples, including one example in which the quadrotor recovers from being initially upside down and another example that includes switching and transitions between different flight modes, illustrate the versatility and generality of the proposed approach.

math.OC↗

arXiv2011

Discrete Hamilton-Jacobi Theory

We develop a discrete analogue of Hamilton-Jacobi theory in the framework of discrete Hamiltonian mechanics. The resulting discrete Hamilton-Jacobi equation is discrete only in time. We describe a discrete analogue of Jacobi's solution and also prove a discrete version of the geometric Hamilton-Jacobi theorem. The theory applied to discrete linear Hamiltonian systems yields the discrete Riccati equation as a special case of the discrete Hamilton-Jacobi equation. We also apply the theory to discrete optimal control problems, and recover some well-known results, such as the Bellman equation (discrete-time HJB equation) of dynamic programming and its relation to the costate variable in the Pontryagin maximum principle. This relationship between the discrete Hamilton-Jacobi equation and Bellman equation is exploited to derive a generalized form of the Bellman equation that has controls at internal stages.

math.OC↗

arXiv2011

On the Geometry of Multi-Dirac Structures and Gerstenhaber Algebras

In a companion paper, we introduced a notion of multi-Dirac structures, a graded version of Dirac structures, and we discussed their relevance for classical field theories. In the current paper we focus on the geometry of multi-Dirac structures. After recalling the basic definitions, we introduce a graded multiplication and a multi-Courant bracket on the space of sections of a multi-Dirac structure, so that the space of sections has the structure of a Gerstenhaber algebra. We then show that the graph of a k-form on a manifold gives rise to a multi-Dirac structure and also that this multi-Dirac structure is integrable if and only if the corresponding form is closed. Finally, we show that the multi-Courant bracket endows a subset of the ring of differential forms with a graded Poisson bracket, and we relate this bracket to some of the multisymplectic brackets found in the literature.

math.DG↗

arXiv2011

Stable Manifolds of Saddle Points for Pendulum Dynamics on S^2 and SO(3)

Attitude control systems naturally evolve on nonlinear configuration spaces, such as S^2 and SO(3). The nontrivial topological properties of these configuration spaces result in interesting and complicated nonlinear dynamics when studying the corresponding closed loop attitude control systems. In this paper, we review some global analysis and simulation techniques that allow us to describe the global nonlinear stable manifolds of the hyperbolic equilibria of these closed loop systems. A deeper understanding of these invariant manifold structures are critical to understanding the global stabilization properties of closed loop control systems on nonlinear spaces, and these global analysis techniques are applicable to a broad range of problems on nonlinear configuration manifolds.

math.DS↗

arXiv2011

General Techniques for Constructing Variational Integrators

The numerical analysis of variational integrators relies on variational error analysis, which relates the order of accuracy of a variational integrator with the order of approximation of the exact discrete Lagrangian by a computable discrete Lagrangian. The exact discrete Lagrangian can either be characterized variationally, or in terms of Jacobi's solution of the Hamilton-Jacobi equation. These two characterizations lead to the Galerkin and shooting-based constructions for discrete Lagrangians, which depend on a choice of a numerical quadrature formula, together with either a finite-dimensional function space or a one-step method. We prove that the properties of the quadrature formula, finite-dimensional function space, and underlying one-step method determine the order of accuracy and momentum-conservation properties of the associated variational integrators. We also illustrate these systematic methods for constructing variational integrators with numerical examples.

math.NA↗

arXiv2011

Prolongation-Collocation Variational Integrators

We introduce a novel technique for constructing higher-order variational integrators for Hamiltonian systems of ODEs. In particular, we are concerned with generating globally smooth approximations to solutions of a Hamiltonian system. Our construction of the discrete Lagrangian adopts Hermite interpolation polynomials and the Euler-Maclaurin quadrature formula, and involves applying collocation to the Euler-Lagrange equation and its prolongation. Considerable attention is devoted to the order analysis of the resulting variational integrators in terms of approximation properties of the Hermite polynomials and quadrature errors. A performance comparison is presented on a selection of these integrators.

math.NA↗

arXiv2010

Stokes-Dirac Structures through Reduction of Infinite-Dimensional Dirac Structures

We consider the concept of Stokes-Dirac structures in boundary control theory proposed by van der Schaft and Maschke. We introduce Poisson reduction in this context and show how Stokes-Dirac structures can be derived through symmetry reduction from a canonical Dirac structure on the unreduced phase space. In this way, we recover not only the standard structure matrix of Stokes-Dirac structures, but also the typical non-canonical advection terms in (for instance) the Euler equation.

math.DG↗

arXiv2010

Geometric Numerical Integration for Complex Dynamics of Tethered Spacecraft

This paper presents an analytical model and a geometric numerical integrator for a tethered spacecraft model that is composed of two rigid bodies connected by an elastic tether. This model includes important dynamic characteristics of tethered spacecraft in orbit, namely the nonlinear coupling between deformations of tether, rotational dynamics of rigid bodies, a reeling mechanism, and orbital dynamics. A geometric numerical integrator, referred to as a Lie group variational integrator, is developed to numerically preserve the Hamiltonian structure of the presented model and its Lie group configuration manifold. The structure-preserving properties are particularly useful for studying complex dynamics of a tethered spacecraft over a long period of time. These properties are illustrated by numerical simulations.

math.DS↗

arXiv2010

Discrete Hamiltonian Variational Integrators

We consider the continuous and discrete-time Hamilton's variational principle on phase space, and characterize the exact discrete Hamiltonian which provides an exact correspondence between discrete and continuous Hamiltonian mechanics. The variational characterization of the exact discrete Hamiltonian naturally leads to a class of generalized Galerkin Hamiltonian variational integrators, which include the symplectic partitioned Runge-Kutta methods. We also characterize the group invariance properties of discrete Hamiltonians which lead to a discrete Noether's theorem.

math.NA↗

arXiv2009

Computational Geometric Optimal Control of Connected Rigid Bodies in a Perfect Fluid

This paper formulates an optimal control problem for a system of rigid bodies that are connected by ball joints and immersed in an irrotational and incompressible fluid. The rigid bodies can translate and rotate in three-dimensional space, and each joint has three rotational degrees of freedom. We assume that internal control moments are applied at each joint. We present a computational procedure for numerically solving this optimal control problem, based on a geometric numerical integrator referred to as a Lie group variational integrator. This computational approach preserves the Hamiltonian structure of the controlled system and the Lie group configuration manifold of the connected rigid bodies, thereby finding complex optimal maneuvers of connected rigid bodies accurately and efficiently. This is illustrated by numerical computations.

math.OC↗

arXiv2009

Computational Dynamics of a 3D Elastic String Pendulum Attached to a Rigid Body and an Inertially Fixed Reel Mechanism

A high fidelity model is developed for an elastic string pendulum, one end of which is attached to a rigid body while the other end is attached to an inertially fixed reel mechanism which allows the unstretched length of the string to be dynamically varied. The string is assumed to have distributed mass and elasticity that permits axial deformations. The rigid body is attached to the string at an arbitrary point, and the resulting string pendulum system exhibits nontrivial coupling between the elastic wave propagation in the string and the rigid body dynamics. Variational methods are used to develop coupled ordinary and partial differential equations of motion. Computational methods, referred to as Lie group variational integrators, are then developed, based on a finite element approximation and the use of variational methods in a discrete-time setting to obtain discrete-time equations of motion. This approach preserves the geometry of the configurations, and leads to accurate and efficient algorithms that have guaranteed accuracy properties that make them suitable for many dynamic simulations, especially over long simulation times. Numerical results are presented for typical examples involving a constant length string, string deployment, and string retrieval. These demonstrate the complicated dynamics that arise in a string pendulum from the interaction of the rigid body motion, elastic wave dynamics in the string, and the disturbances introduced by the reeling mechanism. Such interactions are dynamically important in many engineering problems, but tend be obscured in lower fidelity models.

math.DS↗

arXiv2009

Dynamics of a 3D Elastic String Pendulum

This paper presents an analytical model and a geometric numerical integrator for a rigid body connected to an elastic string, acting under a gravitational potential. Since the point where the string is attached to the rigid body is displaced from the center of mass of the rigid body, there exist nonlinear coupling effects between the string deformation and the rigid body dynamics. A geometric numerical integrator, refereed to as a Lie group variational integrator, is developed to numerically preserve the Hamiltonian structure of the presented model and its Lie group configuration manifold. These properties are illustrated by a numerical simulation.

math.NA↗

arXiv2008

Dynamics of Connected Rigid Bodies in a Perfect Fluid

This paper presents an analytical model and a geometric numerical integrator for a system of rigid bodies connected by ball joints, immersed in an irrotational and incompressible fluid. The rigid bodies can translate and rotate in three-dimensional space, and each joint has three rotational degrees of freedom. This model characterizes the qualitative behavior of three-dimensional fish locomotion. A geometric numerical integrator, refereed to as a Lie group variational integrator, preserves Hamiltonian structures of the presented model and its Lie group configuration manifold. These properties are illustrated by a numerical simulation for a system of three connected rigid bodies.

math.NA↗

arXiv2008

Computational Geometric Optimal Control of Rigid Bodies

This paper formulates optimal control problems for rigid bodies in a geometric manner and it presents computational procedures based on this geometric formulation for numerically solving these optimal control problems. The dynamics of each rigid body is viewed as evolving on a configuration manifold that is a Lie group. Discrete-time dynamics of each rigid body are developed that evolve on the configuration manifold according to a discrete version of Hamilton's principle so that the computations preserve geometric features of the dynamics and guarantee evolution on the configuration manifold; these discrete-time dynamics are referred to as Lie group variational integrators. Rigid body optimal control problems are formulated as discrete-time optimization problems for discrete Lagrangian/Hamiltonian dynamics, to which standard numerical optimization algorithms can be applied. This general approach is illustrated by presenting results for several different optimal control problems for a single rigid body and for multiple interacting rigid bodies. The computational advantages of the approach, that arise from correctly modeling the geometry, are discussed.

math.OC↗

arXiv2008

Global Symplectic Uncertainty Propagation on SO(3)

This paper introduces a global uncertainty propagation scheme for rigid body dynamics, through a combination of numerical parametric uncertainty techniques, noncommutative harmonic analysis, and geometric numerical integration. This method is distinguished from prior approaches, as it allows one to consider probability densities that are global, and are not supported on only a single coordinate chart on the manifold. The use of Lie group variational integrators, that are symplectic and stay on the Lie group, as the underlying numerical propagator ensures that the advected probability densities respect the geometric properties of uncertainty propagation in Hamiltonian systems, which arise as consequence of the Gromov nonsqueezing theorem from symplectic geometry. We also describe how the global uncertainty propagation scheme can be applied to the problem of global attitude estimation.

math.DS↗

arXiv2007

Geometric structure-preserving optimal control of the rigid body

In this paper we study a discrete variational optimal control problem for the rigid body. The cost to be minimized is the external torque applied to move the rigid body from an initial condition to a pre-specified terminal condition. Instead of discretizing the equations of motion, we use the discrete equations obtained from the discrete Lagrange--d'Alembert principle, a process that better approximates the equations of motion. Within the discrete-time setting, these two approaches are not equivalent in general. The kinematics are discretized using a natural Lie-algebraic formulation that guarantees that the flow remains on the Lie group SO(3) and its algebra so(3). We use Lagrange's method for constrained problems in the calculus of variations to derive the discrete-time necessary conditions. We give a numerical example for a three-dimensional rigid body maneuver.

math.OC↗

arXiv2007

Time Optimal Attitude Control for a Rigid Body

A time optimal attitude control problem is studied for the dynamics of a rigid body. The objective is to minimize the time to rotate the rigid body to a desired attitude and angular velocity while subject to constraints on the control input. Necessary conditions for optimality are developed directly on the special orthogonal group using rotation matrices. They completely avoid singularities associated with local parameterizations such as Euler angles, and they are expressed as compact vector equations. In addition, a discrete control method based on a geometric numerical integrator, referred to as a Lie group variational integrator, is proposed to compute the optimal control input. The computational approach is geometrically exact and numerically efficient. The proposed method is demonstrated by a large-angle maneuver for an elliptic cylinder rigid body.

math.OC↗

arXiv2007

Nonlinear Dynamics of the 3D Pendulum

A 3D pendulum consists of a rigid body, supported at a fixed pivot, with three rotational degrees of freedom. The pendulum is acted on by a gravitational force. Symmetry assumptions are shown to lead to the planar 1D pendulum and to the spherical 2D pendulum models as special cases. The case where the rigid body is asymmetric and the center of mass is distinct from the pivot location leads to the 3D pendulum. Full and reduced 3D pendulum models are introduced and used to study important features of the nonlinear dynamics: conserved quantities, equilibria, invariant manifolds, local dynamics near equilibria and invariant manifolds, and the presence of chaotic motions. These results demonstrate the rich and complex dynamics of the 3D pendulum.

math.DS↗