A discrete geometric optimal control framework for systems with symmetries. Complex geometry and representations of lie groups 205 subgroup b c g corresponding to a borel subalgebra b c g is defined to be the gnormalizer of b, that is, 1. Controllability and optimal control for leftinvariant problems on lie groups are addressed. A discrete optimal control problem was formulated for the. We show how these representations generate extremals for optimal control problems. Tata institute of fundamental research, bombay 1969. Computational geometric mechanics, control, and estimation. Both spatial and temporal discretization are implemented in a geometry preserving manner. Outline 1 invariant control systems introduction equivalences 2 optimal control and pontryagin maximum principle invariant optimal control problems costextended systems 3 quadratic hamiltonpoisson systems liepoisson structure examples 4 outlook rory biggs rhodes geometric control on lie groups march 29, 20 3 40. These structures, borrowed from mathematical physics, are both algebraic groups and smooth manifolds. The geometry of optimal control solutions on some six. Discrete geometric optimal control on lie groups ieee journals. The abstract formulation of discrete optimal control problems on lie groups is.
Introduction to geometric control theory controllability. We consider the optimal control of mechanical systems on lie groups and develop numerical methods that exploit the structure of the state space and preserve the system motion invariants. Discrete optimal control of interconnected mechanical. This paper considers leftinvariant control affine systems evolving on matrix lie groups. A key property of a lie group is that a curved space can be studied, using.
Computational geometric optimal control optimal control on lie groups sec. Introduction real physical systems often admit complex con. A discrete geometric optimal control framework for. We can perform linear combinations and lie brackets.
Marsden abstractwe consider the optimal control of mechanical systems on lie groups and develop numerical methods which exploit the structure of the state space and preserve the system motion invariants. At the core of our formulation is a discrete lagranged. In this paper we study a discrete variational optimal control problem for the rigid body. Five lectures on lattices in semisimple lie groups 5 b1 a12a21 0.
Multisymplectic lie group variational integrator for a. Optimal control for holonomic and nonholonomic mechanical. Geometric structurepreserving optimal control of the. In keeping with omission of the transpose on vectors, u, x, p will be used for. Lie groups relies on the same ideas which, supported by additional machinery from homotopy theory, give structure theorems for pcompact groups. In mathematics, a discrete subgroup of a topological group g is a subgroup h such that there is an open cover of g in which every open subset contains exactly one element of h. At the core of our formulation is a discrete lagrangedalembert. Discrete mechanics and optimal control dmoc, see 9. We consider the optimal control of mechanical systems on lie groups and develop numerical methods that exploit the structure of the. Our approach is based on a coordinatefree variational discretization of the dynamics that leads to structurepreserving discrete equations of motion. Inverse dynamics for discrete geometric mechanics of. Discrete geometric optimal control on lie groups abstract.
Motivated by recent developments in discrete geometric mechanics we develop a general framework for integrating the dynamics of holonomic and nonholonomic vehicles by preserving their statespace geometry and motion invariants. This paper is concerned with the animation and control of vehicles with complex dynamics such as helicopters, boats, and cars. Sachkov, discrete symmetries in the generalized dido problem. Our approach is based on a coordinatefree variational discretization of the dynamics that leads to. Lie group integrators for animation and control of vehicles. The goal of this paper is to derive a structure preserving integrator for geometrically exact beam dynamics, by using a lie group variational integrator. This paper presents the approach of computational geometric optimal control for the dynamics of rigid bodies on a lie group. This article is concerned with the animation and control of vehicles with complex dynamics such as helicopters, boats, and cars. Insection 3, we formulate the optimal dual control prob. Index termsgeometric control, differential dynamic programming, discrete optimal control, lie groups i. The benefit of such an approach is that it makes use of the special structure of the system, especially its symmetry structure, and thus. Solving optimal control problems by exploiting inherent dynamical systems structures. Embedded geodesic problems and optimal control for matrix. Our work extends the recently developed geometric lie group in tegrators.
Dynamical systems control systems reachable sets and controllability af. In this paper we establish necessary conditions for optimal control using the ideas of lagrangian reduction in the sense of reduction under a symmetry group. Oneparameter groups of spiral similarities and focus for linear ode. Discrete geometric optimal control on lie groups core. Geometric structures, symmetry and elements of lie groups 3 similarities. The author demonstrates an overlap with mathematical physics using the maximum principle, a fundamental concept of optimality arising from geometric control, which is applied to timeevolving systems governed by physics as well as to manmade systems governed by. Any leftinvariant optimal control problem with quadratic cost can be lifted, via the celebrated maximum. Trajectory planning for cubesat short timescale proximity operations.
The techniques developed here are designed for lagrangian mechanical control systems with symmetry. An overview of lie group variational integrators and their applications to optimal control international conference on scientific computation and differential equations, saintmalo, france, july 9, p. This paper is devoted to a detailed analysis of the geodesic problem on matrix lie groups, with left invariant metric, by examining representations of embeddings of geodesic flows in suitable vector spaces. Lecture notes of an introductory course on control theory on lie groups. We construct necessary conditions for optimal trajectories. Discrete shapes can be described and analyzed using lie groups, which are mathematical structures having both algebraic and geometrical properties. In this paper we will discuss some new developments in the design of numerical methods for optimal control problems of lagrangian systems on lie groups.
Invertibility of control systems on lie groups siam. Discrete geometric optimal control on lie groups 2011, m. A discrete geometric optimal control framework for systems with symmetries marin kobilarov usc mathieu desbrun caltech jerrold e. Discrete geometric optimal control on lie groups article in ieee transactions on robotics 274. Motion on lie groups and its applications in control theory. Some important control systems in mechanics, physics, geometry etc.
Index termsdiscrete mechanics, geometric optimization, lie groups, optimal control, underactuated systems. Solution of discretetime optimal control problems on. Dual quaternion variational integrator for rigid body dynamic simulation 2016, j. Discretetime maximum principle on matrix lie groups arxiv. Remsing rhodes university geometric optimal control palermo, 9 july 20 1 44.
Discrete geometric optimal control on lie groups ieee xplore. Their combined citations are counted only for the first article. Lie group integrators preserve symmetry and group structure for systems with. Symmetry, integrability and the hamiltonjacobi theory. Quantum mechanics and quantum information theory 12.
For example, the integers, z, form a discrete subgroup of the reals, r with the standard metric topology, but the rational numbers, q, do not. Discrete geometric optimal control on lie groups ieee. Geometric integrators are numerical methods that preserve the geometric. Discrete time optimal control applied to pest control problems 481 the paper is organized as follows. Mostow notes by gopal prasad no part of this book may be reproduced in any form by print, micro. It can be shown, for example, that the set of rigid body transformations behaves as a differentiable manifold 1. Discrete time optimal control applied to pest control problems. Weissobservation and control for operator semigroups h. To our knowledge the only sources that discuss versions of the pmp for discrete time geometric optimal control problems are kipka and gupta 2019 and phogat, chatterjee, and banavar 2018. Discrete geometric optimal control of multibody systems.
Discrete mechanics and variational integrators 2001, j. Discrete time lagrangian mechanics on lie groups, with an application to the lagrange top. We will construct these geometric integrators using discrete variational calculus on lie groups, deriving a discrete version of the secondorder eulerlagrange equations. Thepcompact groups seem to be the best available homotopical analogues of compact lie groups 10, 11, 12, but analytical objects like lie algebras are not available for them. Optimal control, pontryagins principle, control systems on manifolds, lie groups 1 pontryagins principle let us consider the simplest version of a controltheoretical problem. If both a12 and a21 are equal to 0, then the product. We construct a general optimization framework for systems on lie groups and demonstrate its application to rigid body motion groups as well as to any real matrix. The former establishes a pmp for a class of smooth control systems evolving on lie groups under mild structural assumptions on the system dynamics. Discrete geometric optimal control on lie groups marin kobilarov and jerrold e. This paper studies optimal control of multibody systems by constructing numerical methods operating intrinsically in the state space manifold and exploiting its lie group structure. A general theory is accompanied by concrete examples. B has lie algebra b, b is a closed connected subgroup of g, and b is its own normalizer in g. Sukhatme usc abstractthis paper studies the optimal motion control of mechanical systems through a discrete geometric approach. An introduction to optimal control problem the use of pontryagin maximum principle.
Optimal control, pontryagins principle, control systems on manifolds, lie groups 1 pontryagins principle let us consider the simplest version of a control theoretical problem. A simple proof of the discrete time geometric pontryagin. Motivated by recent developments in discrete geometric mechanics, we develop a general framework for integrating the dynamics of holonomic and nonholonomic vehicles by preserving their statespace geometry and motion invariants. Discrete geometric optimal control of multibody systems marin kobilarov dept.
1229 549 632 529 1426 985 965 1216 186 1497 979 339 725 364 529 1207 7 1263 1246 209 690 60 442 1282 1267 1354 735 810 53 1145 612 657