On Observer-Based Control of Nonlinear Systems

Filtering and reconstruction of signals play a fundamental role in modern signal processing, telecommunications, and control theory and are used in numerous applications. The feedback principle is an important concept in control theory. Many different control strategies are based on the assumption that all internal states of the control object are available for feedback. In most cases, however, only a few of the states or some functions of the states can be measured. This circumstance raises the need for techniques, which makes it possible not only to estimate states, but also to derive control laws that guarantee stability when using the estimated states instead of the true ones. For linear systems, the separation principle assures stability for the use of converging state estimates in a stabilizing state feedback control law. In general, however, the combination of separately designed state observers and state feedback controllers does not preserve performance, robustness, or even stability of each of the separate designs. In this thesis, the problems of observer design and observer-based control for nonlinear systems are addressed. The deterministic continuous-time systems have been in focus. Stability analysis related to the Positive Real Lemma with relevance for output feedback control is presented. Separation results for a class of nonholonomic nonlinear systems, where the combination of independently designed observers and state-feedback controllers assures stability in the output tracking problem are shown. In addition, a generalization to the observer-backstepping method where the controller is designed with respect to estimated states, taking into account the effects of the estimation errors, is presented. Velocity observers with application to ship dynamics and mechanical manipulators are also presented

Formation control of nonholonomic mobile robots: the virtual structure approach

PhDIn recent years, there has been a considerable growth in applications of multi-robot systems as opposed to single-robot systems. This thesis presents our proposed solutions to a formation control problem in which mobile robots are required to create a desired formation shape and track a desired trajectory as a whole. In the first instance, we study the formation control problem for unicycle mobile robots. We propose two control algorithms based on a cascaded approach: one based on a kinematic model of a robot and the other based on a dynamic model. We also propose a saturated controller in which actuator limitations are explicitly accounted for. To demonstrate how the control algorithms work, we present an extensive simulation and experimental study. Thereafter we move on to formation control algorithms in which the coordination error is explicitly defined. Thus, we are able to give conditions for robots keeping their desired formation shape without necessarily tracking the desired trajectory. We also introduce a controller in which both trajectory tracking and formation shape maintenance are achieved as well as a saturated algorithm. We validate the applicability of the introduced controllers in simulations and experiments. Lastly, we study the formation control problem for car-like robots. In this case we develop a controller using the backstepping technique. We give conditions for robots keeping their desired formation shape while failing to track their desired trajectories and present simulation results to demonstrate the applicability of the proposed controlle

Distributed formation tracking control of multiple car-like robots

In this thesis, distributed formation tracking control of multiple car-like robots is studied. Each vehicle can communicate and send or receive states information to or from a portion of other vehicles. The communication topology is characterized by a graph. Each vehicle is considered as a vertex in the graph and each communication link is considered as an edge in the graph. The unicycles are modeled firstly by both kinematic systems. Distributed controllers for vehicle kinematics are designed with the aid of graph theory. Two control algorithms are designed based on the chained-form system and its transformation respectively. Both algorithms achieve exponential convergence to the desired reference states. Then vehicle dynamics is considered and dynamic controllers are designed with the aid of two types of kinematic-based controllers proposed in the first section. Finally, a special case of switching graph is addressed considering the probability of vehicle disability and links breakage

Underactuated leader-follower synchronisation for multi-agent systems with rejection of unknown disturbances

Author preprintIn this paper leader-follower synchronization is considered for underactuated followers in an inhomogeneous multi-agent system. The goal is to synchronise the motion of a leader and an underactuated follower. Measurements of the leader's position and velocity are available, while the dynamics and trajectory of the leader is unknown. The leader velocities are used as input for a constant bearing guidance algorithm to assure that the follower synchronises its motion to the leader. It is also shown that the proposed leader-follower scheme can be applied to multi-agent systems that are subjected to unknown environmental disturbances. Furthermore, the trajectory of the leader does not need to be known. The stability properties of the complete control scheme and the unactuated internal dynamics are analysed using nonlinear cascaded system theory. Simulation results are presented to validate the proposed control strategy.Preprint version. © IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works

Sampled-Data Control of Invariant Systems on Exponential Lie Groups

