*********************************
There is now a CONTENT FREEZE for Mercury while we switch to a new platform. It began on Friday, March 10 at 6pm and will end on Wednesday, March 15 at noon. No new content can be created during this time, but all material in the system as of the beginning of the freeze will be migrated to the new platform, including users and groups. Functionally the new site is identical to the old one. webteam@gatech.edu
*********************************
Title: A Framework to Verify the Coverage Property in the Single Agent and Multi-agent Persistent Turning Walker under a Range of Parameter Values
Committee:
Dr. F. Zhang, Advisor
Dr. Coogan, Chair
Dr. Hu
Abstract: The objective of the proposed research is to verify coverage properties of a continuous fish motion model, termed as the Persistent Turning Walker (PTW) model. Dependence on constant availability on an external localization service is often unreliable and infeasible in mobile robots. We propose that the PTW model is a strategy which can achieve 2D and 3D coverage in an unknown environment in the absence of a localization service, such as a Global Positioning System (GPS). This is achieved by converting the continuous-time dynamical system into a Discrete-Time Markov Chain (DTMC) which is then shown to exhibit strongly connected properties. The formulated DTMC is also verified against certain mathematical hypotheses formulated in the Linear Temporal Logic (LTL) language. The framework can also be used to study the continuous-time dynamics of other biological systems and evaluate their properties. In our preliminary work we have verified the coverage property for the single agent PTW model and in our proposed work, we aim to extend the framework to verify the coverage property for the multi-agent PTW model. Our work aims to show that the PTW model may be effectively used as a coverage strategy by mobile robots in underwater or underground environments where the availability of a GPS cannot be guaranteed at all times.
