Is it possible to determine whether a signal violates a formula in Signal Temporal Logic (STL), if the monitor only has access to a low-resolution version of the signal? We answer this question affirmatively by demonstrating that temporal logic has a multiresolution structure, which parallels the multiresolution structure of signals....
Thermoelectric generators (TEGs) have gained much popularity in the search for alternatives to clean sources to harvest energy. Given their capability to harness an electric potential given a temperature differential across their opposing faces, and the foreseeable prevalence of naturally and/or commonly occurring temperature gradients in multiple applications, TEGs are...
The goal of this project is to create a lightweight radioactive isotope identification program for an embedded system using the C programming language to perform isotope matching on a subset of isotopes. First, the physics behind radioactive spectra and their key features are explained. Next, the characteristics of the spectra...
This work – in which three peer-reviewed academic papers are presented – addresses the ap-plication of Bayesian Reinforcement Learning to the control of a class of ocean wave energy conversion systems. The first paper presents a comparison of a Reinforcement-Learning (RL) based wave energy converter controller against standard Reactive Damping...
Multiple wave energy converter (WEC) archetypes exist with varying power take-off (PTO) designs in the attempt to maximize ocean energy harnessed and converted into useful energy. The pendulum PTO is popular for its simple, yet robust functionality due to its internally located components and simple operation. Additionally, this PTO does...
Hydrokinetic turbines are an emerging form of renewable energy generation. Although similar to wind turbines, hydrokinetic systems incur extra costs and face constraints in available footprint. SiC power semiconductors within the required power electronics improve the performance. With higher switching afforded by SiC devices, the footprint of passive components for...
To detail common paths followed by companies to produce innovative products, I reviewed existing literature and conducted several semi-structured interviews with a variety of people from different companies and fields. Based on this research, I found that most (but not all) innovative products follow a few general paths. These paths...
The deployment of advanced technology standards for 5G and beyond in cellular networks has resulted in interest in integrated circuits (ICs) operating at frequencies above 10GHz. This has sparked research on wideband circuits in commercial low-cost silicon technologies, operating at high RF and mm-wave frequencies. Given the wide range of...
Wind turbines serve an increasing proportion of total energy generation, with expanded onshore and offshore installations proceeding worldwide. Continued construction, expansion, and operation of wind energy installations must be managed in conjunction with effects on local and migratory wildlife, specifically bird and bat species that may be affected by wind...
Despite near unanimous opinion on the consequences of climate change by scientific community, the rate at which carbon is emitted into the atmosphere continues to increase. The need for a clean and sustainable source of energy is therefore one of humankind's most urgent challenges. Solar energy is the most abundant...