Open Access. Powered by Scholars. Published by Universities.®

Digital Commons Network™

Open Access. Powered by Scholars. Published by Universities.®

Engineering

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 2011 - 2040 of 53022

Full-Text Articles in Entire DC Network

Reconfiguration-Driven Assembly Of Inorganic Nanomembranes, Divya Jyoti Prakash May 2025

Reconfiguration-Driven Assembly Of Inorganic Nanomembranes, Divya Jyoti Prakash

Chemical and Biological Engineering ETDs

This thesis focuses on the guided self-assembly of metastable nanomembranes (NMs) that are either amorphous or polycrystalline. Guided self-assembly of NMs is a robust and scalable method to obtain a variety of three-dimensional structures such as helices, rolled-up tubes, and networks of interconnected channels. These 3D structures have important applications as on-chip actuators, sensors, inductors, transformers, waveguides, and antennas. Furthermore, a large amount of strain and strain gradient can be imparted in NMs by bending them to a nanoscale and microscale radius of curvature, making guided self-assembly on NMs a viable route to extreme strain engineering of amorphous and polycrystalline …


Engaging Youth In Community Problem Solving Through Community Partnerships, Kim Hales, Catherine Jurado, Mercedis Zismer May 2025

Engaging Youth In Community Problem Solving Through Community Partnerships, Kim Hales, Catherine Jurado, Mercedis Zismer

Utah Conference on Community Engagement

This panel discussion will present a community-engaged project in which four community partners work with youth in the context of a USU ENG 1010 or USU ENG 2010 writing assignment. This assignement asks students to identify a problem in their community by which they are directly impacted. The student then works with the community partner to document the problem and to brainstorm possible solutions to the issue. The panel will invite audience members to share their experiences with similarly designed assignments and to offer input, critique, and suggestions. Audience members will also be invited to ask questions to the panel …


Computational Complexity Of Soundness Verification For Neural Networks, Scott Sirri May 2025

Computational Complexity Of Soundness Verification For Neural Networks, Scott Sirri

McKelvey School of Engineering Graduate Student Theses & Dissertations

Neural networks are an increasingly ubiquitous tool in systems of varying complexity across a range of domains. While these tools can be used to learn and predict complex functions, their opaque nature limits the scope of their acceptable applications. In particular, a lack of performance guarantees means that they are unsuitable for safety-critical applications such as self-driving cars and scheduling systems. Neural networks trained to solve NP-complete problems, in particular, are unlikely to be able to solve the problem exactly. However, a weaker soundness guarantee may be sufficient for some systems, e.g., that positive instances of the problem may be …


Beam Bending Data And Parsing/Visualization Script, Jared Hunter, Jared Erickson May 2025

Beam Bending Data And Parsing/Visualization Script, Jared Hunter, Jared Erickson

ScholarsArchive Data

The beamsolutions.txt file contains beam information for 59,913 beams created from a latin hypercube sampling of values of alpha(0,10), Beta(-10, 10), and psi (-pi, pi). The data was generated from a Matlab script released as part of the publication referenced here.

Jensen, B. D., and Erickson, J. (December 12, 2024). "Full Forward Solution of Large Deflection, End Loaded Cantilever Beams Using Elliptic Integrals." ASME. J. Mechanisms Robotics. June 2025; 17(6): 061005. https://doi.org/10.1115/1.4067170

The Data_Parsing_Visualization.py file uses numpy and matplotlib packages to decode and plot beam data. Individual beam solutions are plotted first. All beam solution endpoints are plotted in the …


Transfer Learning For Temporal Logic Objectives, Lucas M. Santana Rovira May 2025

Transfer Learning For Temporal Logic Objectives, Lucas M. Santana Rovira

McKelvey School of Engineering Graduate Student Theses & Dissertations

