Geometric synthesis of a hybrid limit cycle for the stabilizing control of a class of nonlinear switched dynamical systems

International audienceThis paper proposes a new constructive method for synthesizing a hybrid limit cycle for the stabilizing control of a class of switched dynamical systems in IR 2 , switching between two discrete modes and without state discontinuity. For each mode, the system is continuous, linear or nonlinear. This method is based on a geometric approach. The first part of this paper demonstrates a necessary and sufficient condition of the existence and stability of a hybrid limit cycle consisting of a sequence of two operating modes in IR 2 which respects the technological constraints (minimum duration between two successive switchings, boundedness of the real valued state variables). It outlines the established method for reaching this hybrid limit cycle from an initial state, and then stablizing it, taking into account the constraints on the continuous variables. This is then illustrated on a Buck electrical energy converter and a nonlinear switched system in IR 2. The second part of the paper proposes and demonstrates an extension to IR n for a class of systems, which is then illustrated on a nonlinear switched system in IR 3

Optimization-based Framework for Stability and Robustness of Bipedal Walking Robots

As robots become more sophisticated and move out of the laboratory, they need to be able to reliably traverse difficult and rugged environments. Legged robots -- as inspired by nature -- are most suitable for navigating through terrain too rough or irregular for wheels. However, control design and stability analysis is inherently difficult since their dynamics are highly nonlinear, hybrid (mixing continuous dynamics with discrete impact events), and the target motion is a limit cycle (or more complex trajectory), rather than an equilibrium. For such walkers, stability and robustness analysis of even stable walking on flat ground is difficult. This thesis proposes new theoretical methods to analyse the stability and robustness of periodic walking motions. The methods are implemented as a series of pointwise linear matrix inequalities (LMI), enabling the use of convex optimization tools such as sum-of-squares programming in verifying the stability and robustness of the walker. To ensure computational tractability of the resulting optimization program, construction of a novel reduced coordinate system is proposed and implemented. To validate theoretic and algorithmic developments in this thesis, a custom-built “Compass gait” walking robot is used to demonstrate the efficacy of the proposed methods. The hardware setup, system identification and walking controller are discussed. Using the proposed analysis tools, the stability property of the hardware walker was successfully verified, which corroborated with the computational results

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

Robust Engineering of Dynamic Structures in Complex Networks

Populations of nearly identical dynamical systems are ubiquitous in natural and engineered systems, in which each unit plays a crucial role in determining the functioning of the ensemble. Robust and optimal control of such large collections of dynamical units remains a grand challenge, especially, when these units interact and form a complex network. Motivated by compelling practical problems in power systems, neural engineering and quantum control, where individual units often have to work in tandem to achieve a desired dynamic behavior, e.g., maintaining synchronization of generators in a power grid or conveying information in a neuronal network; in this dissertation, we focus on developing novel analytical tools and optimal control policies for large-scale ensembles and networks. To this end, we first formulate and solve an optimal tracking control problem for bilinear systems. We developed an iterative algorithm that synthesizes the optimal control input by solving a sequence of state-dependent differential equations that characterize the optimal solution. This iterative scheme is then extended to treat isolated population or networked systems. We demonstrate the robustness and versatility of the iterative control algorithm through diverse applications from different fields, involving nuclear magnetic resonance (NMR) spectroscopy and imaging (MRI), electrochemistry, neuroscience, and neural engineering. For example, we design synchronization controls for optimal manipulation of spatiotemporal spike patterns in neuron ensembles. Such a task plays an important role in neural systems. Furthermore, we show that the formation of such spatiotemporal patterns is restricted when the network of neurons is only partially controllable. In neural circuitry, for instance, loss of controllability could imply loss of neural functions. In addition, we employ the phase reduction theory to leverage the development of novel control paradigms for cyclic deferrable loads, e.g., air conditioners, that are used to support grid stability through demand response (DR) programs. More importantly, we introduce novel theoretical tools for evaluating DR capacity and bandwidth. We also study pinning control of complex networks, where we establish a control-theoretic approach to identifying the most influential nodes in both undirected and directed complex networks. Such pinning strategies have extensive practical implications, e.g., identifying the most influential spreaders in epidemic and social networks, and lead to the discovery of degenerate networks, where the most influential node relocates depending on the coupling strength. This phenomenon had not been discovered until our recent study

