Physical Sciences and Mathematics Commons^™

Using Automated Task Solution Synthesis To Generate Critical Junctures For Management Of Planned And Reactive Cooperation Between A Human-Controlled Blimp And An Autonomous Ground Robot, Christopher M. Reardon

Masters Theses

This thesis documents the use of an approach for automated task solution synthesis that algorithmically and automatically identifies periods during which a team of less-than-fully capable robots benefit from tightly-coupled, coordinated, cooperative behavior.

I test two hypotheses: 1) That a team’s performance can be increased by cooperating during certain specific periods of a mission and 2) That these periods can be identified automatically and algorithmically. I also demonstrate how identification of cooperative periods can be performed both off-line prior to the application and reactively during mission execution.

I validate these premises in a real-world experiment using a human-piloted Unmanned Aerial …

L-Encoder: Video Transcoding In The Logistical Network, Harold Thomas Gonzales

Masters Theses

Transcoding, the transformation of digital information from one encoding format to another, is a prominent operation in the realm of digital video and audio. This process of changing the encoding formats of multimedia files and streams is now a common task for many users due in part to the prevalence of portable media players and consumer electronic devices for digital media, which place constraints on the file and stream formats they can play. The transcoding process is often both data and compute intensive due to both the large data requirements of modern media formats from sources such as HDTV and …