Adaptive and Optimal Motion Control of Multi-UAV Systems

This thesis studies trajectory tracking and coordination control problems for single and multi unmanned aerial vehicle (UAV) systems. These control problems are addressed for both quadrotor and fixed-wing UAV cases. Despite the fact that the literature has some approaches for both problems, most of the previous studies have implementation challenges on real-time systems. In this thesis, we use a hierarchical modular approach where the high-level coordination and formation control tasks are separated from low-level individual UAV motion control tasks. This separation helps efficient and systematic optimal control synthesis robust to effects of nonlinearities, uncertainties and external disturbances at both levels, independently. The modular two-level control structure is convenient in extending single-UAV motion control design to coordination control of multi-UAV systems. Therefore, we examine single quadrotor UAV trajectory tracking problems to develop advanced controllers compensating effects of nonlinearities and uncertainties, and improving robustness and optimality for tracking performance. At fi rst, a novel adaptive linear quadratic tracking (ALQT) scheme is developed for stabilization and optimal attitude control of the quadrotor UAV system. In the implementation, the proposed scheme is integrated with Kalman based reliable attitude estimators, which compensate measurement noises. Next, in order to guarantee prescribed transient and steady-state tracking performances, we have designed a novel backstepping based adaptive controller that is robust to effects of underactuated dynamics, nonlinearities and model uncertainties, e.g., inertial and rotational drag uncertainties. The tracking performance is guaranteed to utilize a prescribed performance bound (PPB) based error transformation. In the coordination control of multi-UAV systems, following the two-level control structure, at high-level, we design a distributed hierarchical (leader-follower) 3D formation control scheme. Then, the low-level control design is based on the optimal and adaptive control designs performed for each quadrotor UAV separately. As particular approaches, we design an adaptive mixing controller (AMC) to improve robustness to varying parametric uncertainties and an adaptive linear quadratic controller (ALQC). Lastly, for planar motion, especially for constant altitude flight of fixed-wing UAVs, in 2D, a distributed hierarchical (leader-follower) formation control scheme at the high-level and a linear quadratic tracking (LQT) scheme at the low-level are developed for tracking and formation control problems of the fixed-wing UAV systems to examine the non-holonomic motion case. The proposed control methods are tested via simulations and experiments on a multi-quadrotor UAV system testbed

Active-passive dynamic consensus filters: Theory and applications

”This dissertation presents a new method for distributively sensing dynamic environments utilizing integral action based system theoretic distributed information fusion methods. Specifically, the main contribution is a new class of dynamic consensus filters, termed active-passive dynamic consensus filters, in which agents are considered to be active, if they are able to sense an exogenous quantity of interest and are considered to be passive, otherwise, where the objective is to drive the states of all agents to the convex hull spanned by the exogenous inputs sensed by active agents. Additionally, we generalize these results to allow agents to locally set their value-of-information, characterizing an agents ability to sense a local quantity of interest, which may change with respect to time. The presented active-passive dynamic consensus filters utilize equations of motion in order to diffuse information across the network, requiring continuous information exchange and requiring agents to exchange their measurement and integral action states. Additionally, agents are assumed to be modeled as having single integrator dynamics. Motivated from this standpoint, we utilize the ideas and results from event-triggering control theory to develop a network of agents which only share their measurement state information as required based on errors exceeding a user-defined threshold. We also develop a static output-feedback controller which drives the outputs of a network of agents with general linear time-invariant dynamics to the average of a set of applied exogenous inputs. Finally, we also present a system state emulator based adaptive controller to guarantee that agents will reach a consensus even in the presence of input disturbances. For each proposed active-passive dynamic consensus filter, a rigorous analysis of the closed-loop system dynamics is performed to demonstrate stability. Finally, numerical examples and experimental studies are included to demonstrate the efficacy of the proposed information fusion filters”--Abstract, page iv

Network Identification for Diffusively-Coupled Systems with Minimal Time Complexity