Reinforcement learning algorithms can enable autonomous systems to learn the control skills needed to accomplish a task specified by a linear temporal logic formula. However, they cannot be transferred to a new task, even when the two are very similar. For each new task, the policy must be redesigned from scratch, which is a common limitation of existing reinforcement learning methods for temporal logic tasks. A proposed solution to this problem leverages the similarity between past and new tasks to reuse already learned control skills to accomplish the new task, with minimal or no retraining.

Rather than learning a single …


Development Of A Light-Based Platform To Assess Cervical Mucus Barrier Function And Physical Mucus Properties, Elizabeth J. Buzbee May 2025

Development Of A Light-Based Platform To Assess Cervical Mucus Barrier Function And Physical Mucus Properties, Elizabeth J. Buzbee

McKelvey School of Engineering Graduate Student Theses & Dissertations

Preterm birth is the leading cause of neonatal morbidity and mortality worldwide, yet current clinical tools for predicting its risk lack specificity and reliability. Cervical mucus plays a crucial role in maintaining pregnancy by forming a barrier that protects the uterus against infection. This study investigates the use of laser speckle rheology as a noninvasive technique to assess cervical mucus biomechanics. Synthetic cervical mucus was fabricated at varying hydration levels and tested using a conventional rheometer that confirmed that the mechanical properties of the synthetic mucus samples were representative of physiological cervical mucus. These results were compared to the complex …


On The H-Property For Step-Graphons: Residual Case, Wanting Gao May 2025

On The H-Property For Step-Graphons: Residual Case, Wanting Gao

McKelvey School of Engineering Graduate Student Theses & Dissertations

We investigate the H-property for step-graphons. Specifically, we sample graphs Gn on n nodes from a step-graphon and evaluate the probability that Gn has a Hamiltonian decomposition in the asymptotic regime as n → ∞. It has been shown in Belabbas and Chen (2023); Belabbas et al. (2021) that for almost all step-graphons, this probability converges to either zero or one. We focus in this paper on the residual case where the zero-one law does not apply. We show that the limit of the probability still exists and provide an explicit expression of it. We present a complete proof of …


Multi-Modal Mri For The Pre-Clinical Evaluation Of Hiv-Linked Changes In The Central Nervous System, Gabriel Gauthier May 2025

Multi-Modal Mri For The Pre-Clinical Evaluation Of Hiv-Linked Changes In The Central Nervous System, Gabriel Gauthier

Theses & Dissertations

Though the inception of anti-retroviral therapy (ART) has fundamentally changed the life expectancy of human immunodeficiency virus (HIV) patients, accessibility and outcomes vary enormously along demographic lines. Even for people living with HIV (PLWH) with perfect access and adherence to anti-retroviral drugs (ARVs), modern treatment plans are fundamentally unable to secure complete viral remission for patients. The cause of this perpetual infection is the persistence of viral reservoirs in the central nervous system (CNS), hidden beyond the reach of modern ARVs, leaving patients to deal with lifelong medication side-effects and risks of developing HIV-associated neurodegenerative disorders (HAND). Despite improving outcomes …


Feasibility Analysis For The Implementation Of An Anaerobic Digestion System In The City Of Pittsburgh, Pa, Gianna L. Kolencik May 2025

Feasibility Analysis For The Implementation Of An Anaerobic Digestion System In The City Of Pittsburgh, Pa, Gianna L. Kolencik

Electronic Theses and Dissertations

The current study is investigating the feasibility of an anaerobic digestion system

in Pittsburgh, Pennsylvania, at the old State Correctional Institute (SCI-Pittsburgh)

located at 1922 Westhall St. This location is immediately upstream of the Allegheny

County Sanitary Authority (ALCOSAN) along the Ohio River. Municipal solid waste

from ALCOSAN may be used as the main form of feedstock. ALCOSAN produced

roughly 36,500 tons of dry sludge in the reporting year 2023-2024. Based on the volume

of dry sludge from ALCOSAN it is estimated that an anaerobic digestion system could

yield approximately 29,930,000 kWh of energy, which is enough to power over …


