Abstractions of Hamiltonian control systems

Given a control system and a desired property, an abstracted system is a reduced system that preserves the property of interest while ignoring modeling detail. In previous work, abstractions of linear and nonlinear control systems were considered while preserving reachability properties. In this paper, we consider the abstraction problem for Hamiltonian control systems, where, in addition to the property of interest we also preserve the Hamiltonian structure of the control system. We show how the Hamiltonian structure of control systems can be exploited to simplify the abstraction process. We then focus on local accessibility preserving abstractions, and provide conditions under which local accessibility properties of the abstracted Hamiltonian system are equivalent to the local accessibility properties of the original Hamiltonian control system.

[1]  Anthony M. Bloch,et al.  Nonlinear Dynamical Control Systems (H. Nijmeijer and A. J. van der Schaft) , 1991, SIAM Review.

[2]  M MurrayRichard,et al.  Tracking for fully actuated mechanical systems , 1999 .

[3]  Paulo Tabuada,et al.  Quotients of Fully Nonlinear Control Systems , 2005, SIAM J. Control. Optim..

[4]  Tudor Ratiu,et al.  Reduction of Poisson manifolds , 1986 .

[5]  R. Abraham,et al.  Manifolds, Tensor Analysis, and Applications , 1983 .

[6]  Naomi Ehrich Leonard,et al.  Controllability and motion algorithms for underactuated Lagrangian systems on Lie groups , 2000, IEEE Trans. Autom. Control..

[7]  George J. Pappas,et al.  Consistent abstractions of affine control systems , 2002, IEEE Trans. Autom. Control..

[8]  Naomi Ehrich Leonard,et al.  Controlled Lagrangians and the stabilization of mechanical systems. II. Potential shaping , 2001, IEEE Trans. Autom. Control..

[9]  V. Jurdjevic.  Geometric control theory , 1996 .

[10]  A. Weinstein.  Local structure of Poisson manifolds , 2021, Lectures on Poisson Geometry.

[11]  Arjan van der Schaft,et al.  Symmetries and conservation laws for Hamiltonian Systems with inputs and outputs , 1981 .

[12]  J. Marsden,et al.  Optimal Control for Holonomic and Nonholonomic Mechanical Systems with Symmetry and Lagrangian Reduction , 1997 .

[13]  P. Krishnaprasad,et al.  Nonholonomic mechanical systems with symmetry , 1996 .

[14]  Arjan van der Schaft,et al.  Interconnected mechanical systems, part I: geometry of interconnection and implicit Hamiltonian systems , 1997 .

[15]  Charles-Michel Marle,et al.  Symplectic geometry and analytical mechanics , 1987 .

[16]  A. Isidori.  Nonlinear Control Systems , 1985 .

[17]  Gloria Alvarez,et al.  Controllability of poisson control systems with symmetries , 1989 .

[18]  Alan Weinstein,et al.  Errata and addenda: ``The local structure of Poisson manifolds'' , 1985 .

[19]  P. Krishnaprasad,et al.  The dynamics of coupled planar rigid bodies. Part I: reduction, equilibria and stability , 1987 .

[20]  George J. Pappas,et al.  Hierarchically consistent control systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[21]  R. Abraham,et al.  Manifolds, tensor analysis, and applications: 2nd edition , 1988 .

[22]  Naomi Ehrich Leonard,et al.  Controlled Lagrangians and the stabilization of mechanical systems. I. The first matching theorem , 2000, IEEE Trans. Autom. Control..

[23]  Richard M. Murray,et al.  Tracking for fully actuated mechanical systems: a geometric framework , 1999, Autom..

[24]  J. Marsden,et al.  Reduction of symplectic manifolds with symmetry , 1974 .

[25]  Arjan van der Schaft,et al.  Symmetries and conservation laws for Hamiltonian Systems with inputs and outputs : A generalization of Noether's theorem , 1981 .

[26]  N. Woodhouse,et al.  SYMPLECTIC GEOMETRY AND ANALYTICAL MECHANICS (Mathematics and Its Applications) , 1988 .

[27]  J. Marsden,et al.  Introduction to mechanics and symmetry , 1994 .

[28]  R. Ortega,et al.  Energy-shaping of port-controlled Hamiltonian systems by interconnection , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[29]  Perinkulam S. Krishnaprasad,et al.  Lie-Poisson structures, dual-spin spacecraft and asymptotic stability , 1985 .