This thesis examines the dynamics and control of a class of systems furnished by kinematic systems on exponential matrix Lie groups, when the plant evolves in continuous-time, but whose controller is implemented in discrete-time. This setup is called sampled-data and is ubiquitous in applied control. The class of Lie groups under consideration is motivated by our previous work concerning a similar class of kinematic systems on commutative Lie groups, whose local dynamics were found to be linear, which greatly facilitated control design. This raised the natural question of what class of systems on Lie groups, or class of Lie groups, would admit global characterizations of stability based on the linear part of their local dynamics. As we show in this thesis, the answer is---or at least includes---left- or right-invariant systems on exponential Lie groups, which are necessarily solvable, nilpotent, or commutative. We examine the stability of a class of difference equations that arises by sampling a right- or left-invariant flow on a matrix Lie group. The map defining such a difference equation has three key properties that facilitate our analysis: 1) its Lie series expansion enjoys a type of strong convergence; 2) the origin is an equilibrium; 3) the algebraic ideals enumerated in the lower central series of the Lie algebra are dynamically invariant. We show that certain global stability properties are implied by stability of the Jacobian linearization of dynamics at the origin, in particular, global asymptotic stability. If the Lie algebra is nilpotent, then the origin enjoys semiglobal exponential stability. We then study the synchronization of networks of identical continuous-time kinematic agents on a matrix Lie group, controlled by discrete-time controllers with constant sampling periods and directed, weighted communication graphs with a globally reachable node. We present a smooth, distributed, nonlinear discrete-time control law that achieves global synchronization on exponential matrix Lie groups, which include simply connected nilpotent Lie groups as a special case. Synchronization is generally asymptotic, but if the Lie group is nilpotent, then synchronization is achieved at an exponential rate. We first linearize the synchronization error dynamics at the identity, and show that the proposed controller achieves local exponential synchronization on any Lie group. Building on the local analysis, we show that, if the Lie group is exponential, then synchronization is global. We provide conditions for deadbeat convergence when the communication graph is unweighted and complete. Lastly, we examine a regulator problem for a class of fully actuated continuous-time kinematic systems on Lie groups, using a discrete-time controller with constant sampling period. We present a smooth discrete-time control law that achieves global regulation on simply connected nilpotent Lie groups. We first solve the problem when both the plant state and exosystem state are available for feedback. We then present a control law for the case where the plant state and a so-called plant output are available for feedback. The class of plant outputs considered includes, for example, the quantity to be regulated. This class of output allows us to use the classical Luenberger observer to estimate the exosystem states. In the full-information case, the regulation quantity on the Lie algebra is shown to decay exponentially to zero, which implies that it tends asymptotically to the identity on the Lie group

Fault Detection and Isolation in Controlled Multi-Robot Systems

Multi-Agent Systems (MASs) have attracted much popularity, since the previous decade due to their potential wide range of applications. Indeed, connected MASs are deployed in order to achieve more complex objectives that could otherwise not be achievable by a single agent. In distributed schemes, agents must share their information with their neighbours, which are then used for common control and fault detection purposes, and thus do not require any central monitoring unit. This translates into the necessity to develop efficient distributed algorithms in terms of robustness and safety. Indeed, the problem of safety in connected cooperative MASs has arisen as a consequence of their complexity and the nature of their operations and wireless communication exchanges, which renders them vulnerable to not only physical faults, but also to cyber-attacks. The main focus of this thesis is the study of distributed fault and attack detection and isolation in connected MASs. First, a distributed methodology for global detection of actuator faults in a class of linear MASs with unknown disturbances is proposed using a cascade of fixed-time Sliding Mode Observers (SMOs), where each agent having access to their state, and neighbouring information exchanges, can give an exact estimate of the state of the overall MAS. An LMI-based approach is then applied to design distributed global robust residual signals at each agent capable of detecting faults anywhere in the network. This is then extended to agents with nonlinear nonholonomic dynamics where a new distributed robust Fault Detection and Isolation (FDI) scheme is proposed using predefined-time stability techniques to derive adequate distributed SMOs. This enables to reconstruct the global system state in a predefined-time and generate proper residual signals. The case of MASs with higher order integrator dynamics, where only the first state variable is measurable and the topology is switching is investigated, where a new approach to identify faults and deception attacks is introduced. The proposed protocol makes an agent act as a central node monitoring the whole system activities in a distributed fashion whereby a bank of distributed predefined-time SMOs for global state estimation are designed, which are then used to generate residual signals capable of identifying cyber-attacks despite the switching topology. The problem of attack and FDI in connected heterogeneous MASs with directed graphs, is then studied. First, the problem of distributed fault detection for a team of heterogeneous MASs with linear dynamics is investigated, where a new output observer scheme is proposed which is effective for both directed and undirected topologies. The main advantage of this approach is that the design, being dependant only on the input-output relations, renders the computational cost, information exchange and scalability very effective compared to other FDI approaches that employ the whole state estimation of the agents and their neighbours as a basis for their design. A more general model is then studied, where actuator, sensor and communication faults/attacks are considered in the robust detection and isolation process for nonlinear heterogeneous MASs with measurement noise, dynamic disturbances and communication parameter uncertainties, where the topology is not required to be undirected. This is done using a distributed finite-frequency mixed H_/H1 nonlinear UIO-based approach. Simulation examples are given for each of the proposed algorithms to show their effectiveness and robustness