Discrete Time Systems

Discrete-Time Systems comprehend an important and broad research field. The consolidation of digital-based computational means in the present, pushes a technological tool into the field with a tremendous impact in areas like Control, Signal Processing, Communications, System Modelling and related Applications. This book attempts to give a scope in the wide area of Discrete-Time Systems. Their contents are grouped conveniently in sections according to significant areas, namely Filtering, Fixed and Adaptive Control Systems, Stability Problems and Miscellaneous Applications. We think that the contribution of the book enlarges the field of the Discrete-Time Systems with signification in the present state-of-the-art. Despite the vertiginous advance in the field, we also believe that the topics described here allow us also to look through some main tendencies in the next years in the research area

Multistable Phase Regulation for Robust Steady and Transitional Legged Gaits

We develop robust methods that allow specification, control, and transition of a multi-legged robot’s stepping pattern—its gait—during active locomotion over natural terrain. Resulting gaits emerge through the introduction of controllers that impose appropriately-placed repellors within the space of gaits, the torus of relative leg phases, thereby mitigating against dangerous patterns of leg timing. Moreover, these repellors are organized with respect to a natural cellular decomposition of gait space and result in limit cycles with associated basins that are well characterized by these cells, thus conferring a symbolic character upon the overall behavioral repertoire. These ideas are particularly applicable to four- and six-legged robots, for which a large variety of interesting and useful (and, in many cases, familiar) gaits exist, and whose tradeoffs between speed and reliability motivate the desire for transitioning between them during active locomotion. We provide an empirical instance of this gait regulation scheme by application to a climbing hexapod, whose “physical layer” sensor-feedback control requires adequate grasp of a climbing surface but whose closed loop control perturbs the robot from its desired gait. We document how the regulation scheme secures the desired gait and permits operator selection of different gaits as required during active climbing on challenging surfaces

Quantum control theory and applications: A survey

This paper presents a survey on quantum control theory and applications from a control systems perspective. Some of the basic concepts and main developments (including open-loop control and closed-loop control) in quantum control theory are reviewed. In the area of open-loop quantum control, the paper surveys the notion of controllability for quantum systems and presents several control design strategies including optimal control, Lyapunov-based methodologies, variable structure control and quantum incoherent control. In the area of closed-loop quantum control, the paper reviews closed-loop learning control and several important issues related to quantum feedback control including quantum filtering, feedback stabilization, LQG control and robust quantum control.Comment: 38 pages, invited survey paper from a control systems perspective, some references are added, published versio

Feedback control of sector-bound nonlinear systems with applications to aeroengine control

This dissertation is divided into two parts. In the first part we consider the problem of feedback stabilization of nonlinear systems described by state-space models. This approach is inherited from the methodology of sector bounded or passive nonlinearities, and influenced by the concept of absolute and quadratic stability. It aims not only to regionally stabilize the nonlinear dynamics asymptotically but also to maximize the estimated region of quadratic attraction and to ensure nominal performance at each equilibrium. In close connection to gain scheduling and switching control, a path of equilibria is programmed based on the assumption of centered-epsilon-cover which leads to a sequence of linear controllers that regionally stabilize the desired equilibrium asymptotically. In the second part we tackle the problem of control for fluid flows described by the incompressible Navier-Stokes equation. We are particularly interested in film cooling for gas turbine engines which we model with the jet in cross-flow problem setup. In order to obtain a model amenable to the controller design presented in the first part, the well-known Proper Orthogonal Decomposition (POD)/Galerkin projection is employed to obtain a nonlinear state-space system called the reduced order model (ROM). We are able to stabilize the ROM to an equilibrium point via our design method and we also present direct numerical simulation (DNS) results for the system under state feedback control