Electrical and Computer Engineering Commons^™

Demystifying Hardware Formal Verification For Undergraduate Education: A Risc-V Processor Case Study With Coursework Implementation, Riley A. Peters

Master's Theses

Hardware verification engineers apply formal methods to prove that a digital device always behaves according to its specification. This differs from traditional functional verification, in which engineers establish correctness by repeatedly sending test inputs to the device and comparing the outputs against a reference model. With the growing complexity of integrated circuits, the demand for digital verification engineers with formal methods experience has continued to increase. However, California Polytechnic State University: San Luis Obispo's current curriculum lacks dedicated material to prepare students for these roles.

This thesis seeks to address the lack of formal methods material through two efforts. First, …

Sustainabake, Kevin Kunta Swanson Ii

Electrical Engineering

This senior project outlines the development of an oven that utilizes renewable energy to operate safely and effectively. It aims to test building an oven using mostly basic hardware students acquired during their time at Cal Poly and provide a starting point for those interested in creating a solar-powered oven. As our society continues to innovate and increasingly relies on electricity, it is important to place more emphasis on how we can make our lives sustainable to take care of our environment without introducing excessive pollutants. Food preparation is a daily activity that typically involves significant energy consumption, making this …

Platforming For Circuit Education, Grady Oliver Schneider

Computer Engineering

