Matching Items (154)
166161-Thumbnail Image.png
Description

The idea for this thesis emerged from my senior design capstone project, A Wearable Threat Awareness System. A TFmini-S LiDAR sensor is used as one component of this system; the functionality of and signal processing behind this type of sensor are elucidated in this document. Conceptual implementations of the optical

The idea for this thesis emerged from my senior design capstone project, A Wearable Threat Awareness System. A TFmini-S LiDAR sensor is used as one component of this system; the functionality of and signal processing behind this type of sensor are elucidated in this document. Conceptual implementations of the optical and digital stages of the signal processing is described in some detail. Following an introduction in which some general background knowledge about LiDAR is set forth, the body of the thesis is organized into two main sections. The first section focuses on optical processing to demodulate the received signal backscattered from the target object. This section describes the key steps in demodulation and illustrates them with computer simulation. A series of graphs capture the mathematical form of the signal as it progresses through the optical processing stages, ultimately yielding the baseband envelope which is converted to digital form for estimation of the leading edge of the pulse waveform using a digital algorithm. The next section is on range estimation. It describes the digital algorithm designed to estimate the arrival time of the leading edge of the optical pulse signal. This enables the pulse’s time of flight to be estimated, thus determining the distance between the LiDAR and the target. Performance of this algorithm is assessed with four different levels of noise. A calculation of the error in the leading-edge detection in terms of distance is also included to provide more insight into the algorithm’s accuracy.

ContributorsRidgway, Megan (Author) / Cochran, Douglas (Thesis director) / Aberle, James (Committee member) / Barrett, The Honors College (Contributor) / Electrical Engineering Program (Contributor)
Created2022-05
168538-Thumbnail Image.png
Description
Recently, Generative Adversarial Networks (GANs) have been applied to the problem of Cold-Start Recommendation, but the training performance of these models is hampered by the extreme sparsity in warm user purchase behavior. This thesis introduces a novel representation for user-vectors by combining user demographics and user preferences, making the model

Recently, Generative Adversarial Networks (GANs) have been applied to the problem of Cold-Start Recommendation, but the training performance of these models is hampered by the extreme sparsity in warm user purchase behavior. This thesis introduces a novel representation for user-vectors by combining user demographics and user preferences, making the model a hybrid system which uses Collaborative Filtering and Content Based Recommendation. This system models user purchase behavior using weighted user-product preferences (explicit feedback) rather than binary user-product interactions (implicit feedback). Using this a novel sparse adversarial model, Sparse ReguLarized Generative Adversarial Network (SRLGAN), is developed for Cold-Start Recommendation. SRLGAN leverages the sparse user-purchase behavior which ensures training stability and avoids over-fitting on warm users. The performance of SRLGAN is evaluated on two popular datasets and demonstrate state-of-the-art results.
ContributorsShah, Aksheshkumar Ajaykumar (Author) / Venkateswara, Hemanth (Thesis advisor) / Berman, Spring (Thesis advisor) / Ladani, Leila J (Committee member) / Arizona State University (Publisher)
Created2022
168490-Thumbnail Image.png
Description
Modern life is full of challenging optimization problems that we unknowingly attempt to solve. For instance, a common dilemma often encountered is the decision of picking a parking spot while trying to minimize both the distance to the goal destination and time spent searching for parking; one strategy is to

