Engineering Commons^™

Invariant Inferring And Monitoring In Robotic Systems, Hengle Jiang

Department of Computer Science and Engineering: Dissertations, Theses, and Student Research

System monitoring can help to detect abnormalities and avoid failures. Crafting monitors for today’s robotic systems, however, can be very difficult due to the systems’ inherent complexity and its rich operating environment.

In this work we address this challenge through an approach that automatically infers system invariants and synthesizes those invariants into monitors. This approach is inspired by existing software engineering approaches for automated invariant inference, and it is novel in that it derives invariants by observing the messages passed between system nodes and the invariants types are tailored to match the spatial, time, temporal, and architectural attributes of robotic …

Using A Uav To Effectively Prolong Wireless Sensor Network Lifetime With Wireless Power Transfer, Jinfu Leng

Department of Computer Science and Engineering: Dissertations, Theses, and Student Research

Wireless sensor networks are widely used for everything from border security to monitoring waterway pollution. Supplying energy for long term deployment is a main challenge in the applications of wireless sensor networks, as batteries are the primary energy source. Current wireless sensor networks deployed for long periods either require additional infrastructure, such as solar panels, or periodic maintenance. Our research lab has proposed a novel solution that uses a micro unmanned aerial vehicle (UAV) to wirelessly charge the sensor nodes and prolong the sensor network lifetime. Recent studies have shown that significant power can be transferred wirelessly over medium distances. …

Analysis, Optimization, And Implementation Of A Uav-Based Wireless Power Transfer System, Andrew Mittleider

Department of Computer Science and Engineering: Dissertations, Theses, and Student Research

Wireless power transfer is rapidly advancing in its ability to efficiently transfer power to a variety of devices.

As the efficiency increases, more applications for these systems arise. Since magnetic resonant wireless power transfer can only transfer a small amount of power, most current applications only focus on powering low-powered devices.

Wireless Sensor Networks are composed of many low-powered nodes which currently require human interaction to remain powered. We propose recharging a low-powered Wireless Sensor Network (WSN) with a magnetic resonant wireless power transfer system attached to a quadrotor Unmanned Aerial Vehicle (UAV).

This thesis addresses three main challenges with …

Autonomous Aerial Water Sampling, John-Paul W. Ore

Department of Computer Science and Engineering: Dissertations, Theses, and Student Research

Obtaining spatially separated, high frequency water samples from rivers and lakes is critical to enhance our understanding and effective management of fresh water resources. In this thesis we present an aerial water sampler and verify the system in field experiments. The aerial water sampler has the potential to vastly increase the speed and range at which scientists obtain water samples while reducing cost and effort. The water sampling system includes: 1) a mechanism to capture three 20 ml samples per mission; 2) sensors and algorithms for safe navigation and altitude approximation over water; and 3) software components that integrate and …