The purpose of this project was to provide an alternative for students being introduced to resistive circuits. As a freshman in electrical engineering (transferred to computer engineering), I saw the struggles of other freshman to grasp the conceptual basics of circuits. While there’s lots of guides to circuit education, I think many of them fall short of being both engaging and teaching the intuition behind circuits. A lot of the more advanced concepts in circuits depends on the basic intuition of KCL, KVL, and Ohm’s Law. While there’s several basic techniques (such as voltage divider, current divider, and mesh current …

Deterministic Methods To Improve The Field-Of-View For Direction Finding Using Sparse Digital Arrays, Nolan J. Egging

Master's Theses

Direction finding algorithms are used with digital phased arrays to determine the incoming angle of arrival (AoA) of an incident signal. These algorithms, and direction finding as a whole, have a wide range of civilian and military applications from radar, electronic reconnaissance, mobile communication, et cetera. However, for situations where the spacing between antenna elements needs to be large, gating lobes appear in the radiation pattern of analog arrays. This work demonstrates that for digital beamforming algorithms, the field of view (FoV) of a uniform linear digital array matches the grating lobe free range of a similarly spaced analog array. …

Hallucination Techniques For Self-Supervised Synthetic Datasets For Mobile Robots, Wyatt D. Colburn

Master's Theses

Classical techniques in autonomous navigation struggle in tightly constrained spaces. Machine learning has been shown to perform better in these difficult environments but most techniques require large amounts of navigation experience for training. Using a new machine learning paradigm learning from hallucination (LfH), training data can be collected in a safe environment and not require supervision. Data is collected in real time while an agent performs a random walk in free space, supervision is not required as there are no obstacles for the robot to run into. After a random walk a post processing pipeline will hallucinate a safety corridor …

Time-Domain Symmetrical Components For Detection And Analysis Of Unbalanced Faults In Three-Phase Systems, Ryan Pospichal

Master's Theses

Unbalanced faults in three-phase power systems degrade performance, increase losses, and threaten equipment reliability. Traditional frequency-domain approaches using phasor analysis and symmetrical components offer valuable steady-state insights but respond too slowly for transient or rapidly changing conditions. This thesis investigates time-domain symmetrical components (ISCs) as a faster, physically interpretable method for detecting and analyzing unbalanced faults directly from instantaneous voltages and currents. Two ISC computation techniques were developed and compared: a polar-form method, applying one-third and two-thirds cycle time delays, and a rectangular-form method, which achieves equivalent phase shifts using only a quarter-cycle delay. Simulations in Microsoft Excel verified both …

Power Distribution Controller For Formula Sae Vehicles, Michael Yuen

Electrical Engineering

The Power Distribution Controller (PDC) is designed for low-voltage (12V) automotive applications, specifically Formula SAE vehicles. It aims to replace the current and outdated MOSFET-based system, which suffers from inefficiencies such as lossy current sense resistors and limited configurability. Instead, this new system uses a PROFET-based architecture controlled over the Controller Area Network (CAN) and an updated microcontroller, enabling intelligent power management and data logging.

Designed with FSAE regulations in mind, the PDC not only enhances the reliability of low-voltage systems but also provides a quickly adaptable solution to fuse boxes. It achieves this by providing firmware-adjustable overcurrent protection, incorporating …

Isolated Dc-Dc Converter For An Ev Microgrid, Oscar Yu, William Leiker

Electrical Engineering

This product is a redesign of a DC-DC buck-boost converter which utilizes a new topology, the flyback converter, for use in an electric vehicle (EV) as a microgrid. The main driver behind the redesign is to provide electrical isolation between elements in the microgrid. The EV microgrid consists of the battery, motor, external DC and AC ports, and the power electronics (DC-DC converter and AC-DC inverter) which were designed and built in previous senior projects. Using EV’s as microgrids can help relieve stress from the main power grid caused by charging electric vehicles. Implementing EV’s as a microgrid enables the …

Ai-Powered Accessibility Tracker For Inclusive Public Spaces, Yenny Ma, Kevin Beltran

College of Engineering Summer Undergraduate Research Program

This research project will develop and evaluate a smartphone-based, AI-powered system to crowdsource and analyze accessibility features and barriers in public spaces. Using computer vision and geospatial mapping, the system will identify and categorize issues such as uneven sidewalks, missing or inadequate curb ramps, damaged tactile paving, obstructive overhangs, and the absence of visual or auditory wayfinding cues. The overarching goal is to generate a dynamic, real-time accessibility map that empowers individuals with diverse mobility, sensory, and cognitive needs to navigate public spaces more safely and confidently. The project will integrate technologies and methods from applied machine learning, mobile computer …

Safety-Critical Formation Control Of Non-Holonomic Multi-Robot Systems In Communication-Limited Environments, Logan Beard

College of Engineering Summer Undergraduate Research Program

This project explores advanced methodologies for distributed planning, formation control, and coordination in heterogenous multi-agent robotic systems consisting of small mobile robots and nano unmanned aerial vehicles (UAVs). Leveraging decentralized control theories and optimization techniques, the research aims to develop robust algorithms for real-time collaborative task execution, efficient formation maintenance, and adaptive coordination strategies. Python and ROS will be used extensively to simulate, validate, and experimentally deploy distributed robotics algorithms. The student researcher significantly contributes to the theoretical and practical advancement of multi-agent system technologies.

Eggbeater Antenna Design 915 Mhz, Anshul Deshmukh

College of Engineering Summer Undergraduate Research Program

The Sal-E cube sat mission that is planned for launch in 2026 includes a 902-928 MHz receiving module called the Space Quacker Advanced Development (SQUAD) module. The SQUAD module uses the LoRa modulation format for unlicensed uplink to the satellite using the 902-928 MHz Industrial, Scientific, and Medical (ISM) band. The goal of the SQUAD module is to demonstrate the link robustness of the LoRa communication standard to a low earth orbit (LEO) satellite using this ISM band. To demonstrate this communication link, a 902-928 MHz uplink ground station needs to be established at Cal Poly. The goal of this …

Analysis And Evaluation Of Backtracking Settings For Energy Yield Optimization At The Cal Poly Solar Farm, Kayla Go-Oco

College of Engineering Summer Undergraduate Research Program

The Cal Poly Solar farm has been built as a single axis tracking facility with two different types of panels. Both conventional single cell solar panels and twin cell solar cells have been used in its construction. Twin Cell panels typically perform better than their conventional counterparts when shaded by other panels in the row in front of them in a fixed tilt system. However neither module performs well when even a small portion is shaded. This project will access the system API to access data for the field and process to determine the energy yield improvements that can be …

Building A Smart Transportation Network To Prevent Multi-Vehicle Collisions During Sudden Slowdowns, Leo Huang, Patrick Zhao

College of Engineering Summer Undergraduate Research Program

This proposed SURP project aims to design and evaluate a smart transportation network capable of preventing multiple-vehicle collisions due to sudden slowdowns in traffic. This project will simulate abrupt braking scenarios and implement adaptive vehicle-to-vehicle (V2V) communication protocols. By enhancing real-time awareness and responsiveness among vehicles, the system will reduce pileup risks and improve road safety.

Modeling An Energy Management System For Residential Hybrid Ac/Dc Power Networks, Theodor Buerchner, Giovanni Malone, Alex Maldonado

College of Engineering Summer Undergraduate Research Program

In pursuit of supporting the global efforts in reducing carbon footprint and reliance on fossil fuels, this project seeks to continue the development of a hybrid AC/DC house prototype at Cal Poly State University. To enhance the power flow to DC loads, a dedicated 48 V DC bus will be constructed to replace the impractical multiple DC buses in the previous system. This iteration will also add a key feature that enables users to monitor real-time AC and DC powers. Another new functionality will involve the provision of a mix of latching and non-latching relays to switch between sources, thus …

Building Pathways To Computer Science Careers For Latinx Students Through Multilingual Collaborative Block-Based Programming, Cis Garcia, Noemi Corona Calvario

College of Engineering Summer Undergraduate Research Program

The underrepresentation of Latinx students in computer science highlights the need for innovative and inclusive educational approaches. This project addresses challenges such as limited access to educational resources and the demand for multilingual learning tools by developing a co-located, collaborative, game-based programming environment. Designed for use on phones, tablets, and laptops, this tool supports English, Spanish, and Mixtec, facilitating broader engagement. By promoting peer collaboration and interactive learning, our approach challenges traditional notions of solitary programming and reinforces the idea that expertise is shared, fostering an inclusive and equitable learning environment.

Hands-On Microgrid Education: Using Programmable Dc-Dc Converters To Teach Power & Energy Systems, Alejandra Zuniga

College of Engineering Summer Undergraduate Research Program

This project will develop an analog computing circuit that can accelerate power system simulations used for grid interconnection studies. The project will leverage analog computing to create a specialized circuit capable of simulating large-scale power networks with detailed models of power electronics-based loads, such as those found in data centers and manufacturing plants. A software application programming interface will be developed to integrate this circuit with a desktop computer, where simulations can be run by the user. The project team will also work with industry partners and utilities to evaluate the feasibility of the proposed technology for conducting real-world grid …

Exopg Maturation And Owl Interface, Duncan Michael Louden

Electrical Engineering

The maturation of the ExOPG buoy generator consists of an interface to facilitate remote data acquisition of an existing battery charge controller. This module telemeters battery controller data including voltage, temperature, and state of battery charge. The data is transmitted to a communication system and is able to be viewed by humans on a 24/7 basis for continuous operation and human usage. The module works seamlessly as an addition to the existing ExOPG generator, and it does not interfere with any existing and planned components of the generator. The module is highly efficient and draws minimal power from the existing …

Optimizing Object Detection For Remote Monitoring With Owl Ducklink Radios, Colin Ren-Jin Babian

Electrical Engineering

This project develops an AI powered object detection system integrated with OWL DuckLink radios to enable real time remote monitoring. The system benchmarks multiple AI accelerators using a Raspberry Pi 5 to determine their efficiency in low power, long range communication environments. By evaluating the Raspberry Pi 5 CPU (7.62W, 14.5 camera FPS, 3.8 inference FPS), Raspberry Pi AI Camera with Sony IMX500 (6.45W, 30 camera FPS, 9.2 inference FPS), and Raspberry Pi AI Hat with Hailo-8L chipset (7.80W, 30 camera FPS, >30 inference FPS), this project identifies the most effective combination of hardware and software for edge AI applications. …

Restoration Of 6-Axis Industrial-Grade Robotic Arms, Bryce Andrew Paulson, Warren Douglas Howard

Electrical Engineering

The Staubli TX60 and TX60CR are industrial-grade, six-axis robotic arms originally designed to perform complex automation tasks in manufacturing environments. Following their retirement from active industrial use, both units were restored to full operational status. As part of this project, they were reprogrammed to execute a pick-and-place routine using kids shape-sorting toys that mirrors typical workflows found in factory settings. The six degrees of freedom afforded by each robot enable a wide range of motion, making them well-suited for tasks such as material handling, product sorting, and repetitive operations typically carried out by human workers. Each model is equipped with …

Integration And Testing Of A Quadruped Robot With Ros2, Jeremy S. West

Master's Theses

The Cal Poly Legged Robotics Group has been developing research and teaching platforms for agile legged robotics since 2020. These platforms are expected to provide students with opportunities to develop complete legged-robot systems from low-level control to advanced robotics tasks such as motion planning and decision making. However, the current prototyped quadruped robot lacked the software and sensing capabilities for high-level quadrupedal gaits and advanced robotic research.

To address these challenges, this project developed Switch, a robotic platform that builds upon the previous BRUCE platform with significant hardware and software upgrades. Switch features a modular design that allows individual software …

Owl Solar-Powered Link: Duck Radio Mesh For Autonomous Monitoring, Jaden Tran, Shane Williams

Electrical Engineering

The Solar Duck Sensor Node transforms a standard DuckLink into a fully self-sustaining environmental monitor. A compact solar panel / power bank module plugs into the power ports of both the DuckLink and the Raspberry Pi Zero 2 W, keeping them charged through day-night cycles. The Pi Zero 2 W will perform local processing of sensor data. Sensor output will come from the Raspberry Pi AI Camera and its object detection capabilities. This output will be distilled into metadata and advertised over BLE. The DuckLink captures these packets, encapsulates them into LoRa payloads, and forwards them across the ClusterDuck mesh …

Seconds From Impact: Anticipatory Vehicular Crash Prediction Using Video Vision Transormers, Ryan P. Geisen

Master's Theses

Vehicular collisions represent a significant public health concern, necessitating re search into advanced emergency notification systems. While deep learning has shown promise in accident detection, a research gap persists in applying state-of-the-art transformer architectures to the task of anticipatory, real-time crash prediction from video. This thesis addresses this gap by developing and evaluating a Video Vision Transformer (ViViT) for the binary classification of imminent vehicular collisions. Utilizing a curated dataset of 1,493 unique collision sequences, this study systemati cally investigates the impact of temporal context by comparing the ViViT against a single-frame Vision Transformer (ViT) baseline and conducting comprehensive exper …

Spy Bot, Nathanael Bruce Farris

Computer Engineering

This project set out to develop a compact, mobile-controlled robotic platform designed for remote video surveillance and control via a smartphone. Using a Raspberry Pi as the core controller, the robot integrates a Flask-based server, HTML/JavaScript-based user interface, and an infrared-capable camera to provide real-time video streaming and directional control through a web browser. Key design challenges included managing power delivery, integrating motor control with live video, and modernizing web technologies to ensure smooth communication between client and server. The final system demonstrates a responsive and portable proof of concept that highlights the potential for future upgrades, such as night …

Reverse Engineering Bring Up And Profiling Of Multi-Fpga Systems, Henry A. Evans

Master's Theses

FPGAs have long been used for prototyping and verifying high-speed digital designs in industry and in academic research. As ASIC designs have grown in complexity and size, prototyping those designs on FPGAs has required multiple FPGAs that sometimes span multiple servers. Western Digital donated multiple FPGA-based systems to Cal Poly in 2023. These servers contain multiple high-end AMD FPGAs that are ideal for prototyping large high-speed digital designs, however the full documentation on how to use the servers and how the servers work was not provided. The servers did not come with any information on how to program the FPGAs, …

Leveraging Machine-Learning Algorithms In Two Car Crash Detection Systems On A Custom Dataset, Addison Jacob Sandvik

Master's Theses

Traffic accidents pose a significant threat to public safety, causing millions of deaths and injuries worldwide each year. While efforts to reduce accidents have seen limited progress in recent years, improving emergency response times through automated detection systems is a promising avenue for saving lives. This thesis describes the development of machine learning-based traffic accident detection systems, exploring both video classification and image detection models. The models are trained on a new dataset deemed the Cal Poly Traffic Accident Dataset, an extension of the existing Car Accident Detection and Prediction (CADP) dataset with a precise collision annotations. Two systems were …

Nonlinear Integral Control Schemes For A Cadence-Heartrate Process: A Matlab Exploration, Alexander G. Elliott

Master's Theses

Keeping one’s heart-rate within a specific range during a cardiovascular workout can be difficult due to many factors including variations in the exercise environment and changes in energy level. One’s heart-rate can be controlled by tuning the intensity level of the activity over time. This study focuses on the relationship between a runner’s cadence and their heart-rate and explores ways to control the heart-rate by adjusting the cadence. Previous work in this area modeled the cadence-heartrate plant as a first-order linear system, but this has been shown to be insufficient. This work improves upon previous research in this area by …

Study On The Application Of Smart Electric Meters For Secondary Voltage Protection, Jayaditya Sisodia

Master's Theses

The purpose of our research is to utilize PG&E’s Smart Meters installed across California to protect the Secondary Voltage delivered to the meter. This means detecting electrical faults between the utility’s distribution transformer and the installed Smart Meter. Our goal is to propose and implement various solutions through additional devices and protocols to detect and prevent these faults, communicate them with the meter, and forward fault information to the utility. A device will be designed to be installed on the transformer, detect faults, shut off power transmission, and communicate to the meter via fiber optic cable. Research will then be …

Streamlined Intelligence: Resource-Efficient Machine Learning For 5g Nr V2v Channel Equalization, Jacqueline G. Radding

Master's Theses

As autonomous vehicles continue to evolve, reliable and efficient real-time communication between vehicles is essential for safety and performance. This thesis explores Streamlined Intelligence: Resource Efficient machine learning for 5G NR V2V Channel Equalization, focusing on lightweight random forest decision tree models to address the challenges of channel equalization in 5G New Radio (NR) vehicle to vehicle (V2V) systems. Using orthogonal frequency division multiplexing (OFDM) with QPSK modulation, the study simulates data transmission in nonlinear channels characterized by obstructions, Doppler shifts, and fading. Decision trees are proposed as a computationally efficient alternative to other machine learning methods while being compared …

Open Source Asic Design Curriculum, Francisco Wilken

Master's Theses

The ever-growing importance of Application-Specific Integrated Circuits (ASICs) in a high-compute world necessitates that college graduates entering the workforce are well prepared to design them. This thesis details the design of novel ASIC curriculum, using open source tools to teach at the undergraduate level. By moving to a higher level of abstraction than classical transistor-focused coursework, chip design material can be made accessible earlier in an undergraduate degree. Additionally, open source tools provide a powerful, free, and portable platform for students to create their own designs, solving assignments focused on industry readiness. Finally, this thesis studies the results and challenges …

Design, Analysis, And Implementation Of An Improved Zero Voltage Switching Hybrid Voltage Divider, Luke V. Cerda

Master's Theses

This thesis entails the study, design, and construction of a novel DC-DC converter topology, the Zero Voltage Switching Hybrid Voltage Divider (ZVS-HVD), with improved modularization, optimization, and compactness. The ZVS-HVD facilitates higher load currents and accomplishes DC-DC voltage division through switching inductors and capacitors. Low switching loss is achieved through zero voltage switching (ZVS) and the use of GANFET switches. An analysis of duty cycle and high-frequency operation is conducted, enabling 1 MHz switching and improvements in output voltage ripple, voltage drooping, board size, and efficiency at higher load currents. Two versions of ZVS-HVD prototypes were constructed with on-board signal …