Computational Models Of Vocal Fold Lesions: Analysis Of Fluid-Structure Interaction, Manoela Rocha Neves May 2025

Computational Models Of Vocal Fold Lesions: Analysis Of Fluid-Structure Interaction, Manoela Rocha Neves

Electronic Theses and Dissertations

The biomechanical and aerodynamic behaviors of the vocal folds (VFs) during phonation are heavily influenced by their structural composition and pathological changes. These conditions can induce localized stiffening that disrupts vibratory symmetry and alters airflow resistance. Previous research has lacked the integration of VF lesions in computational simulations using anatomically accurate models, limiting the understanding of their effects in phonation and potential contribution to voice disorders. Addressing this gap, this thesis develops a fluid-structure interaction (FSI) model of a realistic two-layered VF structure with lesions, comparing airflow patterns, structural deformations, and vibration profiles in both healthy and diseased cases.

The …


Direct Computations Of Spatially Resolved Viscoelastic Moduli Of Biomolecular Condensates, Liwen Gu May 2025

Direct Computations Of Spatially Resolved Viscoelastic Moduli Of Biomolecular Condensates, Liwen Gu

McKelvey School of Engineering Graduate Student Theses & Dissertations

Biomolecular condensates are viscoelastic materials formed by liquid-liquid phase separations (LLPS) of biopolymers. In this study, we develop a modified graph Laplacian-based collective model to characterize viscoelastic heterogeneity within condensates based on results of lattice-based Metropolis Monte Carlo (MMC) simulations. By integrating random graph models and simulations of A1-LCD, a type of intrinsically disordered protein, we examine how network topology influences storage modulus, loss modulus, crossover frequency, and relaxation time spectra. Our results reveal a strong correlation between topological features and mechanical response, with the condensate interior exhibiting higher stiffness and faster relaxation than the interface. The relaxation spectra provide …


Alterations And Improvements Of The Photoacoustic Flow Cytometry Method, Nicholas J. Taylor May 2025

Alterations And Improvements Of The Photoacoustic Flow Cytometry Method, Nicholas J. Taylor

Electronic Theses and Dissertations

The emergence and proliferation of antibiotic-resistant bacteria present a significant and growing challenge to global public health, with the potential to render many existing antibiotics ineffective. Infections caused by these resistant pathogens are difficult to treat, resulting in higher morbidity, mortality, and healthcare costs. A major obstacle in combating these infections is the slow pace of traditional diagnostic methods, such as blood cultures, which typically take 2-3 days to identify the causative bacteria and determine their antibiotic resistance profiles. This delay in diagnosis hinders timely interventions and appropriate treatment, further contributing to the spread of resistant infections. As such, there …


Household Point-Of-Use Faucet Filters For Lead Removal: Field Performance And User Experiences, Jeannie M. Purchase, Chantaly Villalona, Adrienne Katner, Kelsey Pieper, Marc Edwards May 2025

Household Point-Of-Use Faucet Filters For Lead Removal: Field Performance And User Experiences, Jeannie M. Purchase, Chantaly Villalona, Adrienne Katner, Kelsey Pieper, Marc Edwards

School of Public Health Faculty Publications

Lead certified point of use (POU) faucet filters were field tested in two Louisiana cities in a total of 21 occupied homes during normal use and in two unoccupied homes with very high risk of water lead (Pb) contamination. In an unoccupied home with a 28 m lead service line (LSL) with average lead of 17 μg/L in flushed water, treatment by POU filters generally produced water with < 5 μg/L Pb even when tested to 200% of rated capacity. In the unoccupied home with a disturbed LSL, the water had erratic influent particulate lead of 9-3053 μg/L, and the POUs did not consistently produce water with < 10 μg/L Pb despite very high percentage removals. When testing POUs in occupied homes known to occasionally have lead over 5 μg/L, POUs always reduced lead to < 1 μg/L. In addition, POUs were also effectively removing high levels of iron and manganese present in the water of one city, but this also caused clogging before reaching half of their rated capacity. Laboratory experiments confirmed POU susceptibility to iron clogging.


