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 41 - 50 of 64
Description
For the last 50 years, oscillator modeling in ranging systems has received considerable
attention. Many components in a navigation system, such as the master oscillator
driving the receiver system, as well the master oscillator in the transmitting system
contribute significantly to timing errors. Algorithms in the navigation processor must
be able to predict and compensate such errors to achieve a specified accuracy. While
much work has been done on the fundamentals of these problems, the thinking on said
problems has not progressed. On the hardware end, the designers of local oscillators
focus on synthesized frequency and loop noise bandwidth. This does nothing to
mitigate, or reduce frequency stability degradation in band. Similarly, there are not
systematic methods to accommodate phase and frequency anomalies such as clock
jumps. Phase locked loops are fundamentally control systems, and while control
theory has had significant advancement over the last 30 years, the design of timekeeping
sources has not advanced beyond classical control. On the software end,
single or two state oscillator models are typically embedded in a Kalman Filter to
alleviate time errors between the transmitter and receiver clock. Such models are
appropriate for short term time accuracy, but insufficient for long term time accuracy.
Additionally, flicker frequency noise may be present in oscillators, and it presents
mathematical modeling complications. This work proposes novel H∞ control methods
to address the shortcomings in the standard design of time-keeping phase locked loops.
Such methods allow the designer to address frequency stability degradation as well
as high phase/frequency dynamics. Additionally, finite-dimensional approximants of
flicker frequency noise that are more representative of the truth system than the
tradition Gauss Markov approach are derived. Last, to maintain timing accuracy in
a wide variety of operating environments, novel Banks of Adaptive Extended Kalman
Filters are used to address both stochastic and dynamic uncertainty.
attention. Many components in a navigation system, such as the master oscillator
driving the receiver system, as well the master oscillator in the transmitting system
contribute significantly to timing errors. Algorithms in the navigation processor must
be able to predict and compensate such errors to achieve a specified accuracy. While
much work has been done on the fundamentals of these problems, the thinking on said
problems has not progressed. On the hardware end, the designers of local oscillators
focus on synthesized frequency and loop noise bandwidth. This does nothing to
mitigate, or reduce frequency stability degradation in band. Similarly, there are not
systematic methods to accommodate phase and frequency anomalies such as clock
jumps. Phase locked loops are fundamentally control systems, and while control
theory has had significant advancement over the last 30 years, the design of timekeeping
sources has not advanced beyond classical control. On the software end,
single or two state oscillator models are typically embedded in a Kalman Filter to
alleviate time errors between the transmitter and receiver clock. Such models are
appropriate for short term time accuracy, but insufficient for long term time accuracy.
Additionally, flicker frequency noise may be present in oscillators, and it presents
mathematical modeling complications. This work proposes novel H∞ control methods
to address the shortcomings in the standard design of time-keeping phase locked loops.
Such methods allow the designer to address frequency stability degradation as well
as high phase/frequency dynamics. Additionally, finite-dimensional approximants of
flicker frequency noise that are more representative of the truth system than the
tradition Gauss Markov approach are derived. Last, to maintain timing accuracy in
a wide variety of operating environments, novel Banks of Adaptive Extended Kalman
Filters are used to address both stochastic and dynamic uncertainty.
ContributorsEchols, Justin A (Author) / Bliss, Daniel W (Thesis advisor) / Tsakalis, Konstantinos S (Committee member) / Berman, Spring (Committee member) / Mittelmann, Hans (Committee member) / Arizona State University (Publisher)
Created2020
Description
As robots become mechanically more capable, they are going to be more and more integrated into our daily lives. Over time, human’s expectation of what the robot capabilities are is getting higher. Therefore, it can be conjectured that often robots will not act as human commanders intended them to do. That is, the users of the robots may have a different point of view from the one the robots do.
The first part of this dissertation covers methods that resolve some instances of this mismatch when the mission requirements are expressed in Linear Temporal Logic (LTL) for handling coverage, sequencing, conditions and avoidance. That is, the following general questions are addressed:
* What cause of the given mission is unrealizable?
* Is there any other feasible mission that is close to the given one?
In order to answer these questions, the LTL Revision Problem is applied and it is formulated as a graph search problem. It is shown that in general the problem is NP-Complete. Hence, it is proved that the heuristic algorihtm has 2-approximation bound in some cases. This problem, then, is extended to two different versions: one is for the weighted transition system and another is for the specification under quantitative preference. Next, a follow up question is addressed:
* How can an LTL specified mission be scaled up to multiple robots operating in confined environments?
The Cooperative Multi-agent Planning Problem is addressed by borrowing a technique from cooperative pathfinding problems in discrete grid environments. Since centralized planning for multi-robot systems is computationally challenging and easily results in state space explosion, a distributed planning approach is provided through agent coupling and de-coupling.
In addition, in order to make such robot missions work in the real world, robots should take actions in the continuous physical world. Hence, in the second part of this thesis, the resulting motion planning problems is addressed for non-holonomic robots.
That is, it is devoted to autonomous vehicles’ motion planning in challenging environments such as rural, semi-structured roads. This planning problem is solved with an on-the-fly hierarchical approach, using a pre-computed lattice planner. It is also proved that the proposed algorithm guarantees resolution-completeness in such demanding environments. Finally, possible extensions are discussed.
The first part of this dissertation covers methods that resolve some instances of this mismatch when the mission requirements are expressed in Linear Temporal Logic (LTL) for handling coverage, sequencing, conditions and avoidance. That is, the following general questions are addressed:
* What cause of the given mission is unrealizable?
* Is there any other feasible mission that is close to the given one?
In order to answer these questions, the LTL Revision Problem is applied and it is formulated as a graph search problem. It is shown that in general the problem is NP-Complete. Hence, it is proved that the heuristic algorihtm has 2-approximation bound in some cases. This problem, then, is extended to two different versions: one is for the weighted transition system and another is for the specification under quantitative preference. Next, a follow up question is addressed:
* How can an LTL specified mission be scaled up to multiple robots operating in confined environments?
The Cooperative Multi-agent Planning Problem is addressed by borrowing a technique from cooperative pathfinding problems in discrete grid environments. Since centralized planning for multi-robot systems is computationally challenging and easily results in state space explosion, a distributed planning approach is provided through agent coupling and de-coupling.
In addition, in order to make such robot missions work in the real world, robots should take actions in the continuous physical world. Hence, in the second part of this thesis, the resulting motion planning problems is addressed for non-holonomic robots.
That is, it is devoted to autonomous vehicles’ motion planning in challenging environments such as rural, semi-structured roads. This planning problem is solved with an on-the-fly hierarchical approach, using a pre-computed lattice planner. It is also proved that the proposed algorithm guarantees resolution-completeness in such demanding environments. Finally, possible extensions are discussed.
ContributorsKim, Kangjin (Author) / Fainekos, Georgios (Thesis advisor) / Baral, Chitta (Committee member) / Lee, Joohyung (Committee member) / Berman, Spring (Committee member) / Arizona State University (Publisher)
Created2019
Description
Stroke is a debilitating disorder and 75% of individuals with stroke (iwS) have upper extremity deficits. IwS are prescribed therapies to enhance upper-extremity mobility, but current most effective therapies have minimum requirements that the individuals with severe impairment do not meet. Thus, there is a need to enhance the therapies. Recent studies have shown that StartReact -the involuntary release of a planned movement, triggered by a startling stimulus (e.g., loud sound)- elicits faster and larger muscle activation in iwS compared to voluntary-initiated movement. However, StartReact has been only cursorily studied to date and there are some gaps in the StartReact knowledge. Previous studies have only evaluated StartReact on single-jointed movements in iwS, ignoring more functional tasks. IwS usually have abnormal flexor activity during extension tasks and abnormal muscle synergy especially during multi-jointed tasks; therefore, it is unknown 1) if more complex multi-jointed reach movements are susceptible to StartReact, and 2) if StartReact multi-jointed movements will be enhanced in the same way as single-jointed movements in iwS. In addition, previous studies showed that individuals with severe stroke, especially those with higher spasticity, experienced higher abnormal flexor muscle activation during StartReact trials. However, there is no study evaluating the impact of this elevated abnormal flexor activity on movement, muscle activation and muscle synergy alterations during voluntary-initiated movements after exposure to StartReact.
This dissertation evaluates StartReact and the voluntary trials before and after exposure to StartReact during a point-to-point multi-jointed reach task to three different targets covering a large workspace. The results show that multi-jointed reach tasks are susceptible to StartReact in iwS and the distance, muscle and movement onset speed, and muscle activations percentages and amplitude increase during StartReact trials. In addition, the distance, accuracy, muscle and movement onsets speeds, and muscle synergy similarity indices to the norm synergies increase during the voluntary-initiated trials after exposure to StartReact. Overall, this dissertation shows that exposure to StartReact did not impair voluntary-initiated movement and muscle synergy, but even improved them. Therefore, this study suggests that StartReact is safe for more investigations in training studies and therapy.
This dissertation evaluates StartReact and the voluntary trials before and after exposure to StartReact during a point-to-point multi-jointed reach task to three different targets covering a large workspace. The results show that multi-jointed reach tasks are susceptible to StartReact in iwS and the distance, muscle and movement onset speed, and muscle activations percentages and amplitude increase during StartReact trials. In addition, the distance, accuracy, muscle and movement onsets speeds, and muscle synergy similarity indices to the norm synergies increase during the voluntary-initiated trials after exposure to StartReact. Overall, this dissertation shows that exposure to StartReact did not impair voluntary-initiated movement and muscle synergy, but even improved them. Therefore, this study suggests that StartReact is safe for more investigations in training studies and therapy.
ContributorsRahimiTouranposhti, Marziye (Author) / Honeycutt, Claire F. (Thesis advisor) / Roh, Jinsook (Committee member) / Berman, Spring (Committee member) / Lee, Hyunglae (Committee member) / Marvi, Hamid (Committee member) / Schaefer, Sydney (Committee member) / Arizona State University (Publisher)
Created2020
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
Presented in this thesis are two projects that fall under the umbrella of magnetically actuated electronics and robotics for medical applications. First, magnetically actuated tunable soft electronics are discussed in Chapter 2. Wearable and implantable soft electronics are clinically available and commonplace. However, these devices can be taken a step further to improve the lives of their users by adding remote tunability. The four electric units tested were planar inductors, axial inductors, capacitors and resistors. The devices were made of polydimethylsiloxane (PDMS) for flexibility with copper components for conductivity. The units were tuned using magnets and mobile components comprised of iron filings and ferrofluid. The characteristic properties examined for each unit are as follows: inductance and quality factor (Q-factor) for inductors, capacitance and Q-factor for capacitors, and impedance for resistors. There were two groups of tuning tests: quantity effect and position effect of the mobile component. The position of the mobile component had a larger effect on each unit, with 20-23% change in inductance for inductors (from 3.31 µH for planar and 0.44 µH for axial), 12.7% from 2.854 pF for capacitors and 185.3% from 0.353 kΩ for resistors.
Chapter 3 discusses a magnetic needle tracking device with operative assistance from a six degree-of-freedom robotic arm. Traditional needle steering faces many obstacles such as torsional effects, buckling, and small radii of curvature. To improve upon the concept, this project uses permanent magnets in parallel with a tracking system to steer and determine the position and orientation of the needle in real time. The magnet configuration is located at the end effector of the robotic arm. The trajectory of the end effector depends on the needle’s path, and vice versa. The distance the needle travels inside the workspace is tracked by a direct current (DC) motor, to which the needle is tethered. Combining this length with the pose of the end effector, the position and orientation of the needle can be calculated. Simulation of this tracking device has shown the functionality of the system. Testing has been done to confirm that a single magnet pulls the needle through the phantom tissue.
Chapter 3 discusses a magnetic needle tracking device with operative assistance from a six degree-of-freedom robotic arm. Traditional needle steering faces many obstacles such as torsional effects, buckling, and small radii of curvature. To improve upon the concept, this project uses permanent magnets in parallel with a tracking system to steer and determine the position and orientation of the needle in real time. The magnet configuration is located at the end effector of the robotic arm. The trajectory of the end effector depends on the needle’s path, and vice versa. The distance the needle travels inside the workspace is tracked by a direct current (DC) motor, to which the needle is tethered. Combining this length with the pose of the end effector, the position and orientation of the needle can be calculated. Simulation of this tracking device has shown the functionality of the system. Testing has been done to confirm that a single magnet pulls the needle through the phantom tissue.
ContributorsEdwards, Dakota (Author) / Marvi, Hamidreza (Thesis advisor) / Lee, Hyunglae (Committee member) / Berman, Spring (Committee member) / Arizona State University (Publisher)
Created2020
Description
In the last few decades, with the revolution of availability of low-cost microelectronics, which allow fast and complex computations to be performed on board, there has been increasing attention to aerial vehicles, especially rotary-wing vehicles. This is because of their ability to vertically takeoff and land (VTOL), which make them appropriate for urban environments where no runways are needed. Quadrotors took considerable attention in research and development due to their symmetric body, which makes them simpler to model and control compared to other configurations.
One contribution of this work is the design of a new open-source based Quadrotor platform for research. This platform is compatible with both HTC Vive Tracking System (HVTS) and OptiTrack Motion Capture System, Robot Operating System (ROS), and MAVLINK communication protocol.
The thesis examined both nonlinear and linear modeling of a 6-DOF rigid-body quadrotor's dynamics along with actuator dynamics. Nonlinear/linear models are used to develop control laws for both low-level and high-level hierarchical control structures. Both HVTS and OptiTrack were used to demonstrate path following for single and multiple quadrotors. Hardware and simulation data are compared. In short, this work establishes a foundation for future work on formation flight of multi-quadrotor.
One contribution of this work is the design of a new open-source based Quadrotor platform for research. This platform is compatible with both HTC Vive Tracking System (HVTS) and OptiTrack Motion Capture System, Robot Operating System (ROS), and MAVLINK communication protocol.
The thesis examined both nonlinear and linear modeling of a 6-DOF rigid-body quadrotor's dynamics along with actuator dynamics. Nonlinear/linear models are used to develop control laws for both low-level and high-level hierarchical control structures. Both HVTS and OptiTrack were used to demonstrate path following for single and multiple quadrotors. Hardware and simulation data are compared. In short, this work establishes a foundation for future work on formation flight of multi-quadrotor.
ContributorsAltawaitan, Abdullah (Author) / Rodriguez, Armando A (Thesis advisor) / Tsakalis, Konstantinos (Committee member) / Berman, Spring (Committee member) / Arizona State University (Publisher)
Created2019
Description
Over the past few decades, there is an increase in demand for various ground robot applications such as warehouse management, surveillance, mapping, infrastructure inspection, etc. This steady increase in demand has led to a significant rise in the nonholonomic differential drive vehicles (DDV) research. Albeit extensive work has been done in developing various control laws for trajectory tracking, point stabilization, formation control, etc., there are still problems and critical questions in regards to design, modeling, and control of DDV’s - that need to be adequately addressed. In this thesis, three different dynamical models are considered that are formed by varying the input/output parameters of the DDV model. These models are analyzed to understand their stability, bandwidth, input-output coupling, and control design properties. Furthermore, a systematic approach has been presented to show the impact of design parameters such as mass, inertia, radius of the wheels, and center of gravity location on the dynamic and inner-loop (speed) control design properties. Subsequently, extensive simulation and hardware trade studies have been conductedto quantify the impact of design parameters and modeling variations on the performance of outer-loop cruise and position control (along a curve). In addition to this, detailed guidelines are provided for when a multi-input multi-output (MIMO) control strategy is advisable over a single-input single-output (SISO) control strategy; when a less stable plant is preferable over a more stable one in order to accommodate performance specifications. Additionally, a multi-robot trajectory tracking implementation based on receding horizon optimization approach is also presented. In most of the optimization-based trajectory tracking approaches found in the literature, only the constraints imposed by the kinematic model are incorporated into the problem. This thesis elaborates the fundamental problem associated with these methods and presents a systematic approach to understand and quantify when kinematic model based constraints are sufficient and when dynamic model-based constraints are necessary to obtain good tracking properties. Detailed instructions are given for designing and building the DDV based on performance specifications, and also, an open-source platform capable of handling high-speed multi-robot research is developed in C++.
ContributorsManne, Sai Sravan (Author) / Rodriguez, Armando A (Thesis advisor) / Si, Jennie (Committee member) / Berman, Spring (Committee member) / Arizona State University (Publisher)
Created2021
Description
With the substantial development of intelligent robots, human-robot interaction (HRI) has become ubiquitous in applications such as collaborative manufacturing, surgical robotic operations, and autonomous driving. In all these applications, a human behavior model, which can provide predictions of human actions, is a helpful reference that helps robots to achieve intelligent interaction with humans. The requirement elicits an essential problem of how to properly model human behavior, especially when individuals are interacting or cooperating with each other. The major objective of this thesis is to utilize the human intention decoding method to help robots enhance their performance while interacting with humans. Preliminary work on integrating human intention estimation with an HRI scenario is shown to demonstrate the benefit. In order to achieve this goal, the research topic is divided into three phases. First, a novel method of an online measure of the human's reliance on the robot, which can be estimated through the intention decoding process from human actions，is described. An experiment that requires human participants to complete an object-moving task with a robot manipulator was conducted under different conditions of distractions. A relationship is discovered between human intention and trust while participants performed a familiar task with no distraction. This finding suggests a relationship between the psychological construct of trust and joint physical coordination, which bridges the human's action to its mental states. Then, a novel human collaborative dynamic model is introduced based on game theory and bounded rationality, which is a novel method to describe human dyadic behavior with the aforementioned theories. The mutual intention decoding process was also considered to inform this model. Through this model, the connection between the mental states of the individuals to their cooperative actions is indicated. A haptic interface is developed with a virtual environment and the experiments are conducted with 30 human subjects. The result suggests the existence of mutual intention decoding during the human dyadic cooperative behaviors. Last, the empirical results show that allowing agents to have empathy in inference, which lets the agents understand that others might have a false understanding of their intentions, can help to achieve correct intention inference. It has been verified that knowledge about vehicle dynamics was also important to correctly infer intentions. A new courteous policy is proposed that bounded the courteous motion using its inferred set of equilibrium motions. A simulation, which is set to reproduce an intersection passing case between an autonomous car and a human driving car, is conducted to demonstrate the benefit of the novel courteous control policy.
ContributorsWang, Yiwei (Author) / Zhang, Wenlong (Thesis advisor) / Berman, Spring (Committee member) / Lee, Hyunglae (Committee member) / Ren, Yi (Committee member) / Yang, Yezhou (Committee member) / Arizona State University (Publisher)
Created2021
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