Modern life is full of challenging optimization problems that we unknowingly attempt to solve. For instance, a common dilemma often encountered is the decision of picking a parking spot while trying to minimize both the distance to the goal destination and time spent searching for parking; one strategy is to drive as close as possible to the goal destination but risk a penalty cost if no parking spaces can be found. Optimization problems of this class all have underlying time-varying processes that can be altered by a decision/input to minimize some cost. Such optimization problems are commonly solved by a class of methods called Dynamic Programming (DP) that breaks down a complex optimization problem into a simpler family of sub-problems. In the 1950s Richard Bellman introduced a class of DP methods that broke down Multi-Stage Optimization Problems (MSOP) into a nested sequence of ``tail problems”. Bellman showed that for any MSOP with a cost function that satisfies a condition called additive separability, the solution to the tail problem of the MSOP initialized at time-stage k>0 can be used to solve the tail problem initialized at time-stage k-1. Therefore, by recursively solving each tail problem of the MSOP, a solution to the original MSOP can be found. This dissertation extends Bellman`s theory to a broader class of MSOPs involving non-additively separable costs by introducing a new state augmentation solution method and generalizing the Bellman Equation. This dissertation also considers the analogous continuous-time counterpart to discrete-time MSOPs, called Optimal Control Problems (OCPs). OCPs can be solved by solving a nonlinear Partial Differential Equation (PDE) called the Hamilton-Jacobi-Bellman (HJB) PDE. Unfortunately, it is rarely possible to obtain an analytical solution to the HJB PDE. This dissertation proposes a method for approximately solving the HJB PDE based on Sum-Of-Squares (SOS) programming. This SOS algorithm can be used to synthesize controllers, hence solving the OCP, and also compute outer bounds of reachable sets of dynamical systems. This methodology is then extended to infinite time horizons, by proposing SOS algorithms that yield Lyapunov functions that can approximate regions of attraction and attractor sets of nonlinear dynamical systems arbitrarily well.
ContributorsJones, Morgan (Author) / Peet, Matthew M (Thesis advisor) / Nedich, Angelia (Committee member) / Kawski, Matthias (Committee member) / Mignolet, Marc (Committee member) / Berman, Spring (Committee member) / Arizona State University (Publisher)
Created2021
190789-Thumbnail Image.png
Description
In this work, the author analyzes quantitative and structural aspects of Bayesian inference using Markov kernels, Wasserstein metrics, and Kantorovich monads. In particular, the author shows the following main results: first, that Markov kernels can be viewed as Borel measurable maps with values in a Wasserstein space; second, that the

In this work, the author analyzes quantitative and structural aspects of Bayesian inference using Markov kernels, Wasserstein metrics, and Kantorovich monads. In particular, the author shows the following main results: first, that Markov kernels can be viewed as Borel measurable maps with values in a Wasserstein space; second, that the Disintegration Theorem can be interpreted as a literal equality of integrals using an original theory of integration for Markov kernels; third, that the Kantorovich monad can be defined for Wasserstein metrics of any order; and finally, that, under certain assumptions, a generalized Bayes’s Law for Markov kernels provably leads to convergence of the expected posterior distribution in the Wasserstein metric. These contributions provide a basis for studying further convergence, approximation, and stability properties of Bayesian inverse maps and inference processes using a unified theoretical framework that bridges between statistical inference, machine learning, and probabilistic programming semantics.
ContributorsEikenberry, Keenan (Author) / Cochran, Douglas (Thesis advisor) / Lan, Shiwei (Thesis advisor) / Dasarathy, Gautam (Committee member) / Kotschwar, Brett (Committee member) / Shahbaba, Babak (Committee member) / Arizona State University (Publisher)
Created2023
190794-Thumbnail Image.png
Description
As the explorations beyond the Earth's boundaries continue to evolve, researchers and engineers strive to develop versatile technologies capable of adapting to unknown space conditions. For instance, the utilization of Screw-Propelled Vehicles (SPVs) and robotics that utilize helical screws propulsion to transverse planetary bodies is a growing area of interest.

As the explorations beyond the Earth's boundaries continue to evolve, researchers and engineers strive to develop versatile technologies capable of adapting to unknown space conditions. For instance, the utilization of Screw-Propelled Vehicles (SPVs) and robotics that utilize helical screws propulsion to transverse planetary bodies is a growing area of interest. An example of such technology is the Extant Exobiology Life Surveyor (EELS), a snake-like robot currently developed by the NASA Jet Propulsion Laboratory (JPL) to explore the surface of Saturn’s moon, Enceladus. However, the utilization of such a mechanism requires a deep and thorough understanding of screw mobility in uncertain conditions. The main approach to exploring screw dynamics and optimal design involves the utilization of Discrete Element Method (DEM) simulations to assess interactions and behavior of screws when interacting with granular terrains. In this investigation, the Simplified Johnson-Kendall-Roberts (SJKR) model is implemented into the utilized simulation environment to account for cohesion effects similar to what is experienced on celestial bodies like Enceladus. The model is verified and validated through experimental and theoretical testing. Subsequently, the performance characteristics of screws are explored under varying parameters, such as thread depth, number of screw starts, and the material’s cohesion level. The study has examined significant relationships between the parameters under investigation and their influence on the screw performance.
ContributorsAbdelrahim, Mohammad (Author) / Marvi, Hamid (Thesis advisor) / Berman, Spring (Committee member) / Lee, Hyunglae (Committee member) / Arizona State University (Publisher)
Created2023
190916-Thumbnail Image.png
Description
Soft robotics has garnered attention for its substantial prospective in various domains, such as manipulation and interactions with humans, by offering competitive advantages against rigid robotic systems, including inherent compliance and variable stiffness. Despite these benefits, their theoretically infinite degrees of freedom and prominent nonlinearities pose significant challenges in developing

Soft robotics has garnered attention for its substantial prospective in various domains, such as manipulation and interactions with humans, by offering competitive advantages against rigid robotic systems, including inherent compliance and variable stiffness. Despite these benefits, their theoretically infinite degrees of freedom and prominent nonlinearities pose significant challenges in developing dynamic models and guiding the robots along desired paths. Additionally, soft robots may exhibit rigid behaviors and potentially collide with their surroundings during path tracking tasks, particularly when possible contact points are unknown. In this dissertation, reduced-order models are used to describe the behaviors of three different soft robot designs, including both linear parameter varying (LPV) and augmented rigid robot (ARR) models. While the reduced-order model captures the majority of the soft robot's dynamics, modeling uncertainties notably remain. Non-repeated modeling uncertainties are addressed by categorizing them as a lumped disturbance, employing two methodologies, $H_\infty$ method and nonlinear disturbance observer (NDOB) based sliding mode control, for its rejection. For repeated disturbances, an iterative learning control (ILC) with a P-type learning function is implemented to enhance trajectory tracking efficacy. Furthermore,for non-repeated disturbances, the NDOB facilitates the contact estimation, and its results are jointly used with a switching algorithm to modify the robot trajectories. The stability proof of all controllers and corresponding simulation and experimental results are provided. For a path tracking task of a soft robot with multi-segments, a robust control strategy that combines a LPV model with an innovative improved nonlinear disturbance observer-based adaptive sliding mode control (INASMC). The control framework employs a first-order LPV model for dynamic representation, leverages an improved disturbance observer for accurate disturbance forecasting, and utilizes adaptive sliding mode control to effectively counteract uncertainties. The tracking error under the proposed controller is proven to be asymptotically stable, and the controller's effectiveness is is validated with simulation and experimental results. Ultimately, this research mitigates the inherent uncertainty in soft robot modeling, thereby enhancing their functionality in contact-intensive tasks.
ContributorsQIAO, ZHI (Author) / Zhang, Wenlong (Thesis advisor) / Marvi, Hamidreza (Committee member) / Lee, Hyunglae (Committee member) / Berman, Spring (Committee member) / Sugar, Thomas (Committee member) / Arizona State University (Publisher)
Created2023
191009-Thumbnail Image.png
Description
Walking and mobility are essential aspects of our daily lives, enabling us to engage in various activities. Gait disorders and impaired mobility are widespread challenges faced by older adults and people with neurological injuries, as these conditions can significantly impact their quality of life, leading to a loss of independence

Walking and mobility are essential aspects of our daily lives, enabling us to engage in various activities. Gait disorders and impaired mobility are widespread challenges faced by older adults and people with neurological injuries, as these conditions can significantly impact their quality of life, leading to a loss of independence and an increased risk of mortality. In response to these challenges, rehabilitation, and assistive robotics have emerged as promising alternatives to conventional gait therapy, offering potential solutions that are less labor-intensive and costly. Despite numerous advances in wearable lower-limb robotics, their current applicability remains confined to laboratory settings. To expand their utility to broader gait impairments and daily living conditions, there is a pressing need for more intelligent robot controllers. In this dissertation, these challenges are tackled from two perspectives: First, to improve the robot's understanding of human motion and intentions which is crucial for assistive robot control, a robust human locomotion estimation technique is presented, focusing on measuring trunk motion. Employing an invariant extended Kalman filtering method that takes sensor misplacement into account, improved convergence properties over the existing methods for different locomotion modes are shown. Secondly, to enhance safe and effective robot-aided gait training, this dissertation proposes to directly learn from physical therapists' demonstrations of manual gait assistance in post-stroke rehabilitation. Lower-limb kinematics of patients and assistive force applied by therapists to the patient's leg are measured using a wearable sensing system which includes a custom-made force sensing array. The collected data is then used to characterize a therapist's strategies. Preliminary analysis indicates that knee extension and weight-shifting play pivotal roles in shaping a therapist's assistance strategies, which are then incorporated into a virtual impedance model that effectively captures high-level therapist behaviors throughout a complete training session. Furthermore, to introduce safety constraints in the design of such controllers, a safety-critical learning framework is explored through theoretical analysis and simulations. A safety filter incorporating an online iterative learning component is introduced to bring robust safety guarantees for gait robotic assistance and training, addressing challenges such as stochasticity and the absence of a known prior dynamic model.
ContributorsRezayat Sorkhabadi, Seyed Mostafa (Author) / Zhang, Wenlong (Thesis advisor) / Berman, Spring (Committee member) / Lee, Hyunglae (Committee member) / Marvi, Hamid (Committee member) / Sugar, Thomas (Committee member) / Arizona State University (Publisher)
Created2023
190725-Thumbnail Image.png
Description
Tire blowout often occurs during driving, which can suddenly disturb vehicle motions and seriously threaten road safety. Currently, there is still a lack of effective methods to mitigate tire blowout risks in everyday traffic, even for automated vehicles. To fundamentally study and systematically resolve the tire blowout issue for automated

Tire blowout often occurs during driving, which can suddenly disturb vehicle motions and seriously threaten road safety. Currently, there is still a lack of effective methods to mitigate tire blowout risks in everyday traffic, even for automated vehicles. To fundamentally study and systematically resolve the tire blowout issue for automated vehicles, a collaborative project between General Motors (GM) and Arizona State University (ASU) has been conducted since 2018. In this dissertation, three main contributions of this project will be presented. First, to explore vehicle dynamics with tire blowout impacts and establish an effective simulation platform for close-loop control performance evaluation, high-fidelity tire blowout models are thoroughly developed by explicitly considering important vehicle parameters and variables. Second, since human cooperation is required to control Level 2/3 partially automated vehicles (PAVs), novel shared steering control schemes are specifically proposed for tire blowout to ensure safe vehicle stabilization via cooperative driving. Third, for Level 4/5 highly automated vehicles (HAVs) without human control, the development of control-oriented vehicle models, controllability study, and automatic control designs are performed based on impulsive differential systems (IDS) theories. Co-simulations Matlab/Simulink® and CarSim® are conducted to validate performances of all models and control designs proposed in this dissertation. Moreover, a scaled test vehicle at ASU and a full-size test vehicle at GM are well instrumented for data collection and control implementation. Various tire blowout experiments for different scenarios are conducted for more rigorous validations. Consequently, the proposed high-fidelity tire blowout models can correctly and more accurately describe vehicle motions upon tire blowout. The developed shared steering control schemes for PAVs and automatic control designs for HAVs can effectively stabilize a vehicle to maintain path following performance in the driving lane after tire blowout. In addition to new research findings and developments in this dissertation, a pending patent for tire blowout detection is also generated in the tire blowout project. The obtained research results have attracted interest from automotive manufacturers and could have a significant impact on driving safety enhancement for automated vehicles upon tire blowout.
ContributorsLi, Ao (Author) / Chen, Yan (Thesis advisor) / Berman, Spring (Committee member) / Kannan, Arunachala Mada (Committee member) / Liu, Yongming (Committee member) / Lin, Wen-Chiao (Committee member) / Marvi, Hamidreza (Committee member) / Arizona State University (Publisher)
Created2023
Description

The concept of entrainment broadly applies the locking of phases between 2 independent systems [17]. This physical phenomenon can be applied to modify neuromuscular movement in humans during bipedal locomotion. Gait entrainment to robotic devices have shown great success as alternatives to labor intensive methods of rehabilitation. By applying additional

The concept of entrainment broadly applies the locking of phases between 2 independent systems [17]. This physical phenomenon can be applied to modify neuromuscular movement in humans during bipedal locomotion. Gait entrainment to robotic devices have shown great success as alternatives to labor intensive methods of rehabilitation. By applying additional torque at the ankle joint, previous studies have exhibited consistent gait entrainment to both rigid and soft robotic devices. This entrainment is characterized by consistent phase locking of plantarflexion perturbations to the ‘push off’ event within the gait cycle. However, it is unclear whether such phase locking can be attributed to the plantarflexion assistance from the device or the sensory stimulus of movement at the ankle. To clarify the mechanism of entrainment, an experiment was designed to expose the user to a multitude of varying torques applied at the ankle to assist with plantar flexion. In this experiment, no significant difference in success of subject entrainment occurred when additional torque applied was greater than a detectable level. Force applied at the ankle varied from ~60N to ~130N. This resulted in successful entrainment ~88\% of the time at 98 N, with little to no increase in success as force increased thereafter. Alternatively, success of trials decreased significantly as force was reduced below this level, causing the perturbations to become undetectable by participants. Ultimately this suggests that higher levels of actuator pressure, and thus greater levels of torque applied to the foot, do not increase the likelihood of entrainment during walking. Rather, the results of this study suggest that proper detectable sensory stimulus is the true mechanism for entrainment.

ContributorsKruse, Anna (Author) / Lee, Hyunglae (Thesis director) / Berman, Spring (Committee member) / Barrett, The Honors College (Contributor) / Mechanical and Aerospace Engineering Program (Contributor)
Created2022-12
171961-Thumbnail Image.png
Description
Eusocial insect colonies have often been imagined as “superorganisms” exhibiting tight homeostasis at the colony level. However, colonies lack the tight spatial and organizational integration that many multicellular, unitary organisms exhibit. Precise regulation requires rapid feedback, which is often not possible when nestmates are distributed across space, making decisions asynchronously.

Eusocial insect colonies have often been imagined as “superorganisms” exhibiting tight homeostasis at the colony level. However, colonies lack the tight spatial and organizational integration that many multicellular, unitary organisms exhibit. Precise regulation requires rapid feedback, which is often not possible when nestmates are distributed across space, making decisions asynchronously. Thus, one should expect poorer regulation in superorganisms than unitary organisms.Here, I investigate aspects of regulation in collective foraging behaviors that involve both slow and rapid feedback processes. In Chapter 2, I examine a tightly coupled system with near-instantaneous signaling: teams of weaver ants cooperating to transport massive prey items back to their nest. I discover that over an extreme range of scenarios—even up vertical surfaces—the efficiency per transporter remains constant. My results suggest that weaver ant colonies are maximizing their total intake rate by regulating the allocation of transporters among loads. This is an exception that “proves the rule;” the ant teams are recapitulating the physical integration of unitary organisms. Next, I focus on a process with greater informational constraints, with loose temporal and spatial integration. In Chapter 3, I measure the ability of solitarily foraging Ectatomma ruidum colonies to balance their collection of protein and carbohydrates given different nutritional environments. Previous research has found that ant species can precisely collect a near-constant ratio between these two macronutrients, but I discover these studies were using flawed statistical approaches. By developing a quantitative measure of regulatory effect size, I show that colonies of E. ruidum are relatively insensitive to small differences in food source nutritional content, contrary to previously published claims. In Chapter 4, I design an automated, micro-RFID ant tracking system to investigate how the foraging behavior of individuals integrates into colony-level nutrient collection. I discover that spatial fidelity to food resources, not individual specialization on particular nutrient types, best predicts individual forager behavior. These findings contradict previously published experiments that did not use rigorous quantitative measures of specialization and confounded the effects of task type and resource location.
ContributorsBurchill, Andrew Taylor (Author) / Pavlic, Theodore P (Thesis advisor) / Pratt, Stephen C (Thesis advisor) / Hölldobler, Bert (Committee member) / Cease, Arianne (Committee member) / Berman, Spring (Committee member) / Arizona State University (Publisher)
Created2022