Untethered Isoperimetric Robotic Truss For Lunar Applications, Mihai Stanciu, Spencer Stowell, Isaac Weaver, Adam Rose, Chris Paul, James Wade, Ashleigh Cerven, Annie O'Bryan, Brian Bodily, Logan Yang, Nathan Usevitch May 2025

Untethered Isoperimetric Robotic Truss For Lunar Applications, Mihai Stanciu, Spencer Stowell, Isaac Weaver, Adam Rose, Chris Paul, James Wade, Ashleigh Cerven, Annie O'Bryan, Brian Bodily, Logan Yang, Nathan Usevitch

Faculty Publications

We introduce a robotic system designed to function as a lightweight, modular, and reconfigurable structure on the Moon. This robust system consists of truss-like robotic triangles, each formed by a continuous inflated fabric tube routed through two robotic roller units and a connecting unit. When deflated, these triangles can be compacted to roughly the volume of the roller units, offering an advantageous stowed-to-deployed volume ratio of 1 to 6.24. Upon inflation, the roller units pinch the tubes, creating corners by reducing the bending stiffness of the tube. Once fully deployed, electric motors move the robotic roller units along the tube, …


Nasa Design And Analysis Of Pegda Hydrogels For Microgreen Cultivation In Space, Fabiha Samiha, Luis E. Luna, Kelly Wu, Gabriel Antigua, Artur Abramyan May 2025

Nasa Design And Analysis Of Pegda Hydrogels For Microgreen Cultivation In Space, Fabiha Samiha, Luis E. Luna, Kelly Wu, Gabriel Antigua, Artur Abramyan

Publications and Research

Through multiple experiments, Polyethylene Glycol Diacrylate (PEGDA), a biocompatible polymer, has shown potential as a soilless growing medium for microgreens like arugula. However, a challenge arises when the roots run out of space within the hydrogel capsule, pushing the plant out of position and preventing it from absorbing nutrients from the PEGDA.

This study aims to address this challenge by analyzing different 3D-printed mold designs for the creation of the hydrogel capsules. The most promising designs include coil and tree-branch models, which encourage roots to grow in a way that relieves pressure on the leaf side of the plant, helping …


Benefits And Applications Of Learning With Virtual Reality, Michael W. Timm May 2025

Benefits And Applications Of Learning With Virtual Reality, Michael W. Timm

Honors Program: Senior Projects (Public)

Education is a fundamental pillar of society. It equips students for employment and interpersonal relations. Virtual reality (VR) has emerged as a transformative technology in the field of education. The aim of this paper is to synthesize existing research in order to determine the benefits of utilizing virtual reality in a variety of education settings, such as K-12 classrooms, universities, and workplace training. This paper observes significant benefits of virtual reality in constructivist and experiential learning, gamified learning, and tailored practice. This analysis also finds that virtual reality is advantageous for educational accessibility, particularly for absentee students and impoverished students. …


Computational Fluid Dynamics Analysis Of A Turbine Blade, Luis Luna, Fabiha Samiha May 2025

Computational Fluid Dynamics Analysis Of A Turbine Blade, Luis Luna, Fabiha Samiha

Publications and Research

In Aerospace engineering, the use of computer-aided design (CAD) software, such as SolidWorks, is crucial when designing and validating high-performance parts. SolidWorks provides a valuable tool for simulating computational fluid dynamics (CFD), allowing engineers to analyze and visualize how parts behave under real-world aerodynamic conditions.

One such part is a turbine blade, an airfoil-shaped component inside a jet engine that compresses and redirects airflow to generate thrust. This study aims to perform aerodynamic testing of a single turbine blade design while evaluating SolidWorks' ability to simulate external flow conditions. By visualizing velocity profiles, pressure distribution, and vortex formation, the simulation …


Functional Devices Based On Freestanding 2d Materials, Shijue Xu May 2025

