COORDINATION OF LEADER-FOLLOWER MULTI-AGENT SYSTEM WITH TIME-VARYING OBJECTIVE FUNCTION

This thesis aims to introduce a new framework for the distributed control of multi-agent systems with adjustable swarm control objectives. Our goal is twofold: 1) to provide an overview to how time-varying objectives in the control of autonomous systems may be applied to the distributed control of multi-agent systems with variable autonomy level, and 2) to introduce a framework to incorporate the proposed concept to fundamental swarm behaviors such as aggregation and leader tracking. Leader-follower multi-agent systems are considered in this study, and a general form of time-dependent artificial potential function is proposed to describe the varying objectives of the system in the case of complete information exchange. Using Lyapunov methods, the stability and boundedness of the agents\u27 trajectories under single order and higher order dynamics are analyzed. Illustrative numerical simulations are presented to demonstrate the validity of our results. Then, we extend these results for multi-agent systems with limited information exchange and switching communication topology. The first steps of the realization of an experimental framework have been made with the ultimate goal of verifying the simulation results in practice

Bearing-based formation control with second-order agent dynamics

We consider the distributed formation control problem for a network of agents using visual measurements. We propose solutions that are based on bearing (and optionally distance) measurements, and agents with double integrator dynamics. We assume that a subset of the agents can track, in addition to their neighbors, a set of static features in the environment. These features are not considered to be part of the formation, but they are used to asymptotically control the velocity of the agents. We analyze the convergence properties of the proposed protocols analytically and through simulations.Published versionSupporting documentatio

Safety Barrier Certificates for Heterogeneous Multi-Robot Systems

This paper presents a formal framework for collision avoidance in multi-robot systems, wherein an existing controller is modified in a minimally invasive fashion to ensure safety. We build this framework through the use of control barrier functions (CBFs) which guarantee forward invariance of a safe set; these yield safety barrier certificates in the context of heterogeneous robot dynamics subject to acceleration bounds. Moreover, safety barrier certificates are extended to a distributed control framework, wherein neighboring agent dynamics are unknown, through local parameter identification. The end result is an optimization-based controller that formally guarantees collision free behavior in heterogeneous multi-agent systems by minimally modifying the desired controller via safety barrier constraints. This formal result is verified in simulation on a multi-robot system consisting of both cumbersome and agile robots, is demonstrated experimentally on a system with a Magellan Pro robot and three Khepera III robots.Comment: 8 pages version of 2016ACC conference paper, experimental results adde

Graph rigidity-based formation control of planar multi-agent systems

A multi-agent system is a network of interacting agents that collectively perform a complex task. This dissertation is concerned with the decentralized formation control of multi-agent systems moving in the plane. The formation problem is defined as designing control inputs for the agents so that they form and maintain a pre-defined, planar geometric shape. The focus is on three related problems with increasing level of complexity: formation acquisition, formation maneuvering, and target interception. Three different dynamic models, also with increasing level of complexity, are considered for the motion of the agents: the single-integrator model, the double-integrator model, and the full mechanical dynamic model. Rigid graph theory and Lyapunov theory are the primary tools utilized in this work for solving the aforementioned formation problems for the three models. The backstepping control technique also plays a key role in the cases of the double-integrator and full dynamic models. Starting with the single-integrator model, a basic formation acquisition controller is proposed that is only a function of the relative position of agents in an infinitesimally and minimally rigid graph. A Lyapunov analysis shows that the origin of the inter-agent distance error system is exponentially stable. It is then shown how an extra term can be added to the controller to enable formation maneuvering or target interception. The three controllers for the single-integrator model are used as a stepping stone and extended to the double-integrator model with the aid of backstepping. Finally, an actuator-level, formation acquisition control law is developed for multiple robotic vehicles that accounts for the vehicle dynamics. Specifically, a class of underactuated vehicles modeled by Euler-Lagrange-like equations is considered. The backstepping technique is again employed while exploiting the structural properties of the system dynamics. Computer simulations are provided throughout the dissertation to show the proposed control laws in action