The theory of network identification, namely identifying the (weighted) interaction topology among a known number of agents, has been widely developed for linear agents. However, the theory for nonlinear agents using probing inputs is less developed and relies on dynamics linearization. We use global convergence properties of the network, which can be assured using passivity theory, to present a network identification method for nonlinear agents. We do so by linearizing the steady-state equations rather than the dynamics, achieving a sub-cubic time algorithm for network identification. We also study the problem of network identification from a complexity theory standpoint, showing that the presented algorithms are optimal in terms of time complexity. We also demonstrate the presented algorithm in two case studies.Comment: 12 pages, 3 figure

Scalable {\delta}-Level Coherent State Synchronization of Multi-Agent Systems in the Presence of Bounded Disturbances

In this paper, we study scalable {\delta}-Level coherent state synchronization for multi-agent systems (MAS) where the agents are subject to bounded disturbances/noises. We propose a scale-free framework designed solely based on the knowledge of agent models and agnostic to the communication graphs and size of the network. We define the level of coherency for each agent as the norm of the weighted sum of the disagreement dynamics with its neighbors. The objective is to restrict the level of coherency of the network to {\delta} without a-priori information about the disturbances.Comment: 18 pages, 11 figures, This is a preprint of the paper "Scalable {\delta}-Level Coherent State Synchronization of Multi-Agent Systems with Adaptive Protocols and Bounded Disturbances" submitted to the International Journal of Robust and Nonlinear Contro

Data-Driven Architecture to Increase Resilience In Multi-Agent Coordinated Missions

The rise in the use of Multi-Agent Systems (MASs) in unpredictable and changing environments has created the need for intelligent algorithms to increase their autonomy, safety and performance in the event of disturbances and threats. MASs are attractive for their flexibility, which also makes them prone to threats that may result from hardware failures (actuators, sensors, onboard computer, power source) and operational abnormal conditions (weather, GPS denied location, cyber-attacks). This dissertation presents research on a bio-inspired approach for resilience augmentation in MASs in the presence of disturbances and threats such as communication link and stealthy zero-dynamics attacks. An adaptive bio-inspired architecture is developed for distributed consensus algorithms to increase fault-tolerance in a network of multiple high-order nonlinear systems under directed fixed topologies. In similarity with the natural organisms’ ability to recognize and remember specific pathogens to generate its immunity, the immunity-based architecture consists of a Distributed Model-Reference Adaptive Control (DMRAC) with an Artificial Immune System (AIS) adaptation law integrated within a consensus protocol. Feedback linearization is used to modify the high-order nonlinear model into four decoupled linear subsystems. A stability proof of the adaptation law is conducted using Lyapunov methods and Jordan decomposition. The DMRAC is proven to be stable in the presence of external time-varying bounded disturbances and the tracking error trajectories are shown to be bounded. The effectiveness of the proposed architecture is examined through numerical simulations. The proposed controller successfully ensures that consensus is achieved among all agents while the adaptive law v simultaneously rejects the disturbances in the agent and its neighbors. The architecture also includes a health management system to detect faulty agents within the global network. Further numerical simulations successfully test and show that the Global Health Monitoring (GHM) does effectively detect faults within the network

Distributed Optimal State Consensus for Multiple Circuit Systems with Disturbance Rejection

This paper investigates the distributed optimal state consensus problem for an electronic system with a group of circuit units, where the dynamics of each unit is modeled by a Chua's circuit in the presence of disturbance generated by an external system. By means of the internal model approach and feedback control, a compensator-based continuous-time algorithm is proposed to minimize the sum of all cost functions associated with each individual unit in a cooperative manner. Supported by convex analysis, graph theory and Lyapunov theory, it is proved that the proposed algorithm is exponentially convergent. Compared with the centralized algorithms, the proposed protocol possesses remarkable superiority in improving scalability and reliability of multiple circuit systems. Moreover, we also study the distributed uncertain optimal state consensus problem and a linear regret bound is obtained in this case. Finally, a state synchronization example is provided to validate the effectiveness of the proposed algorithms