Functional Devices Based On Freestanding 2d Materials, Shijue Xu

McKelvey School of Engineering Graduate Student Theses & Dissertations

Two-dimensional (2D) materials have attracted extensive attention in the field of nanoelectronics due to their atomic-scale thickness, high surface-to-volume ratio, tunable electronic properties, and compatibility with low-temperature processing. These characteristics make them highly suitable for the construction of emerging device architectures, particularly in both ionic and electronic devices.

In this work, we investigate the application of 2D materials in two distinct classes of devices: ionically-driven memristors and electronically-dominated metal–semiconductor contacts. For the memristor study, we fabricate heterostructure-based resistive switching devices using h-BN and WSe2 as active layers. These 2D material-based memristors exhibit stable power consumption loops and high linearity …


Soft, Adhesive Dry Electrodes For Improved Electrophysiological Signal Acquisition With Motion Tolerance And Long-Term-Recoverability, Ryan Andersen May 2025

Soft, Adhesive Dry Electrodes For Improved Electrophysiological Signal Acquisition With Motion Tolerance And Long-Term-Recoverability, Ryan Andersen

McKelvey School of Engineering Graduate Student Theses & Dissertations

Soft electronic devices and sensors have seen substantial interest devoted to them for the purpose of recording and analyzing various electrophysiological signals including for the use of electrocardiography (ECG), electromyography (EMG), and electroencephalography (EEG). Dry electrodes specifically have enormous potential compared to traditional commercial electrodes for long-term, real-time monitoring of biopotential activity. Gel-based commercial electrodes have notable drawbacks such as limited flexibility, skin irritation that decreases comfort, inconsistent signal quality due to poor conformal contact, and degraded signal quality over long-term monitoring due to drying out.

Herein, we report a soft, adhesive dry electrode that utilizes chemical additives to promote …


New Signal Identification Algorithms For Enhanced Gamma-Ray Burst Detection In The Advanced Particle-Astrophysics Telescope, Longhao Huang May 2025

New Signal Identification Algorithms For Enhanced Gamma-Ray Burst Detection In The Advanced Particle-Astrophysics Telescope, Longhao Huang

McKelvey School of Engineering Graduate Student Theses & Dissertations

This work presents a series of algorithmic advancements aimed at improving photon signal identification and gamma-ray burst (GRB) source localization for the Advanced Particle-astrophysics Telescope (APT) and its Antarctic Demonstrator (ADAPT). These advancements are aimed at identifying valid signals in noisy environments. Previous methods failed to effectively distinguish real photon signals from noise, prompting us to develop a new photon detection algorithm with peak counting. Instead of integrating all waveform data in the observation window, we use multiple thresholds to accurately identify single-photon and two-photon arrival events, minimizing false counts due to amplifier noise. The new peak count algorithm also …


The Role Of Piezo1 In Mediating Chondrocyte Cell Signaling And Senescence, Sophie Gretler Paradi May 2025

The Role Of Piezo1 In Mediating Chondrocyte Cell Signaling And Senescence, Sophie Gretler Paradi

McKelvey School of Engineering Graduate Student Theses & Dissertations

Osteoarthritis (OA), the leading cause of disability, is driven by articular cartilage degeneration and inflammation. Mechanosensitive ion channels PIEZO1 and PIEZO2 have been implicated in OA progression via calcium signaling in chondrocytes. This study investigates the role of conditional Piezo channel knockout (cKO) in modulating calcium signaling and senescence in OA, particularly under the supra-physiologic inflammatory condition of a high-fat diet (HFD). Using calcium imaging, we found that Piezo1 cKO and dual Piezo1/2 cKO significantly reduced Yoda1-induced calcium signaling, while Piezo2 cKO alone had no effect. Under HFD conditions, Piezo1 cKO showed a non-significant trend toward reduced calcium influx, potentially …


