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.

This thesis proposes hardware and software security enhancements to the robotic explorer of a capstone team, in collaboration with the NASA Psyche Mission Student Collaborations program. The NASA Psyche Mission, launching in 2022 and reaching the metallic asteroid of the same name in 2026, will explore from orbit what is hypothesized to be remnant core material of an early planet, potentially providing key insights to planet formation. Following this initial mission, it is possible there would be scientists and engineers interested in proposing a mission to land an explorer on the surface of Psyche to further document various properties of the asteroid. As a proposal for a second mission, an interdisciplinary engineering and science capstone team at Arizona State University designed and constructed a robotic explorer for the hypothesized surfaces of Psyche, capable of semi-autonomously navigating simulated surfaces to collect scientific data from onboard sensors. A critical component of this explorer is the command and data handling subsystem, and as such, the security of this system, though outside the scope of the capstone project, remains a crucial consideration. This thesis proposes the pairing of Trusted Platform Module (TPM) technology for increased hardware security and the implementation of SELinux (Security Enhanced Linux) for increased software security for Earth-based testing as well as space-ready missions.

This thesis explores the potential for software to act as an educational experience for engineers who are learning system dynamics and controls. The specific focus is a spring-mass-damper system. First, a brief introduction of the spring-mass-damper system is given, followed by a review of the background and prior work concerning this topic. Then, the methodology and main approaches of the system are explained, as well as a more technical overview of the program. Lastly, a conclusion and discussion of potential future work is covered. The project was found to be useful by several engineers who tested it. While there is still plenty of functionality to add, it is a promising first attempt at teaching engineers through software development.

Automated vehicles are becoming more prevalent in the modern world. Using platoons of automated vehicles can have numerous benefits including increasing the safety of drivers as well as streamlining roadway operations. How individual automated vehicles within a platoon react to each other is essential to creating an efficient method of travel. This paper looks at two individual vehicles forming a platoon and tracks the time headway between the two. Several speed profiles are explored for the following vehicle including a triangular and trapezoidal speed profile. It is discovered that a safety violation occurs during platoon formation where the desired time headway between the vehicles is violated. The aim of this research is to explore if this violation can be eliminated or reduced through utilization of different speed profiles.

The PPP Loan Program was created by the CARES Act and carried out by the Small Business Administration (SBA) to provide support to small businesses in maintaining their payroll during the Coronavirus pandemic. This program was approved for $350 billion, but this amount was expanded by an additional $320 billion to meet the demand by struggling businesses, since initial funding was exhausted under two weeks.<br/><br/>Significant controversy surrounds the program. In December 2020, the Department of Justice reported 90 individuals were charged for fraudulent use of funds, totaling $250 million. The loans, which were intended for small business, were actually approved for 450 public companies. Furthermore, the methods of approval are<br/>shrouded in mystery. In an effort to be transparent, the SBA has released information about loan recipients. Conveniently, the SBA has released information of all recipients. Detailed information was released for 661,218 recipients who have received a PPP loan in excess of $150,000. These recipients are the central point of this research.<br/><br/>This research sought to answer two primary questions: how did the SBA determine which loans, and therefore which industries are approved, and did the industries most affected by the pandemic receive the most in PPP loans, as intended by Congress? It was determined that, generally, PPP Loans were approved on the basis of employment percentages relative to the individual state. Furthermore, in general, the loans approved were approved fairly, with respect to the size of the industry. The loans, when adjusted for GDP and Employment factors, yielded a clear ranking that prioritized vulnerable industries first.<br/><br/>However, significant questions remain. The effectiveness of the PPP has been hindered by unclear incentives and negative outcomes, characterized by a government program that has essentially been rushed into service. Furthermore, limitations of available data to regress and compare the SBA's approved loans are not representative of small business.

