The power dissipation method and kinematic reducibility of multiple-model robotic systems

This paper develops a formal connection between the power dissipation method (PDM) and Lagrangian mechanics, with specific application to robotic systems. Such a connection is necessary for understanding how some of the successes in motion planning and stabilization for smooth kinematic robotic systems can be extended to systems with frictional interactions and overconstrained systems. We establish this connection using the idea of a multiple-model system, and then show that multiple-model systems arise naturally in a number of instances, including those arising in cases traditionally addressed using the PDM. We then give necessary and sufficient conditions for a dynamic multiple-model system to be reducible to a kinematic multiple-model system. We use this result to show that solutions to the PDM are actually kinematic reductions of solutions to the Euler-Lagrange equations. We are particularly motivated by mechanical systems undergoing multiple intermittent frictional contacts, such as distributed manipulators, overconstrained wheeled vehicles, and objects that are manipulated by grasping or pushing. Examples illustrate how these results can provide insight into the analysis and control of physical systems

Ball on a beam: stabilization under saturated input control with large basin of attraction

This article is devoted to the stabilization of two underactuated planar systems, the well-known straight beam-and-ball system and an original circular beam-and-ball system. The feedback control for each system is designed, using the Jordan form of its model, linearized near the unstable equilibrium. The limits on the voltage, fed to the motor, are taken into account explicitly. The straight beam-and-ball system has one unstable mode in the motion near the equilibrium point. The proposed control law ensures that the basin of attraction coincides with the controllability domain. The circular beam-and-ball system has two unstable modes near the equilibrium point. Therefore, this device, never considered in the past, is much more difficult to control than the straight beam-and-ball system. The main contribution is to propose a simple new control law, which ensures by adjusting its gain parameters that the basin of attraction arbitrarily can approach the controllability domain for the linear case. For both nonlinear systems, simulation results are presented to illustrate the efficiency of the designed nonlinear control laws and to determine the basin of attraction

Graph Theoretic Analysis of Multi-Agent system Structural Properties

Ph.DDOCTOR OF PHILOSOPH

Controllability of spin-boson systems

In this paper we study the so-called spin-boson system, namely {a two-level system} in interaction with a distinguished mode of a quantized bosonic field. We give a brief description of the controlled Rabi and Jaynes--Cummings models and we discuss their appearance in the mathematics and physics literature. We then study the controllability of the Rabi model when the control is an external field acting on the bosonic part. Applying geometric control techniques to the Galerkin approximation and using perturbation theory to guarantee non-resonance of the spectrum of the drift operator, we prove approximate controllability of the system, for almost every value of the interaction parameter

Autonomous thruster failure recovery on underactuated spacecraft using model predictive control

Thruster failures historically account for a large percentage of failures that have occurred on orbit. These failures are typically handled through redundancy, however, with the push to using smaller, less expensive satellites in clusters or formations there is a need to perform thruster failure recovery without additional hardware. This means that a thruster failure may cause the spacecraft to become underactuated, requiring more advanced control techniques. A model of a thruster-controlled spacecraft is developed and analyzed with a nonlinear controllability test, highlighting several challenges including coupling, nonlinearities, severe control input saturation, and nonholonomicity. Model Predictive Control (MPC) is proposed as a control technique to solve these challenges. However, the real-time, online implementation of MPC brings about many issues. A method of performing MPC online is described, implemented and tested in simulation as well as in hardware on the Synchronized Position-Hold, Engage, Reorient Experimental Satellites (SPHERES) testbed at the Massachusetts Institute of Technology (MIT) and on the International Space Station (ISS). These results show that MPC provided improved performance over a simple path planning technique

On Some Rigidity Properties in PDEs

This thesis is dedicated to the study of three rigidity properties arising in different partial differential equations: (1) the backward uniqueness property of the heat equation in two-dimensional conical domains, (2) the weak and strong unique continuation principles for fractional Schrödinger equations with rough potentials and (3) the rigidity and non-rigidity of exactly stress-free configurations of a differential inclusion describing the cubic-to-orthorhombic phase transition in the geometrically linearized theory of elasticity