Matching Items (347)
Description
Unmanned aerial vehicles have received increased attention in the last decade due to their versatility, as well as the availability of inexpensive sensors (e.g. GPS, IMU) for their navigation and control. Multirotor vehicles, specifically quadrotors, have formed a fast growing field in robotics, with the range of applications spanning from surveil- lance and reconnaissance to agriculture and large area mapping. Although in most applications single quadrotors are used, there is an increasing interest in architectures controlling multiple quadrotors executing a collaborative task. This thesis introduces a new concept of control involving more than one quadrotors, according to which two quadrotors can be physically coupled in mid-flight. This concept equips the quadro- tors with new capabilities, e.g. increased payload or pursuit and capturing of other quadrotors. A comprehensive simulation of the approach is built to simulate coupled quadrotors. The dynamics and modeling of the coupled system is presented together with a discussion regarding the coupling mechanism, impact modeling and additional considerations that have been investigated. Simulation results are presented for cases of static coupling as well as enemy quadrotor pursuit and capture, together with an analysis of control methodology and gain tuning. Practical implementations are introduced as results show the feasibility of this design.
ContributorsLarsson, Daniel (Author) / Artemiadis, Panagiotis (Thesis advisor) / Marvi, Hamidreza (Committee member) / Berman, Spring (Committee member) / Arizona State University (Publisher)
Created2016
Description
This dissertation will investigate two of the most promising high-capacity anode
materials for lithium-based batteries: silicon (Si) and metal lithium (Li). It will focus on
studying the mechanical behaviors of the two materials during charge and discharge and
understanding how these mechanical behaviors may affect their electrochemical
performance.
In the first part, amorphous Si anode will be studied. Despite many existing studies
on silicon (Si) anodes for lithium ion batteries (LIBs), many essential questions still exist
on compound formation, composition, and properties. Here it is shown that some
previously accepted findings do not truthfully reflect the actual lithiation mechanisms in
realistic battery configurations. Furthermore the correlation between structure and
mechanical properties in these materials has not been properly established. Here, a rigorous
and thorough study is performed to comprehensively understand the electrochemical
reaction mechanisms of amorphous-Si (a-Si) in a realistic LIB configuration. In-depth
microstructural characterization was performed and correlations were established between
Li-Si composition, volumetric expansion, and modulus/hardness. It is found that the
lithiation process of a-Si in a real battery setup is a single-phase reaction rather than the
accepted two-phase reaction obtained from in-situ TEM experiments. The findings in this
dissertation establish a reference to quantitatively explain many key metrics for lithiated a
Si as anodes in real LIBs, and can be used to rationally design a-Si based high-performance
LIBs guided by high-fidelity modeling and simulations.
In the second part, Li metal anode will be investigated. Problems related to dendrite
growth on lithium metal anodes such as capacity loss and short circuit present major
barriers to the next-generation high-energy-density batteries. The development of
successful mitigation strategies is impeded by the incomplete understanding of the Li
dendrite growth mechanisms. Here the enabling role of plating residual stress in dendrite
initiation through novel experiments of Li electrodeposition on soft substrates is confirmed,
and the observations is explained with a stress-driven dendrite growth model. Dendrite
growth is mitigated on such soft substrates through surface-wrinkling-induced stress
relaxation in deposited Li film. It is demonstrated that this new dendrite mitigation
mechanism can be utilized synergistically with other existing approaches in the form of
three-dimensional (3D) soft scaffolds for Li plating, which achieves superior coulombic
efficiency over conventional hard copper current collectors under large current density.
materials for lithium-based batteries: silicon (Si) and metal lithium (Li). It will focus on
studying the mechanical behaviors of the two materials during charge and discharge and
understanding how these mechanical behaviors may affect their electrochemical
performance.
In the first part, amorphous Si anode will be studied. Despite many existing studies
on silicon (Si) anodes for lithium ion batteries (LIBs), many essential questions still exist
on compound formation, composition, and properties. Here it is shown that some
previously accepted findings do not truthfully reflect the actual lithiation mechanisms in
realistic battery configurations. Furthermore the correlation between structure and
mechanical properties in these materials has not been properly established. Here, a rigorous
and thorough study is performed to comprehensively understand the electrochemical
reaction mechanisms of amorphous-Si (a-Si) in a realistic LIB configuration. In-depth
microstructural characterization was performed and correlations were established between
Li-Si composition, volumetric expansion, and modulus/hardness. It is found that the
lithiation process of a-Si in a real battery setup is a single-phase reaction rather than the
accepted two-phase reaction obtained from in-situ TEM experiments. The findings in this
dissertation establish a reference to quantitatively explain many key metrics for lithiated a
Si as anodes in real LIBs, and can be used to rationally design a-Si based high-performance
LIBs guided by high-fidelity modeling and simulations.
In the second part, Li metal anode will be investigated. Problems related to dendrite
growth on lithium metal anodes such as capacity loss and short circuit present major
barriers to the next-generation high-energy-density batteries. The development of
successful mitigation strategies is impeded by the incomplete understanding of the Li
dendrite growth mechanisms. Here the enabling role of plating residual stress in dendrite
initiation through novel experiments of Li electrodeposition on soft substrates is confirmed,
and the observations is explained with a stress-driven dendrite growth model. Dendrite
growth is mitigated on such soft substrates through surface-wrinkling-induced stress
relaxation in deposited Li film. It is demonstrated that this new dendrite mitigation
mechanism can be utilized synergistically with other existing approaches in the form of
three-dimensional (3D) soft scaffolds for Li plating, which achieves superior coulombic
efficiency over conventional hard copper current collectors under large current density.
ContributorsWang, Xu (Author) / Jiang, Hanqing (Thesis advisor) / Yu, Hongbin (Thesis advisor) / Chan, Candace (Committee member) / Wang, Liping (Committee member) / Qiong, Nian (Committee member) / Arizona State University (Publisher)
Created2018
Description
Energy harvesting from ambient is important to configuring Wireless Sensor Networks (WSN) for environmental data collecting. In this work, highly flexible thermoelectric generators (TEGs) have been studied and fabricated to supply power to the wireless sensor notes used for data collecting in hot spring environment. The fabricated flexible TEGs can be easily deployed on the uneven surface of heated rocks at the rim of hot springs. By employing the temperature gradient between the hot rock surface and the air, these TEGs can generate power to extend the battery lifetime of the sensor notes and therefore reduce multiple batteries changes where the environment is usually harsh in hot springs. Also, they show great promise for self-powered wireless sensor notes. Traditional thermoelectric material bismuth telluride (Bi2Te3) and advanced MEMS (Microelectromechanical systems) thin film techniques were used for the fabrication. Test results show that when a flexible TEG array with an area of 3.4cm2 was placed on the hot plate surface of 80°C in the air under room temperature, it had an open circuit voltage output of 17.6mV and a short circuit current output of 0.53mA. The generated power was approximately 7mW/m2.
On the other hand, high pressure, temperatures that can reach boiling, and the pH of different hot springs ranging from <2 to >9 make hot spring ecosystem a unique environment that is difficult to study. WSN allows many scientific studies in harsh environments that are not feasible with traditional instrumentation. However, wireless pH sensing for long time in situ data collection is still challenging for two reasons. First, the existing commercial-off-the-shelf pH meters are frequent calibration dependent; second, biofouling causes significant measurement error and drift. In this work, 2-dimentional graphene pH sensors were studied and calibration free graphene pH sensor prototypes were fabricated. Test result shows the resistance of the fabricated device changes linearly with the pH values (in the range of 3-11) in the surrounding liquid environment. Field tests show graphene layer greatly prevented the microbial fouling. Therefore, graphene pH sensors are promising candidates that can be effectively used for wireless pH sensing in exploration of hot spring ecosystems.
On the other hand, high pressure, temperatures that can reach boiling, and the pH of different hot springs ranging from <2 to >9 make hot spring ecosystem a unique environment that is difficult to study. WSN allows many scientific studies in harsh environments that are not feasible with traditional instrumentation. However, wireless pH sensing for long time in situ data collection is still challenging for two reasons. First, the existing commercial-off-the-shelf pH meters are frequent calibration dependent; second, biofouling causes significant measurement error and drift. In this work, 2-dimentional graphene pH sensors were studied and calibration free graphene pH sensor prototypes were fabricated. Test result shows the resistance of the fabricated device changes linearly with the pH values (in the range of 3-11) in the surrounding liquid environment. Field tests show graphene layer greatly prevented the microbial fouling. Therefore, graphene pH sensors are promising candidates that can be effectively used for wireless pH sensing in exploration of hot spring ecosystems.
ContributorsHan, Ruirui (Author) / Yu, Hongyu (Thesis advisor) / Jiang, Hanqing (Committee member) / Yu, Hongbin (Committee member) / Garnero, Edward (Committee member) / Li, Mingming (Committee member) / Arizona State University (Publisher)
Created2018
Description
Skin electronics is one of the most promising applications of stretchable electronics. The versatility of skin electronics can only be guaranteed when it has conformal contact with human skin. While both analytical and numerical solutions for contact between serpentine interconnects and soft substrate remain unreported, the motivation of this thesis is to render a novel method to numerically study the conformability of the serpentine interconnects. This thesis explained thoroughly how to conduct finite element analysis for the conformability of skin electronics, including modeling, meshing method and step setup etc.. User-defined elements were implemented to the finite element commercial package ABAQUS for the analysis of conformability. With thorough investigation into the conformability of Fermat’s spiral, it has been found that the kirigami based pattern exhibits high conformability. Since thickness is a key factor to design skin electronics, the thesis also talked about how the change of thickness of the skin electronics impacts on the conformability.
ContributorsFan, Yiling (Author) / Jiang, Hanqing (Thesis advisor) / Hildreth, Owen (Committee member) / Yu, Hongbin (Committee member) / Arizona State University (Publisher)
Created2015
Description
In this dissertation, two problems are addressed in the verification and control of Cyber-Physical Systems (CPS):
1) Falsification: given a CPS, and a property of interest that the CPS must satisfy under all allowed operating conditions, does the CPS violate, i.e. falsify, the property?
2) Conformance testing: given a model of a CPS, and an implementation of that CPS on an embedded platform, how can we characterize the properties satisfied by the implementation, given the properties satisfied by the model?
Both problems arise in the context of Model-Based Design (MBD) of CPS: in MBD, the designers start from a set of formal requirements that the system-to-be-designed must satisfy.
A first model of the system is created.
Because it may not be possible to formally verify the CPS model against the requirements, falsification tries to verify whether the model satisfies the requirements by searching for behavior that violates them.
In the first part of this dissertation, I present improved methods for finding falsifying behaviors of CPS when properties are expressed in Metric Temporal Logic (MTL).
These methods leverage the notion of robust semantics of MTL formulae: if a falsifier exists, it is in the neighborhood of local minimizers of the robustness function.
The proposed algorithms compute descent directions of the robustness function in the space of initial conditions and input signals, and provably converge to local minima of the robustness function.
The initial model of the CPS is then iteratively refined by modeling previously ignored phenomena, adding more functionality, etc., with each refinement resulting in a new model.
Many of the refinements in the MBD process described above do not provide an a priori guaranteed relation between the successive models.
Thus, the second problem above arises: how to quantify the distance between two successive models M_n and M_{n+1}?
If M_n has been verified to satisfy the specification, can it be guaranteed that M_{n+1} also satisfies the same, or some closely related, specification?
This dissertation answers both questions for a general class of CPS, and properties expressed in MTL.
1) Falsification: given a CPS, and a property of interest that the CPS must satisfy under all allowed operating conditions, does the CPS violate, i.e. falsify, the property?
2) Conformance testing: given a model of a CPS, and an implementation of that CPS on an embedded platform, how can we characterize the properties satisfied by the implementation, given the properties satisfied by the model?
Both problems arise in the context of Model-Based Design (MBD) of CPS: in MBD, the designers start from a set of formal requirements that the system-to-be-designed must satisfy.
A first model of the system is created.
Because it may not be possible to formally verify the CPS model against the requirements, falsification tries to verify whether the model satisfies the requirements by searching for behavior that violates them.
In the first part of this dissertation, I present improved methods for finding falsifying behaviors of CPS when properties are expressed in Metric Temporal Logic (MTL).
These methods leverage the notion of robust semantics of MTL formulae: if a falsifier exists, it is in the neighborhood of local minimizers of the robustness function.
The proposed algorithms compute descent directions of the robustness function in the space of initial conditions and input signals, and provably converge to local minima of the robustness function.
The initial model of the CPS is then iteratively refined by modeling previously ignored phenomena, adding more functionality, etc., with each refinement resulting in a new model.
Many of the refinements in the MBD process described above do not provide an a priori guaranteed relation between the successive models.
Thus, the second problem above arises: how to quantify the distance between two successive models M_n and M_{n+1}?
If M_n has been verified to satisfy the specification, can it be guaranteed that M_{n+1} also satisfies the same, or some closely related, specification?
This dissertation answers both questions for a general class of CPS, and properties expressed in MTL.
ContributorsAbbas, Houssam Y (Author) / Fainekos, Georgios (Thesis advisor) / Duman, Tolga (Thesis advisor) / Mittelmann, Hans (Committee member) / Tsakalis, Konstantinos (Committee member) / Arizona State University (Publisher)
Created2015
Description
The thesis explores the avenues of machine learning principles in object detection using TensorFlow 2 Object Detection API Libraries for implementation. Integrating object detection capabilities into ESP-32 cameras can enhance functionality in the capstone dragster application and potential applications, such as autonomous robots. The research implements the TensorFlow 2 Object Detection API, a widely used framework for training and deploying object detection models. By leveraging the pre-trained models available in the API, the system can detect a wide range of objects with high accuracy and speed. Fine-tuning these models using a custom dataset allows us to enhance their performance in detecting specific objects of interest. Experiments to identify strengths and weaknesses of each model's implementation before and after training using similar images were evaluated The thesis also explores the potential limitations and challenges of deploying object detection on real-time ESP-32 cameras, such as limited computational resources, costs, and power constraints. The results obtained from the experiments demonstrate the feasibility and effectiveness of implementing object detection on ESP-32 cameras using the TensorFlow2 Object Detection API. The system achieves satisfactory accuracy and real-time processing capabilities, making it suitable for various practical applications. Overall, this thesis provides a foundation for further advancements and optimizations in the integration of object detection capabilities into small, low-power devices such as ESP-32 cameras and a crossroad to explore its applicability for other image-capturing and processing devices in industrial, automotive, and defense sectors of industry.
ContributorsMani, Vinesh (Author) / Tsakalis, Konstantinos (Thesis director) / Jayasuriya, Suren (Committee member) / Barrett, The Honors College (Contributor) / Electrical Engineering Program (Contributor)
Created2024-05
Description
This thesis presents an overview of virtual reality (VR)-based teleoperation and describes its benefits and several existing challenges to its implementation, as well as potential solutions to these challenges. VR-based teleoperation of robotic arms enables a user to control and maneuver the robotic system from a remote distance while immersed in a virtual environment that simulates the location site of the robot. By implementing VR-based teleoperation, we can send robotic arms operated by trained professionals into harsh and inaccessible environments, including the deep sea and outer space, to accomplish manipulation tasks that would otherwise be unsafe or impossible. Teleoperated robotic arms can also be used to remotely execute fine manipulation tasks such as surgery, for instance, to reduce contamination or to perform operations in places that lack the required medical services.
In order to be able to reliably and comfortably use VR-based teleoperation, we need to focus on solving the challenges of latency and sensory loss. Since the teleoperator has a limited field of view and cannot rely on certain types of sensory information, they can feel disoriented and disconnected from the environment and robotic arm. Sensory information loss can be mitigated by simulating a wider field of view in the virtual environment, implementing additional sensors such as thermometers and gas detection sensors, and using data sonification techniques. Although it may not be possible to completely eliminate latency, the effects of latency can be reduced through the use of assistive interfaces that predict the trajectory of the robotic arm in real-time based on the teleoperator’s input movement using artificial intelligence (AI)-based predictive models. When visualized in the virtual environment, this predictive real-time feedback enables the user to immediately see the effects of their movements on the robotic arm, even though the arm’s actual motion is delayed due to latency, and thus avoid collisions and improve task performance. VR-based teleoperation can be enhanced with these proposed solutions to enable the user to complete the required manipulation task with high precision and to maneuver the robotic arm with reduced cognitive load.
ContributorsTrejo, Patricia (Author) / Berman, Spring (Thesis director) / Lee, Hyunglae (Committee member) / Barrett, The Honors College (Contributor) / Mechanical and Aerospace Engineering Program (Contributor)
Created2024-05