ASU Electronic Theses and Dissertations
This collection includes most of the ASU Theses and Dissertations from 2011 to present. ASU Theses and Dissertations are available in downloadable PDF format; however, a small percentage of items are under embargo. Information about the dissertations/theses includes degree information, committee members, an abstract, supporting data or media.
In addition to the electronic theses found in the ASU Digital Repository, ASU Theses and Dissertations can be found in the ASU Library Catalog.
Dissertations and Theses granted by Arizona State University are archived and made available through a joint effort of the ASU Graduate College and the ASU Libraries. For more information or questions about this collection contact or visit the Digital Repository ETD Library Guide or contact the ASU Graduate College at gradformat@asu.edu.
Displaying 51 - 60 of 64
Description
This thesis proposes novel set-theoretic approaches for polytopic state estimationin bounded- error discrete-time nonlinear systems with nonlinear observations
or constraints. Specically, our approaches rely on two equivalent representations
of polytopic sets known as zonotope bundles (ZB) and constrained zonotopes (CZ),
which allows us to transform the state space to the space of the generators of the
ZB/CZ that are generally interval-valued. This transformation enables us to leverage
a recent result on remainder-form mixed-monotone decomposition functions for
interval propagation to compute the propagated set estimate, i.e., a polytope that
is guaranteed to enclose the set of the state trajectories of a nonlinear dynamical
system. Furthermore, a similar procedure with state transformation and remainderform
decomposition functions can be applied to the nonlinear observation function
to compute the updated set estimate, i.e., an enclosing polytope of the set of states
from the propagated set estimate that are compatible/consistent with the observations/
constraints. In addition, we also show that a mean value extension result
for computing the propagated set estimate in the literature can also be extended
to compute the updated set estimation when the observation/constraint function is
nonlinear. Finally, the eectiveness of our proposed techniques is demonstrated using
two simulation examples and compared with existing methods in the literature.
ContributorsShoaib, Fatima (Author) / Zheng Yong, Sze (Thesis advisor) / Berman, Spring (Committee member) / Xu, Zhe (Committee member) / Arizona State University (Publisher)
Created2021
Description
Many medical procedures, like surgeries, deal with the physical manipulation of sensitive internal tissues. Over time, new medical tools and techniques have been developed to improve the safety and efficacy of these procedures. Despite the leaps and bounds of progress made up to the present day, three major obstacles (among others) persist, bleeding, pain, and the risk of infection. Advances in minimally invasive treatments have transformed many formerly risky surgical procedures into very safe and highly successful routines. Minimally invasive surgeries are characterized by small incision profiles compared to the large incisions in open surgeries, minimizing the aforementioned issues. Minimally invasive procedures lead to several benefits, such as shorter recovery time, fewer complications, and less postoperative pain. In minimally invasive surgery, doctors use various techniques to operate with less damage to the body than open surgery. Today, these procedures have an established, successful history and promising future. Steerable needles are one of the tools proposed for minimally invasive operations. Needle steering is a method for guiding a long, flexible needle through curved paths to reach targets deep in the body, eliminating the need for large incisions. In this dissertation, we present a new needle steering technology: magnetic needle steering. This technology is proposed to address the limitations of conventional needle steering that hindered its clinical applications. Magnetic needle steering eliminates excessive tissue damage, restrictions of the minimum radius of curvature, and the need for a complex nonlinear model, to name a few. It also allows fabricating the needle shaft out of soft and tissue-compliant materials.
This is achieved by first developing an electromagnetic coil system capable of producing desired magnetic fields and gradients; then, a magnetically actuated needle is designed, and its effectiveness is experimentally evaluated. Afterward, the scalability of this technique was tested using permanent magnets controlled with a robotic arm.
Furthermore, different configurations of permanent magnets and their influence on the magnetic field are investigated, enabling the possibility of designing a desired magnetic field for a specific surgical procedure and operation on a particular organ. Finally, potential future directions towards animal studies and clinical trials are discussed.
ContributorsIlami, Mahdi (Author) / Marvi, Hamid (Thesis advisor) / Berman, Spring (Committee member) / Lee, Hyunglae (Committee member) / Nikkhah, Mehdi (Committee member) / Sugar, Thomas (Committee member) / Arizona State University (Publisher)
Created2021
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 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
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. 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
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 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
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 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
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 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
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
Description
Local interactions drive emergent collective behavior, which pervades biological and social complex systems. These behaviors are scalable and robust, motivating biomimicry: engineering nature-inspired distributed systems. But uncovering the interactions that produce a desired behavior remains a core challenge. In this thesis, I present EvoSOPS, an evolutionary framework that searches landscapes of stochastic distributed algorithms for those that achieve a mathematically specified target behavior. These algorithms govern self-organizing particle systems (SOPS) comprising individuals with strictly local sensing and movement and no persistent memory. For aggregation, phototaxing, and separation behaviors, EvoSOPS discovers algorithms that achieve 4.2–15.3% higher fitness than those from the existing “stochastic approach to SOPS” based on mathematical theory from statistical physics. EvoSOPS is also flexibly applied to new behaviors such as object coating where the stochastic approach would require bespoke, extensive analysis. Across repeated runs, EvoSOPS explores distinct regions of genome space to produce genetically diverse solutions. Finally, I provide insights into the best-fitness genomes for object coating, demonstrating how EvoSOPS can bootstrap future theoretical investigations into SOPS algorithms for challenging new behaviors.
ContributorsParkar, Devendra Rajendra (Author) / Daymude, Joshua (Thesis advisor) / Richa, Andrea (Committee member) / Berman, Spring (Committee member) / Arizona State University (Publisher)
Created2024
Description
When solving analysis, estimation, and control problems for Partial Differential Equations (PDEs) via computational methods, one must resolve three main challenges: (a) the lack of a universal parametric representation of PDEs; (b) handling unbounded differential operators that appear as parameters; and (c), enforcing auxiliary constraints such as Boundary conditions and continuity conditions. To address these challenges, an alternative representation of PDEs called the `Partial Integral Equation' (PIE) representation is proposed in this work. Primarily, the PIE representation alleviates the problem of the lack of a universal parametrization of PDEs since PIEs have, at most, $12$ Partial Integral (PI) operators as parameters. Naturally, this also resolves the challenges in handling unbounded operators because PI operators are bounded linear operators. Furthermore, for admissible PDEs, the PIE representation is unique and has no auxiliary constraints --- resolving the last of the $3$ main challenges. The PIE representation for a PDE is obtained by finding a unique unitary map from the states of the PIE to the states of the PDE. This map shows a PDE and its associated PIE have equivalent system properties, including well-posedness, internal stability, and I/O behavior. Furthermore, this unique map also allows us to construct a well-defined dual representation that can be used to solve optimal control problems for a PDE. Using the equivalent PIE representation of a PDE, mathematical and computational tools are developed to solve standard problems in Control theory for PDEs. In particular, problems such as a test for internal stability, Input-to-Output (I/O) $L_2$-gain, $\hinf$-optimal state observer design, and $\hinf$-optimal full state-feedback controller design are solved using convex-optimization and Lyapunov methods for linear PDEs in one spatial dimension. Once the PIE associated with a PDE is obtained, Lyapunov functions (or storage functions) are parametrized by positive PI operators to obtain a solvable convex formulation of the above-stated control problems. Lastly, the methods proposed here are applied to various PDE systems to demonstrate the application.
ContributorsShivakumar, Sachin (Author) / Peet, Matthew (Thesis advisor) / Nedich, Angelia (Committee member) / Marvi, Hamidreza (Committee member) / Platte, Rodrigo (Committee member) / Berman, Spring (Committee member) / Arizona State University (Publisher)
Created2024