Consensusability of discrete-time multi-agent systems

The study of multi-agent systems (MAS) focuses on systems in which many intelligent agents interact within an environment. The agents are considered to be autonomous entities. MAS can be used to solve problems that are difficult or impossible for an individual agent to solve. The main feature which is achieved when developing MAS, if they work, is flexibility, since MAS can be added to, modified and reconstructed, without the need for detailed rewriting of the application. MAS can manifest self-organization as well as self-steering related complex behaviors even when the individual strategies of all their agents are simple. The goal of MAS research is to find methods that allow us to build complex systems composed of autonomous agents who, while operating on local knowledge and possessing only limited abilities, are nonetheless capable of enacting the desired global behaviors. We want to know how to take a description of what a system of agents should do and break it down into individual agent behaviors. This thesis investigates the problem when discrete-time MAS are consensusable under undirected graph. A discussion is provided to show how the problem differs from continuous time system. Then a consensusability condition is derived in terms of the Mahler measure of the agent system for single input single out systems (SISO) and result shows that there is an improved consensusability by a power of two. An algorithm is proposed for distributed consensus feedback control law when the consensusability holds. Also the case of output feedback is considered in which the consensusability problem becomes more complicated. To solve this we decompose the problem into two parts i.e. state feedback and state estimation. Simulation results demonstrate the effectiveness of the established results

Communication-constrained feedback stability and Multi-agent System consensusability in Networked Control Systems

With the advances in wireless communication, the topic of Networked Control Systems (NCSs) has become an interesting research subject. Moreover, the advantages they offer convinced companies to implement and use data networks for remote industrial control and process automation. Data networks prove to be very efficient for controlling distributed systems, which would otherwise require complex wiring connections on large or inaccessible areas. In addition, they are easier to maintain and more cost efficient. Unfortunately, stability and performance control is always going to be affected by network and communication issues, such as band-limited channels, quantization errors, sampling, delays, packet dropouts or system architecture. The first part of this research aims to study the effects of both input and output quantization on an NCS. Both input and output quantization errors are going to be modeled as sector bounded multiplicative uncertainties, the main goal being the minimization of the quantization density, while maintaining feedback stability. Modeling quantization errors as uncertainties allows for robust optimal control strategies to be applied in order to study the accepted uncertainty levels, which are directly related to the quantization levels. A new feedback law is proposed that will improve closed-loop system stability by increasing the upper bound of allowed uncertainty, and thus allowing the use of a coarser quantizer. Another aspect of NCS deals with coordination of the independent agents within a Multi-agent System (MAS). This research addresses the consensus problem for a set of discrete-time agents communicating through a network with directed information flow. It examines the combined effect of agent dynamics and network topology on agents\u27 consensusability. Given a particular consensus protocol, a sufficient condition is given for agents to be consensusable. This condition requires the eigenvalues of the digraph modeling the network topology to be outer bounded by a fan-shaped area determined by the Mahler measure of the agents\u27 dynamics matrix

Distributed Optimal Control and Application to Consensus of Multi-Agent Systems

This paper develops a novel approach to the consensus problem of multi-agent systems by minimizing a weighted state error with neighbor agents via linear quadratic (LQ) optimal control theory. Existing consensus control algorithms only utilize the current state of each agent, and the design of distributed controller depends on nonzero eigenvalues of the communication topology. The presented optimal consensus controller is obtained by solving Riccati equations and designing appropriate observers to account for agents' historical state information. It is shown that the corresponding cost function under the proposed controllers is asymptotically optimal. Simulation examples demonstrate the effectiveness of the proposed scheme, and a much faster convergence speed than the conventional consensus methods. Moreover, the new method avoids computing nonzero eigenvalues of the communication topology as in the traditional consensus methods

Output Feedback Control for Couple-Group Consensus of Multiagent Systems

This paper deals with the couple-group consensus problem for multiagent systems via output feedback control. Both continuous- and discrete-time cases are considered. The consensus problems are converted into the stability problem of the error systems by the system transformation. We obtain two necessary and sufficient conditions of couple-group consensus in different forms for each case. Two different algorithms are used to design the control gains for continuous- and discrete-time case, respectively. Finally, simulation examples are given to show the effectiveness of the proposed results