Learning-Based Mri Reconstruction Method With Coil Sensitivity Estimation And Prior Adaptation, Haoyu Zhang May 2025

Learning-Based Mri Reconstruction Method With Coil Sensitivity Estimation And Prior Adaptation, Haoyu Zhang

McKelvey School of Engineering Graduate Student Theses & Dissertations

Magnetic Resonance Imaging (MRI) reconstruction from undersampled multi-coil k-space data is a challenging inverse problem, typically relying on fixed priors such as precom puted coil sensitivity maps. To improve adaptability, we propose a novel framework named Learning-based Coil sensitivity Estimation and Prior Adaptation (LCEPA). LCEPA formu lates reconstruction as a bilevel optimization, using a Joint Deep Equilibrium (Joint DEQ) model in the inner loop to simultaneously estimate images and coil sensitivity maps, while the outer loop adaptively fine-tunes image and coil priors using supervised data. Experiments demonstrate that LCEPA surpasses state-of-the-art methods in terms of PSNR and SSIM, showcasing robust …


Comparative Analysis Of Intrinsic Reward-Based Reinforcement Learning Algorithms, Chengyu Li May 2025

Comparative Analysis Of Intrinsic Reward-Based Reinforcement Learning Algorithms, Chengyu Li

McKelvey School of Engineering Graduate Student Theses & Dissertations

Reinforcement learning agents often struggle in tasks with sparse or delayed rewards, since they receive little guidance about which actions to pursue. This thesis investigates how adding intrinsic rewards can help address that issue. We focus on three main methods: Count-Based bonuses, where states are hashed and infrequent states receive higher rewards; Random Network Distillation (RND), where a predictor network learns to match the output of a fixed random target; and the Intrinsic Curiosity Module (ICM), which uses an inverse and a forward model to highlight transitions the agent cannot yet predict.

We implement these approaches under a single Proximal …


Review Of Tethered Unmanned Aerial Vehicles: Building Versatile And Robust Tethered Multirotor Uav System, Dario Handrick, Mattie Eckenrode, Junsoo Lee May 2025

Review Of Tethered Unmanned Aerial Vehicles: Building Versatile And Robust Tethered Multirotor Uav System, Dario Handrick, Mattie Eckenrode, Junsoo Lee

Faculty Publications

This paper presents a comprehensive review of tethered unmanned aerial vehicles (UAVs), focusing on their challenges and potential applications across various domains. We analyze the dynamic characteristics of tethered UAV systems and address the unique challenges they present, including complex tether dynamics, impulsive forces, and entanglement risks. Additionally, we explore application-specific challenges in areas such as payload transportation and ground-connected systems. The review also examines existing tethered UAV testbed designs, highlighting their strengths and limitations in both simulation and experimental settings. We discuss advancements in multi-UAV cooperation, ground–air collaboration through tethers, and the integration of retractable tether systems. Moreover, we …


Automated Beam Stitching And Segmentation Procedure For Space Division Multiplexing Optical Coherence Tomography Angiography, Andrew J. Song May 2025

Automated Beam Stitching And Segmentation Procedure For Space Division Multiplexing Optical Coherence Tomography Angiography, Andrew J. Song

McKelvey School of Engineering Graduate Student Theses & Dissertations

Optical Coherence Tomography Angiography (OCTA) has revolutionized ophthalmic imaging and its capability to produce high-resolution 3D maps of the retinal microvasculature is instrumental in diagnosing retinovascular diseases such as diabetic retinopathy and age-related macular degeneration; However, the existing OCTA devices often suffer from slow acquisition speed limiting the field-of-view (FOV) in the clinic. Space Division Multiplexing OCTA (SDM-OCTA) address these limitations by acquiring multiple beams simultaneously, achieving manyfold faster acquisition speeds than single beam OCTA systems. But as each beam contains only part of the image, SDM-OCTA requires additional processing steps to produce coherent wide-field images. Though manual stitching and …


Partially Supervised Reinforcement Learning For Gps-Denied Navigation, Ethan Weilheimer May 2025

