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 1 - 6 of 6
Filtering by
- Creators: Yong, Sze Zheng
Description
This work considers the design of separating input signals in order to discriminate among a finite number of uncertain nonlinear models. Each nonlinear model corresponds to a system operating mode, unobserved intents of other drivers or robots, or to fault types or attack strategies, etc., and the separating inputs are designed such that the output trajectories of all the nonlinear models are guaranteed to be distinguishable from each other under any realization of uncertainties in the initial condition, model discrepancies or noise. I propose a two-step approach. First, using an optimization-based approach, we over-approximate nonlinear dynamics by uncertain affine models, as abstractions that preserve all its system behaviors such that any discrimination guarantees for the affine abstraction also hold for the original nonlinear system. Then, I propose a novel solution in the form of a mixed-integer linear program (MILP) to the active model discrimination problem for uncertain affine models, which includes the affine abstraction and thus, the nonlinear models. Finally, I demonstrate the effectiveness of our approach for identifying the intention of other vehicles in a highway lane changing scenario. For the abstraction, I explore two approaches. In the first approach, I construct the bounding planes using a Mixed-Integer Nonlinear Problem (MINLP) formulation of the given system with appropriately designed constraints. For the second approach, I solve a linear programming (LP) problem that over-approximates the nonlinear function at only the grid points of a mesh with a given resolution and then accounting for the entire domain via an appropriate correction term. To achieve a desired approximation accuracy, we also iteratively subdivide the domain into subregions. This method applies to nonlinear functions with different degrees of smoothness, including Lipschitz continuous functions, and improves on existing approaches by enabling the use of tighter bounds. Finally, we compare the effectiveness of this approach with the existing optimization-based methods in simulation and illustrate its applicability for estimator design.
ContributorsSingh, Kanishka Raj (Author) / Yong, Sze Zheng (Thesis advisor) / Artemiadis, Panagiotis (Committee member) / Berman, Spring (Committee member) / Arizona State University (Publisher)
Created2018
Description
The introduction of assistive/autonomous features in cyber-physical systems, e.g., self-driving vehicles, have paved the way to a relatively new field of system analysis for safety-critical applications, along with the topic of controlling systems with performance and safety guarantees. The different works in this thesis explore and design methodologies that focus on the analysis of nonlinear dynamical systems via set-membership approximations, as well as the development of controllers and estimators that can give worst-case performance guarantees, especially when the sensor data containing information on system outputs is prone to data drops and delays. For analyzing the distinguishability of nonlinear systems, building upon the idea of set membership over-approximation of the nonlinear systems, a novel optimization-based method for multi-model affine abstraction (i.e., simultaneous set-membership over-approximation of multiple models) is designed. This work solves for the existence of set-membership over-approximations of a pair of different nonlinear models such that the different systems can be distinguished/discriminated within a guaranteed detection time under worst-case uncertainties and approximation errors. Specifically, by combining mesh-based affine abstraction methods with T-distinguishability analysis in the literature yields a bilevel bilinear optimization problem, whereby leveraging robust optimization techniques and a suitable change of variables result in a sufficient linear program that can obtain a tractable solution with T-distinguishability guarantees. Moreover, the thesis studied the designs of controllers and estimators with performance guarantees, and specifically, path-dependent feedback controllers and bounded-error estimators for time-varying affine systems are proposed that are subject to delayed observations or missing data. To model the delayed/missing data, two approaches are explored; a fixed-length language and an automaton-based model. Furthermore, controllers/estimators that satisfy the equalized recovery property (a weaker form of invariance with time-varying finite bounds) are synthesized whose feedback gains can be adapted based on the observed path, i.e., the history of observed data patterns up to the latest available time step. Finally, a robust kinodynamic motion planning algorithm is also developed with collision avoidance and probabilistic completeness guarantees. In particular, methods based on fixed and flexible invariant tubes are designed such that the planned motion/trajectories can reject bounded disturbances using noisy observations.
ContributorsHassaan, Syed Muhammad (Author) / Yong, Sze Zheng (Thesis advisor) / Rivera, Daniel (Committee member) / Marvi, Hamidreza (Committee member) / Lee, Hyunglae (Committee member) / Berman, Spring (Committee member) / Arizona State University (Publisher)
Created2023
Description
Soft robots provide an additional measure of safety and compliance over traditionalrigid robots. Generally, control and modelling experiments take place using a
motion capture system for measuring robot configuration. While accurate, motion
capture systems are expensive and require re-calibration whenever the cameras are
adjusted. While advances in soft sensors contribute to a potential solution to sensing
outside of a lab environment, most of these sensing methods require the sensors to
be embedded into the soft robot arm. In this work, a more practical sensing method
is proposed using off-the-shelf sensors and a Robust Extended Kalman Filter based
sensor fusion method. Inertial measurement unit sensors and wire draw sensors are
used to accurately estimate the state of the robot. An explanation for the need for
sensor fusion is included in this work. The sensor fusion state estimate is compared to
a motion capture measurement along with the raw inertial measurement unit reading
to verify the accuracy of the results. The potential for this sensing system is further
validated through Linear Quadratic Gaussian control of the soft robot. The Robust
Extended Kalman Filter based sensor fusion shows an error of less than one degree
when compared to the motion capture system.
ContributorsStewart, Kyle James (Author) / Zhang, Wenlong (Thesis advisor) / Yong, Sze Zheng (Committee member) / Berman, Spring (Committee member) / Arizona State University (Publisher)
Created2022
Description
Control algorithm development for quadrotor is usually based solely on rigid body dynamics neglecting aerodynamics. Recent work has demonstrated that such a model is suited only when operating at or near hover conditions and low-speed flight. When operating in confined spaces or during aggressive maneuvers destabilizing forces and moments are induced due to aerodynamic effects. Studies indicate that blade flapping, induced drag, and propeller drag influence forward flight performance while other effects like vortex ring state, ground effect affect vertical flight performance. In this thesis, an offboard data-driven approach is used to derive models for parasitic (bare-airframe) drag and propeller drag. Moreover, thrust and torque coefficients are identified from static bench tests. Among the two, parasitic drag is compensated for in the position controller module in the PX4 firmware. 2-D circular, straight line, and minimum snap rectangular trajectories with corridor constraints are tested exploiting differential flatness property wherein altitude and yaw angle are constant. Flight tests are conducted at ASU Drone Studio and results of tracking performance with default controller and with drag compensated position controller are presented. Root mean squared tracking error in individual axes is used as a metric to evaluate the model performance. Results indicate that, for circular trajectory, the root mean squared error in the x-axis has reduced by 44.54% and in the y-axis by 39.47%. Compensation in turn degrades the tracking in both axis by a maximum under 12% when compared to the default controller for rectangular trajectory case. The x-axis tracking error for the straight-line case has improved by 44.96% with almost no observable change in the y-axis.
ContributorsNolastname, Kashyap Sathyamurthy (Author) / Zhang, Wenlong (Thesis advisor) / Yong, Sze Zheng (Committee member) / Berman, Spring (Committee member) / Arizona State University (Publisher)
Created2020
Description
This paper introduces a variable impedance controller which dynamically modulates both its damping and stiffness to improve the trade-off between stability and agility in coupled human-robot systems and reduce the human user’s effort. The controller applies a range of robotic damping from negative to positive values to either inject or dissipate energy based on the user’s intent of motion. The controller also estimates the user’s intent of direction and applies a variable stiffness torque to stabilize the user towards an estimated ideal trajectory. To evaluate the controller’s ability to improve the stability/agility trade-off and reduce human effort, a study was designed for human subjects to perform a 2D target reaching task while coupled with a wearable ankle robot. A constant impedance condition was selected as a control with which to compare the variable impedance condition. The position, speed, and muscle activation responses were used to quantify the user’s stability, agility, and effort, respectively. Stability was quantified spatially and temporally, with both overshoot and stabilization time showing no statistically significant difference between the two experimental conditions. Agility was quantified using mean and maximum speed, with both increasing from the constant impedance to variable impedance condition by 29.8% and 59.9%, respectively. Effort was quantified by the overall and maximum muscle activation data, both of which showed a ~10% reduction in effort. Overall, the study demonstrated the effectiveness of the variable impedance controller.
ContributorsArnold, James (Author) / Lee, Hyunglae (Thesis advisor) / Berman, Spring (Committee member) / Yong, Sze Zheng (Committee member) / Arizona State University (Publisher)
Created2021
Description
In this thesis, the problem of designing model discrimination algorithms for unknown nonlinear systems is considered, where only raw experimental data of the system is available. This kind of model discrimination techniques finds one of its application in the estimation of the system or intent models under consideration, where all incompatible models are invalidated using new data that is available at run time. The proposed steps to reach the end goal of the algorithm for intention estimation involves two steps: First, using available experimental data of system trajectories, optimization-based techniques are used to over-approximate/abstract the dynamics of the system by constructing an upper and lower function which encapsulates/frames the true unknown system dynamics. This over-approximation is a conservative preservation of the dynamics of the system, in a way that ensures that any model which is invalidated against this approximation is guaranteed to be invalidated with the actual model of the system. The next step involves the use of optimization-based techniques to investigate the distinguishability of pairs of abstraction/approximated models using an algorithm for 'T-Distinguishability', which gives a finite horizon time 'T', within which the pair of models are guaranteed to be distinguished, and to eliminate incompatible models at run time using a 'Model Invalidation' algorithm. Furthermore, due the large amount of data under consideration, some computation-aware improvements were proposed for the processing of the raw data and the abstraction and distinguishability algorithms.The effectiveness of the above-mentioned algorithms is demonstrated using two examples. The first uses the data collected from the artificial simulation of a swarm of agents, also known as 'Boids', that move in certain patterns/formations, while the second example uses the 'HighD' dataset of naturalistic trajectories recorded on German Highways for vehicle intention estimation.
ContributorsBhagwat, Mohit Mukul (Author) / Yong, Sze Zheng (Thesis advisor) / Berman, Spring (Committee member) / Xu, Zhe (Committee member) / Arizona State University (Publisher)
Created2021