Distributed Fault-Tolerant Control for Networked Robots in the Presence of Recoverable/Unrecoverable Faults and Reactive Behaviors

The paper presents an architecture for distributed control of multi-robot systems with an integrated fault detection, isolation, and recovery strategy. The proposed solution is based on a distributed observer-controller schema where each robot, by communicating only with its direct neighbors, is able to estimate the overall state of the system; such an estimate is then used by the controllers of each robot to achieve global missions as, for example, centroid and formation tracking. The information exchanged among the observers is also used to compute residual vectors that allow each robot to detect failures on anyone of the teammates, even if not in direct communication. The proposed strategy considers both recoverable and unrecoverable actuator faults as well as it properly manages the possible activation of reactive local control behaviors of the robots (e.g., the activation of obstacle avoidance strategy), which generate control inputs different from those required by the global mission control. In particular, when the robots are subject to recoverable faults, those are managed at a local level by computing a proper compensating control action. On the other side, when the robots are subject to unrecoverable faults, the faults are isolated from anyone of the teammates by means of a distributed fault detection and isolation strategy; then, the faulty robots are removed from the team and the mission is rearranged. The proposed strategy is validated via numerical simulations where the system properly identifies and manages the different cases of recoverable and unrecoverable actuator faults, as well as it manages the activation of local reactive control in an integrated case study

Distributed Fault Detection in Formation of Multi-Agent Systems with Attack Impact Analysis

Autonomous Underwater Vehicles (AUVs) are capable of performing a variety of deepwater marine applications as in multiple mobile robots and cooperative robot reconnaissance. Due to the environment that AUVs operate in, fault detection and isolation as well as the formation control of AUVs are more challenging than other Multi-Agent Systems (MASs). In this thesis, two main challenges are tackled. We first investigate the formation control and fault accommodation algorithms for AUVs in presence of abnormal events such as faults and communication attacks in any of the team members. These undesirable events can prevent the entire team to achieve a safe, reliable, and efficient performance while executing underwater mission tasks. For instance, AUVs may face unexpected actuator/sensor faults and the communication between AUVs can be compromised, and consequently make the entire multi-agent system vulnerable to cyber-attacks. Moreover, a possible deception attack on network system may have a negative impact on the environment and more importantly the national security. Furthermore, there are certain requirements for speed, position or depth of the AUV team. For this reason, we propose a distributed fault detection scheme that is able to detect and isolate faults in AUVs while maintaining their formation under security constraints. The effects of faults and communication attacks with a control theoretical perspective will be studied. Another contribution of this thesis is to study a state estimation problem for a linear dynamical system in presence of a Bias Injection Attack (BIA). For this purpose, a Kalman Filter (KF) is used, where we show that the impact of an attack can be analyzed as the solution of a quadratically constrained problem for which the exact solution can be found efficiently. We also introduce a lower bound for the attack impact in terms of the number of compromised actuators and a combination of sensors and actuators. The theoretical findings are accompanied by simulation results and numerical can study examples

Distributed estimation techniques forcyber-physical systems

Nowadays, with the increasing use of wireless networks, embedded devices and agents with processing and sensing capabilities, the development of distributed estimation techniques has become vital to monitor important variables of the system that are not directly available. Numerous distributed estimation techniques have been proposed in the literature according to the model of the system, noises and disturbances. One of the main objectives of this thesis is to search all those works that deal with distributed estimation techniques applied to cyber-physical systems, system of systems and heterogeneous systems, through using systematic review methodology. Even though systematic reviews are not the common way to survey a topic in the control community, they provide a rigorous, robust and objective formula that should not be ignored. The presented systematic review incorporates and adapts the guidelines recommended in other disciplines to the field of automation and control and presents a brief description of the different phases that constitute a systematic review. Undertaking the systematic review many gaps were discovered: it deserves to be remarked that some estimators are not applied to cyber-physical systems, such as sliding mode observers or set-membership observers. Subsequently, one of these particular techniques was chosen, set-membership estimator, to develop new applications for cyber-physical systems. This introduces the other objectives of the thesis, i.e. to present two novel formulations of distributed set-membership estimators. Both estimators use a multi-hop decomposition, so the dynamics of the system is rewritten to present a cascaded implementation of the distributed set-membership observer, decoupling the influence of the non-observable modes to the observable ones. So each agent must find a different set for each sub-space, instead of a unique set for all the states. Two different approaches have been used to address the same problem, that is, to design a guaranteed distributed estimation method for linear full-coupled systems affected by bounded disturbances, to be implemented in a set of distributed agents that need to communicate and collaborate to achieve this goal

Distributed Control of Networked Nonlinear Euler-Lagrange Systems

Motivated by recent developments in formation and cooperative control of networked multi-agent systems, the main goal of this thesis is development of efficient synchronization and formation control algorithms for distributed control of networked nonlinear systems whose dynamics can be described by Euler-Lagrange (EL) equations. One of the main challenges in the design of the formation control algorithm is its optimality and robustness to parametric uncertainties, external disturbances and ability to reconfigure in presence of component, actuator, or sensor faults. Furthermore, the controller should be capable of handling switchings in the communication network topology. In this work, nonlinear optimal control techniques are studied for developing distributed controllers for networked EL systems. An individual cost function is introduced to design a controller that relies on only local information exchanges among the agents. In the development of the controller, it is assumed that the communication graph is not fixed (in other words the topology is switching). Additionally, parametric uncertainties and faults in the EL systems are considered and two approaches, namely adaptive and robust techniques are introduced to compensate for the effects of uncertainties and actuator faults. Next, a distributed H_infinity performance measure is considered to develop distributed robust controllers for uncertain networked EL systems. The developed distributed controller is obtained through rigorous analysis and by considering an individual cost function to enhance the robustness of the controllers in presence of parametric uncertainties and external bounded disturbances. Moreover, a rigorous analysis is conducted on the performance of the developed controllers in presence of actuator faults as well as fault diagnostic and identification (FDI) imperfections. Next, synchronization and set-point tracking control of networked EL systems are investigated in presence of three constraints, namely, (i) input saturation constraints, (ii) unavailability of velocity feedback, and (iii) lack of knowledge on the system parameters. It is shown that the developed distributed controllers can accomplish the desired requirements and specification under the above constraints. Finally, a quaternion-based approach is considered for the attitude synchronization and set-point tracking control problem of formation flying spacecraft. Employing the quaternion in the control law design enables handling large rotations in the spacecraft attitude and, therefore, any singularities in the control laws are avoided. Furthermore, using the quaternion also enables one to guarantee boundedness of the control signals both with and without velocity feedback

