Dissipation-Induced Heteroclinic Orbits in Tippe Tops

This paper demonstrates that the conditions for the existence of a dissipation-induced heteroclinic orbit between the inverted and noninverted states of a tippe top are determined by a complex version of the equations for a simple harmonic oscillator: the modified Maxwell–Bloch equations. A standard linear analysis reveals that the modified Maxwell–Bloch equations describe the spectral instability of the noninverted state and Lyapunov stability of the inverted state. Standard nonlinear analysis based on the energy momentum method gives necessary and sufficient conditions for the existence of a dissipation-induced connecting orbit between these relative equilibria

Foundations of the Geometric Mechanics Udwadia-Kalaba Framework for Rigid Body Constrained Motion Analysis

Presented herein are multiple tools for constrained motion analysis extended to different dynamical frameworks. The Udwadia-Kalaba (UK) formalism for the constrained motion analysis of a point mass is a well-documented and applied methodology. Here, UK formulation is generalized to the dynamics of rigid bodies on nonlinear manifolds in the geometric mechanics framework. This approach simultaneously treats rotational and translational motion in a unified method without encountering singularites or non-uniqueness, issues that would arise were attitude parameterization sets used. The viability of this geometric mechanics UK formalism is demonstrated for the cases of fully and underconstrained systems. The nominal UK formalism requires the complete knowledge of the system dynamics. In the presence of unmodeled dynamics or uncertainties in the system, the stability of the system cannot be assessed using the nominal UK formulation. Therefore, a controller is presented that stabilizes the system under unmodeled dynamics and external perturbations. In addition, the UK formulation has been historically applied to systems with equality constraints. However, it has not been formulated for usage with inequality constraints. Here, the implementation of slack and excess variables to treat this class of constraints is presented for usage within the UK formulation for the point mass constrained motion with inequality constraints. Also contained within is an extension of pre-existing work which models the gravitational force acting on a rigid body from a nonuniform gravitational field that holds for any degree and order of spherical harmonics

Lyapunov constraints and global asymptotic stabilization

In this paper, we develop a method for stabilizing underactuated mechanical systems by imposing kinematic constraints (more precisely Lyapunov constraints). If these constraints can be implemented by actuators, i.e., if there exists a related constraint force exerted by the actuators, then the existence of a Lyapunov function for the system under consideration is guaranteed. We establish necessary and sufficient conditions for the existence and uniqueness of constraint forces. These conditions give rise to a system of PDEs whose solution is the required Lyapunov function. To illustrate our results, we solve these PDEs for certain underactuated mechanical systems of interest such as the inertia wheel-pendulum, the inverted pendulum on a cart system and the ball and beam system

AI based Robot Safe Learning and Control

Introduction This open access book mainly focuses on the safe control of robot manipulators. The control schemes are mainly developed based on dynamic neural network, which is an important theoretical branch of deep reinforcement learning. In order to enhance the safety performance of robot systems, the control strategies include adaptive tracking control for robots with model uncertainties, compliance control in uncertain environments, obstacle avoidance in dynamic workspace. The idea for this book on solving safe control of robot arms was conceived during the industrial applications and the research discussion in the laboratory. Most of the materials in this book are derived from the authors’ papers published in journals, such as IEEE Transactions on Industrial Electronics, neurocomputing, etc. This book can be used as a reference book for researcher and designer of the robotic systems and AI based controllers, and can also be used as a reference book for senior undergraduate and graduate students in colleges and universities

Correct-By-Construction Control Synthesis for Systems with Disturbance and Uncertainty

This dissertation focuses on correct-by-construction control synthesis for Cyber-Physical Systems (CPS) under model uncertainty and disturbance. CPSs are systems that interact with the physical world and perform complicated dynamic tasks where safety is often the overriding factor. Correct-by-construction control synthesis is a concept that provides formal performance guarantees to closed-loop systems by rigorous mathematic reasoning. Since CPSs interact with the environment, disturbance and modeling uncertainty are critical to the success of the control synthesis. Disturbance and uncertainty may come from a variety of sources, such as exogenous disturbance, the disturbance caused by co-existing controllers and modeling uncertainty. To better accommodate the different types of disturbance and uncertainty, the verification and control synthesis methods must be chosen accordingly. Four approaches are included in this dissertation. First, to deal with exogenous disturbance, a polar algorithm is developed to compute an avoidable set for obstacle avoidance. Second, a supervised learning based method is proposed to design a good student controller that has safety built-in and rarely triggers the intervention of the supervisory controller, thus targeting the design of the student controller. Third, to deal with the disturbance caused by co-existing controllers, a Lyapunov verification method is proposed to formally verify the safety of coexisting controllers while respecting the confidentiality requirement. Finally, a data-driven approach is proposed to deal with model uncertainty. A minimal robust control invariant set is computed for an uncertain dynamic system without a given model by first identifying the set of admissible models and then simultaneously computing the invariant set while selecting the optimal model. The proposed methods are applicable to many real-world applications and reflect the notion of using the structure of the system to achieve performance guarantees without being overly conservative.PHDMechanical EngineeringUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttps://deepblue.lib.umich.edu/bitstream/2027.42/145933/1/chenyx_1.pd

Passive stabilization for large space systems

The optimal tuning of multiple tuned-mass dampers for the transient vibration damping of large space structures is investigated. A multidisciplinary approach is used. Structural dynamic techniques are applied to gain physical insight into absorber/structure interaction and to optimize specific cases. Modern control theory and parameter optimization techniques are applied to the general optimization problem. A design procedure for multi-absorber multi-DOF vibration damping problems is presented. Classical dynamic models are extended to investigate the effects of absorber placement, existing structural damping, and absorber cross-coupling on the optimal design synthesis. The control design process for the general optimization problem is formulated as a linear output feedback control problem via the development of a feedback control canonical form. The techniques are applied to sample micro-g and pointing problems on the NASA dual keel space station