Estimation and stability of nonlinear control systems under intermittent information with applications to multi-agent robotics

This dissertation investigates the role of intermittent information in estimation and control problems and applies the obtained results to multi-agent tasks in robotics. First, we develop a stochastic hybrid model of mobile networks able to capture a large variety of heterogeneous multi-agent problems and phenomena. This model is applied to a case study where a heterogeneous mobile sensor network cooperatively detects and tracks mobile targets based on intermittent observations. When these observations form a satisfactory target trajectory, a mobile sensor is switched to the pursuit mode and deployed to capture the target. The cost of operating the sensors is determined from the geometric properties of the network, environment and probability of target detection. The above case study is motivated by the Marco Polo game played by children in swimming pools. Second, we develop adaptive sampling of targets positions in order to minimize energy consumption, while satisfying performance guarantees such as increased probability of detection over time, and no-escape conditions. A parsimonious predictor-corrector tracking filter, that uses geometrical properties of targets\u27 tracks to estimate their positions using imperfect and intermittent measurements, is presented. It is shown that this filter requires substantially less information and processing power than the Unscented Kalman Filter and Sampling Importance Resampling Particle Filter, while providing comparable estimation performance in the presence of intermittent information. Third, we investigate stability of nonlinear control systems under intermittent information. We replace the traditional periodic paradigm, where the up-to-date information is transmitted and control laws are executed in a periodic fashion, with the event-triggered paradigm. Building on the small gain theorem, we develop input-output triggered control algorithms yielding stable closed-loop systems. In other words, based on the currently available (but outdated) measurements of the outputs and external inputs of a plant, a mechanism triggering when to obtain new measurements and update the control inputs is provided. Depending on the noise environment, the developed algorithm yields stable, asymptotically stable, and Lp-stable (with bias) closed-loop systems. Control loops are modeled as interconnections of hybrid systems for which novel results on Lp-stability are presented. Prediction of a triggering event is achieved by employing Lp-gains over a finite horizon in the small gain theorem. By resorting to convex programming, a method to compute Lp-gains over a finite horizon is devised. Next, we investigate optimal intermittent feedback for nonlinear control systems. Using the currently available measurements from a plant, we develop a methodology that outputs when to update the control law with new measurements such that a given cost function is minimized. Our cost function captures trade-offs between the performance and energy consumption of the control system. The optimization problem is formulated as a Dynamic Programming problem, and Approximate Dynamic Programming is employed to solve it. Instead of advocating a particular approximation architecture for Approximate Dynamic Programming, we formulate properties that successful approximation architectures satisfy. In addition, we consider problems with partially observable states, and propose Particle Filtering to deal with partially observable states and intermittent feedback. Finally, we investigate a decentralized output synchronization problem of heterogeneous linear systems. We develop a self-triggered output broadcasting policy for the interconnected systems. Broadcasting time instants adapt to the current communication topology. For a fixed topology, our broadcasting policy yields global exponential output synchronization, and Lp-stable output synchronization in the presence of disturbances. Employing a converse Lyapunov theorem for impulsive systems, we provide an average dwell time condition that yields disturbance-to-state stable output synchronization in case of switching topology. Our approach is applicable to directed and unbalanced communication topologies.\u2

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