Task-driven multi-formation control for coordinated UAV/UGV ISR missions

The report describes the development of a theoretical framework for coordination and control of combined teams of UAVs and UGVs for coordinated ISR missions. We consider the mission as a composition of an ordered sequence of subtasks, each to be performed by a different team. We design continuous cooperative controllers that enable each team to perform a given subtask and we develop a discrete strategy for interleaving the action of teams on different subtasks. The overall multi-agent coordination architecture is captured by a hybrid automaton, stability is studied using Lyapunov tools, and performance is evaluated through numerical simulations

Information Surfing for Model-driven Radiation Mapping

In this report we develop a control scheme to coordinate a group of mobile sensors for radiation mapping of a given planar polygon region. The control algorithm is based on the concept of information surfing, where navigation is done by means of following information gradients, taking into account sensing performance as well as inter-robot communication range limitations. The control scheme provably steers mobile sensors to locations at which they maximize the information content of their measurement data, and the asymptotic properties of our information metric with respect to time ensures that no local information metric extremum traps the sensors indefinitely. In addition, the inherent synergy of the mobile sensor group facilitates the temporal erosion of such extremum configurations. Information surfing allows for reactive mobile sensor network behavior and adaptation to environmental changes, as well as human retasking

Increasing the Accuracy of Cooperative Localization by Controlling the Sensor Graph

We characterize the accuracy of a cooperative localization algorithm based on Kalman Filtering, as expressed by the trace of the covariance matrix, in terms of the algebraic graph theoretic properties of the sensing graph. In particular, we discover a weighted Laplacian in the expression that yields the constant, steady state value of the covariance matrix. We show how one can reduce the localization uncertainty by manipulating the eigenvalues of the weighted Laplacian. We thus provide insight to recent optimization results which indicate that increased connectivity implies higher accuracy and we offer an analysis method that could lead to more efficient ways of achieving the desired accuracy by controlling the sensing network

Almost Global Asymptotic Formation Stabilization Using Navigation Functions

We present a navigation function through which a group of mobile agents can be coordinated to achieve a particular formation, both in terms of shape and orientation, while avoiding collisions between themselves and with obstacles in the environment. Convergence is global and complete, subject to the constraints of the navigation function methodology. Algebraic graph theoretic properties associated with the interconnection graph are shown to affect the shape of the navigation function. The approach is centralized but the potential function is constructed in a way that facilitates complete decentralization. The strategy presented will also serve as a point of reference and comparison in quantifying the cost of decentralization in terms of performance

Abstractions of Constrained Linear Systems

Simulation relations are powerful abstraction techniques in computer science that reduce the complexity of analysis and design of labeled transition systems. In this paper, we define and characterize simulation relations for discrete-time linear systems in the presence of state and input constraints. Given a discrete-time linear system and the associated constraints, we consider a control-abstract embedding into a transition system. We then establish necessary and sufficient conditions for one constrained linear system to simulate the transitions of the other. Checking the simulation conditions is formulated as a linear programming problem which can be efficiently solved for systems of large dimensions. We provide an example where our approach is applied to the hybrid model of the Electronic Throttle Control (ETC) System

Extended Kalman Filter Implementation for the Khepera II Mobile Robot

The accurate estimation of robot position and orientation in real-time is one of the fundamental challenges in mobile robotics. The Extended Kalman Filter is a nonlinear real-time recursive time domain filter that combines available sensor data to produce an accurate estimate of state, and has been successfully applied to the localization problem in mobile robotics and aircraft navigation. This report describes an Extended Kalman Filter implementa- tion for the Khepera II mobile robotics platform that seeks to produce accurate localization estimates in real-time using wheel odometry data, IR sensor range data, and compass heading data