High-entropy alloys possessing mechanical, chemical, and electrical properties that far exceed those of conventional alloys have the potential to make a significant impact on many areas of engineering. Identifying element combinations and configurations to form these alloys, however, is a difficult, time-consuming, computationally intensive task. Machine learning has revolutionized many different fields due to its ability to generalize well to different problems and produce computationally efficient, accurate predictions regarding the system of interest. In this thesis, we demonstrate the effectiveness of machine learning models applied to toy cases representative of simplified physics that are relevant to high-entropy alloy simulation. We show these models are effective at learning nonlinear dynamics for single and multi-particle cases and that more work is needed to accurately represent complex cases in which the system dynamics are chaotic. This thesis serves as a demonstration of the potential benefits of machine learning applied to high-entropy alloy simulations to generate fast, accurate predictions of nonlinear dynamics.

The Covid-19 pandemic has made a significant impact on both the stock market and the<br/>global economy. The resulting volatility in stock prices has provided an opportunity to examine<br/>the Efficient Market Hypothesis. This study aims to gain insights into the efficiency of markets<br/>based on stock price performance in the Covid era. Specifically, it investigates the market’s<br/>ability to anticipate significant events during the Covid-19 timeline beginning November 1, 2019<br/><br/>and ending March 31, 2021. To examine the efficiency of markets, our team created a Stay-at-<br/>Home Portfolio, experiencing economic tailwinds from the Covid lockdowns, and a Pandemic<br/><br/>Loser Portfolio, experiencing economic headwinds from the Covid lockdowns. Cumulative<br/>returns of each portfolio are benchmarked to the cumulative returns of the S&P 500. The results<br/>showed that the Efficient Market Hypothesis is likely to be valid, although a definitive<br/>conclusion cannot be made based on the scope of the analysis. There are recommendations for<br/>further research surrounding key events that may be able to draw a more direct conclusion.

Self-efficacy in engineering, engineering identity, and coping in engineering have been shown in previous studies to be highly important in the advancement of one’s development in the field of engineering. Through the creation and deployment of a 17 question survey, undergraduate and first year masters students were asked to provide information on their engagement at their university, their demographic information, and to rank their level of agreement with 22 statements relating to the aforementioned ideas. Using the results from the collected data, exploratory factor analysis was completed to identify the factors that existed and any correlations. No statistically significant correlations between the identified three factors and demographic or engagement information were found. There needs to be a significant increase in the data sample size for statistically significant results to be found. Additionally, there is future work needed in the creation of an engagement measure that successfully reflects the level and impact of participation in engineering activities beyond traditional coursework.

Music streaming services have affected the music industry from both a financial and legal standpoint. Their current business model affects stakeholders such as artists, users, and investors. These services have been scrutinized recently for their imperfect royalty distribution model. Covid-19 has made these discussions even more relevant as touring income has come to a halt for musicians and the live entertainment industry. <br/>Under the current per-stream model, it is becoming exceedingly hard for artists to make a living off of streams. This forces artists to tour heavily as well as cut corners to create what is essentially “disposable art”. Rapidly releasing multiple projects a year has become the norm for many modern artists. This paper will examine the licensing framework, royalty payout issues, and propose a solution.

The colossal global counterfeit market and advances in cryptography including quantum computing supremacy have led the drive for a class of anti-counterfeit tags that are physically unclonable. Dendrites, previously considered an undesirable side effect of battery operation, have promise as an extremely versatile version of such tags, with their fundamental nature ensuring that no two dendrites are alike and that they can be read at multiple magnification scales. In this work, we first pursue a simulation for electrochemical dendrites that elucidates fundamental information about their growth mechanism. We then translate these results into physical dendrites and demonstrate methods of producing a hash from these dendrites that is damage-tolerant for real-world verification. Finally, we explore theoretical curiosities that arise from the fractal nature of dendrites. We find that uniquely ramified dendrites, which rely on lower ion mobility and conductive deposition, are particularly amenable to wavelet hashing, and demonstrate that these dendrites have strong commercial potential for securing supply chains at the highest level while maintaining a low price point.