Output Consensus Control for Heterogeneous Multi-Agent Systems

We study distributed output feedback control of a heterogeneous multi-agent system (MAS), consisting of N different continuous-time linear dynamical systems. For achieving output consensus, a virtual reference model is assumed to generate the desired trajectory for which the MAS is required to track and synchronize. A full information (FI) protocol is assumed for consensus control. This protocol includes information exchange with the feed-forward signals. In this dissertation we study two different kinds of consensus problems. First, we study the consensus control over the topology involving time delays and prove that consensus is independent of delay lengths. Second, we study the consensus under communication constraints. In contrast to the existing work, the reference trajectory is transmitted to only one or a few agents and no local reference models are employed in the feedback controllers thereby eliminating synchronization of the local reference models. Both significantly lower the communication overhead. In addition, our study is focused on the case when the available output measurements contain only relative information from the neighboring agents and reference signal. Conditions are derived for the existence of distributed output feedback control protocols, and solutions are proposed to synthesize the stabilizing and consensus control protocol over a given connected digraph. It is shown that the H-inf loop shaping and LQG/LTR techniques from robust control can be directly applied to design the consensus output feedback control protocol. The results in this dissertation complement the existing ones, and are illustrated by a numerical example. The MAS approach developed in this dissertation is then applied to the development of autonomous aircraft traffic control system. The development of such systems have already started to replace the current clearance-based operations to trajectory based operations. Such systems will help to reduce human errors, increase efficiency, provide safe flight path, and improve the performance of the future flight

Reaching a Consensus in Networks of High-Order Integral Agents under Switching Directed Topology

Consensus problem of high-order integral multi-agent systems under switching directed topology is considered in this study. Depending on whether the agent's full state is available or not, two distributed protocols are proposed to ensure that states of all agents can be convergent to a same stationary value. In the proposed protocols, the gain vector associated with the agent's (estimated) state and the gain vector associated with the relative (estimated) states between agents are designed in a sophisticated way. By this particular design, the high-order integral multi-agent system can be transformed into a first-order integral multi-agent system. And the convergence of the transformed first-order integral agent's state indicates the convergence of the original high-order integral agent's state if and only if all roots of the polynomial, whose coefficients are the entries of the gain vector associated with the relative (estimated) states between agents, are in the open left-half complex plane. Therefore, many analysis techniques in the first-order integral multi-agent system can be directly borrowed to solve the problems in the high-order integral multi-agent system. Due to this property, it is proved that to reach a consensus, the switching directed topology of multi-agent system is only required to be "uniformly jointly quasi-strongly connected", which seems the mildest connectivity condition in the literature. In addition, the consensus problem of discrete-time high-order integral multi-agent systems is studied. The corresponding consensus protocol and performance analysis are presented. Finally, three simulation examples are provided to show the effectiveness of the proposed approach

Distributed Robust Consensus Control of Multi-agent Systems with Heterogeneous Matching Uncertainties

This paper considers the distributed consensus problem of linear multi-agent systems subject to different matching uncertainties for both the cases without and with a leader of bounded unknown control input. Due to the existence of nonidentical uncertainties, the multi-agent systems discussed in this paper are essentially heterogeneous. For the case where the communication graph is undirected and connected, a distributed continuous static consensus protocol based on the relative state information is first designed, under which the consensus error is uniformly ultimately bounded and exponentially converges to a small adjustable residual set. A fully distributed adaptive consensus protocol is then designed, which, contrary to the static protocol, relies on neither the eigenvalues of the Laplacian matrix nor the upper bounds of the uncertainties. For the case where there exists a leader whose control input is unknown and bounded, distributed static and adaptive consensus protocols are proposed to ensure the boundedness of the consensus error. It is also shown that the proposed protocols can be redesigned so as to ensure the boundedness of the consensus error in the presence of bounded external disturbances which do not satisfy the matching condition. A sufficient condition for the existence of the proposed protocols is that each agent is stabilizable.Comment: 16 page, 10 figures. This manuscript is an extended version of our paper accepted for publication by Automatic