Resilience of multi-robot systems to physical masquerade attacks

The advent of autonomous mobile multi-robot systems has driven innovation in both the industrial and defense sectors. The integration of such systems in safety-and security-critical applications has raised concern over their resilience to attack. In this work, we investigate the security problem of a stealthy adversary masquerading as a properly functioning agent. We show that conventional multi-agent pathfinding solutions are vulnerable to these physical masquerade attacks. Furthermore, we provide a constraint-based formulation of multi-agent pathfinding that yields multi-agent plans that are provably resilient to physical masquerade attacks. This formalization leverages inter-agent observations to facilitate introspective monitoring to guarantee resilience.Accepted manuscrip

Distributed AdaptiveFault-Tolerant Control of Uncertain Multi-Agent Systems

This brief paper presents a distributed adaptive fault-tolerant leader-following consensus control scheme for a class of nonlinear uncertain multi-agent systems under a bidirectional communication topology with possibly asymmetric weights and subject to process and actuator faults. A local fault-tolerant control (FTC) component is designed for each agent using local measurements and suitable information exchanged between neighboring agents. Each local FTC component consists of a fault diagnosis module and a reconfigurable controller module comprised of a baseline controller and two adaptive fault-tolerant controllers activated after fault detection and after fault isolation, respectively. By using an appropriately chosen Lyapunov function, the closed-loop stability and asymptotic convergence property of leader–follower consensus are rigorously established under different operating modes of the FTC system

Fault detection and isolation in a networked multi-vehicle unmanned system

Recent years have witnessed a strong interest and intensive research activities in the area of networks of autonomous unmanned vehicles such as spacecraft formation flight, unmanned aerial vehicles, autonomous underwater vehicles, automated highway systems and multiple mobile robots. The envisaged networked architecture can provide surpassing performance capabilities and enhanced reliability; however, it requires extending the traditional theories of control, estimation and Fault Detection and Isolation (FDI). One of the many challenges for these systems is development of autonomous cooperative control which can maintain the group behavior and mission performance in the presence of undesirable events such as failures in the vehicles. In order to achieve this goal, the team should have the capability to detect and isolate vehicles faults and reconfigure the cooperative control algorithms to compensate for them. This dissertation deals with the design and development of fault detection and isolation algorithms for a network of unmanned vehicles. Addressing this problem is the main step towards the design of autonomous fault tolerant cooperative control of network of unmanned systems. We first formulate the FDI problem by considering ideal communication channels among the vehicles and solve this problem corresponding to three different architectures, namely centralized, decentralized, and semi-decentralized. The necessary and sufficient solvability conditions for each architecture are also derived based on geometric FDI approach. The effects of large environmental disturbances are subsequently taken into account in the design of FDI algorithms and robust hybrid FDI schemes for both linear and nonlinear systems are developed. Our proposed robust FDI algorithms are applied to a network of unmanned vehicles as well as Almost-Lighter-Than-Air-Vehicle (ALTAV). The effects of communication channels on fault detection and isolation performance are then investigated. A packet erasure channel model is considered for incorporating stochastic packet dropout of communication channels. Combining vehicle dynamics and communication links yields a discrete-time Markovian Jump System (MJS) mathematical model representation. This motivates development of a geometric FDI framework for both discrete-time and continuous-time Markovian jump systems. Our proposed FDI algorithm is then applied to a formation flight of satellites and a Vertical Take-Off and Landing (VTOL) helicopter problem. Finally, we investigate the problem of fault detection and isolation for time-delay systems as well as linear impulsive systems. The main motivation behind considering these two problems is that our developed geometric framework for Markovian jump systems can readily be applied to other class of systems. Broad classes of time-delay systems, namely, retarded, neutral, distributed and stochastic time-delay systems are investigated in this dissertation and a robust FDI algorithm is developed for each class of these systems. Moreover, it is shown that our proposed FDI algorithms for retarded and stochastic time-delay systems can potentially be applied in an integrated design of FDI/controller for a network of unmanned vehicles. Necessary and sufficient conditions for solvability of the fundamental problem of residual generation for linear impulsive systems are derived to conclude this dissertation

Robust fault estimation using relative information in linear multi-agent networks

Journal ArticleIn this technical note, a robust fault estimation method, based on sliding mode observers, is proposed for a collection of agents undertaking a shared task and exchanging only relative information over a communication network. Since the 'system of systems' formed by the agents is not observable with respect to relative sensing information, by appropriate transformations and scalings of the inputs and outputs of the actual system, a meaningful observable subsystem is created. For this new subsystem, after modal decomposition based on the associated Laplacian, decoupled sliding mode observers, depending only on the individual node level dynamics of the network, can be created exploiting an existing design philosophy. These collectively form a centralized fault estimation scheme for the original system. © 1963-2012 IEEE