System and software verification is a vital component in the development and reliability of cyber-physical systems - especially in critical domains where the margin of error is minimal. In the case of autonomous driving systems (ADS), the vision perception subsystem is a necessity to ensure correct maneuvering of the environment and identification of objects. The challenge posed in perception systems involves verifying the accuracy and rigidity of detections. The use of Spatio-Temporal Perception Logic (STPL) enables the user to express requirements for the perception system to verify, validate, and ensure its behavior; however, a drawback to STPL involves its accessibility. It is limited to individuals with an expert or higher-level knowledge of temporal and spatial logics, and the formal-written requirements become quite verbose with more restrictions imposed. In this thesis, I propose a domain-specific language (DSL) catered to Spatio-Temporal Perception Logic to enable non-expert users the ability to capture requirements for perception subsystems while reducing the necessity to have an experienced background in said logic. The domain-specific language for the Spatio-Temporal Perception Logic is built upon the formal language with two abstractions. The main abstraction captures simple programming statements that are translated to a lower-level STPL expression accepted by the testing monitor. The STPL DSL provides a seamless interface to writing formal expressions while maintaining the power and expressiveness of STPL. These translated equivalent expressions are capable of directing a standard for perception systems to ensure the safety and reduce the risks involved in ill-formed detections.
Increasing reliable produce farming and clean energy generation in the southwestern United States will be important for increasing the food supply for a growing population and reducing reliance on fossil fuels to generate energy. Combining greenhouses with photovoltaic (PV) films can allow both food and electric power to be produced simultaneously. This study tests if the combination of semi-transparent PV films and a transmission control layer can generate energy and spectrally control the transmission of light into a greenhouse. Testing the layer combinations in a variety of real-world conditions, it was shown that light can be spectrally controlled in a greenhouse. The transmission was overall able to be controlled by an average of 11.8% across the spectrum of sunlight, with each semi-transparent PV film able to spectrally select transmission of light in both the visible and near-infrared light wavelength. The combination of layers was also able to generate energy at an average efficiency of 8.71% across all panels and testing conditions. The most efficient PV film was the blue dyed, at 9.12%. This study also suggests additional improvements for this project, including the removal of the red PV film due to inefficiencies in spectral selection and additional tests with new materials to optimize plant growth and energy generation in a variety of light conditions.