Partially Supervised Reinforcement Learning For Gps-Denied Navigation, Ethan Weilheimer

McKelvey School of Engineering Graduate Student Theses & Dissertations

Navigating dynamic environments is a key challenge for autonomous agents, yet most existing research focuses on 3D settings or settings where the agent has full access to relevant semantics. In this work, we propose a learning framework for aerial navigation in the presence of changing dynamics and limited positional information. Specifically, we consider a drone navigation task where a drone at one time has access to GPS location information, which it has now lost and needs to navigate in the same area but at a future time with no GPS signal and differing transition dynamics. To address this, we introduce …


Adaptive Noise Estimation And Denoising With Deep Learning For Nmr Spectroscopy, Naveen Asokan May 2025

Adaptive Noise Estimation And Denoising With Deep Learning For Nmr Spectroscopy, Naveen Asokan

McKelvey School of Engineering Graduate Student Theses & Dissertations

Nuclear Magnetic Resonance (NMR) spectroscopy is a powerful analytical technique widely used for molecular structure elucidation in chemistry, biology, and medicine. However, spectral accuracy is often degraded by noise—particularly in low acquisition time settings—resulting in reduced resolution and obscured chemical features. While traditional noise reduction techniques such as signal averaging can improve spectral quality, they require longer acquisition times, limiting their utility in real-time and high-throughput applications.

This thesis presents a deep learning-based denoising framework designed to enhance the quality of complex-valued NMR spectra. The proposed model, built upon a U-Net architecture, incorporates both real and imaginary components of the …


Generic Fpga Preprocessing For Astrophysics Instruments In Hls, Qinzhou Song May 2025

Generic Fpga Preprocessing For Astrophysics Instruments In Hls, Qinzhou Song

McKelvey School of Engineering Graduate Student Theses & Dissertations

FPGAs are widely deployed on high-energy astroparticle physics instruments to preprocess large volumes of streaming data from various sensors. Increasingly, these deployments are finding their way to space-borne instruments, where constraints on size, weight, and power (SWaP) require careful balancing of speed and resource utilization. Although telescope designs vary widely, they often share common preprocessing elements, including channel-level readout, pedestal subtraction, waveform integration, and zero suppression from front-end ADCs, as well as identification and centroiding of signal islands across groups of multiple channels. High-Level Synthesis (HLS) tools allow these designs to be expressed at a conceptual level, which automates a …


Training Safety Control Filters Using High-Dimensional And Un-Labeled Data, Yuxuan Yang May 2025

Training Safety Control Filters Using High-Dimensional And Un-Labeled Data, Yuxuan Yang

McKelvey School of Engineering Graduate Student Theses & Dissertations

Synthesizing control policies that preserve the safety of autonomous systems is a challenge that remains to be solved. Towards that goal, control barrier functions (CBFs) have been developed as mathematical constructs that can be used in real-time to correct safety-violating nominal actions to ones which preserve the safety of control systems. However, synthesizing CBFs using correct-by-construction methods has not been scalable. Instead, recent research has proposed data-driven approaches for learning CBFs in the form of neural networks. Two main challenges face such approaches: (1) labeling states as unsafe or safe ones requires the knowledge of the states in the backward …


Strategic Reactor Allocation For Deadlock-Free Execution, Jeevan Sivamohan May 2025

Strategic Reactor Allocation For Deadlock-Free Execution, Jeevan Sivamohan

McKelvey School of Engineering Graduate Student Theses & Dissertations

As it becomes harder to increase the computation power of a single machine, we are turning towards parallel and distributed systems to extract additional performance by breaking down the problem into pieces and solving it simultaneously. While this provides a great opportunity for increased performance,e it comes with additional problems not present in the sequential approach. One such problem is deadlock. Deadlock is defined as the state in which program execution stalls because the system has run out of resources to manage and execute the program properly, or there exists some circular dependency in the data between parallel or distributed …