MASc Seminar - Syed Talha Jawaid

Thursday, August 29, 2013 10:00 am - 10:00 am EDT (GMT -04:00)

Speaker

Syed Talha Jawaid

Title

Informative Path Planning and Sensor Scheduling

Abstract

In this thesis we consider two combinatorial optimization problems that relate to the field of persistent monitoring.

In the first part, we extend the classic problem of finding the maximum weight Hamiltonian cycle in a graph to the case where the objective is a submodular function of the edges. We consider a greedy algorithm and a 2-matching based algorithm, and we show that they have approximation factors of 1/(2 + kappa) and (2/3)max{ 1/(2 + kappa), (1 - kappa) } respectively, where kappa is the curvature of the submodular function.  Both algorithms require a number of calls to the submodular function that is cubic to the number of vertices in the graph. We then present a method to solve a multi-objective optimization consisting of both additive edge costs and submodular edge rewards.  We provide simulation results to empirically evaluate the performance of  the algorithms.  Finally, we demonstrate an application in monitoring an environment using an autonomous mobile sensor, where the sensing reward is related to the entropy reduction of a given a set of measurements.

In the second part, we study the problem of selecting sensors to obtain the best state estimate of a linear system. The estimator is taken to be a Kalman filter and we attempt to optimize the a posteriori error covariance. For a finite time horizon, we show that, under certain restrictive conditions, the problem can be phrased as a submodular function optimization and that a greedy approach yields a ( 1 - 1/(e^(1-1/e)) )-approximation. Next, for an infinite time horizon, we characterize the exact conditions for the existence of a schedule with bounded estimation error covariance. We then present a scheduling algorithm that guarantees that the error covariance will be bounded and that the error will die out exponentially for any detectable LTI system. Simulations are provided to compare the performance of the algorithm against other known techniques.

Supervisor

Stephen L. Smith