Matching Items (15)
Filtering by
- All Subjects: Mechanical Engineering
- Genre: Doctoral Dissertation
- Creators: Berman, Spring
Description
The interaction between humans and robots has become an important area of research as the diversity of robotic applications has grown. The cooperation of a human and robot to achieve a goal is an important area within the physical human-robot interaction (pHRI) field. The expansion of this field is toward moving robotics into applications in unstructured environments. When humans cooperate with each other, often there are leader and follower roles. These roles may change during the task. This creates a need for the robotic system to be able to exchange roles with the human during a cooperative task. The unstructured nature of the new applications in the field creates a need for robotic systems to be able to interact in six degrees of freedom (DOF). Moreover, in these unstructured environments, the robotic system will have incomplete information. This means that it will sometimes perform an incorrect action and control methods need to be able to correct for this. However, the most compelling applications for robotics are where they have capabilities that the human does not, which also creates the need for robotic systems to be able to correct human action when it detects an error. Activity in the brain precedes human action. Utilizing this activity in the brain can classify the type of interaction desired by the human. For this dissertation, the cooperation between humans and robots is improved in two main areas. First, the ability for electroencephalogram (EEG) to determine the desired cooperation role with a human is demonstrated with a correct classification rate of 65%. Second, a robotic controller is developed to allow the human and robot to cooperate in six DOF with asymmetric role exchange. This system allowed human-robot cooperation to perform a cooperative task at 100% correct rate. High, medium, and low levels of robotic automation are shown to affect performance, with the human making the greatest numbers of errors when the robotic system has a medium level of automation.
ContributorsWhitsell, Bryan Douglas (Author) / Artemiadis, Panagiotis (Thesis advisor) / Santello, Marco (Committee member) / Berman, Spring (Committee member) / Lee, Hyunglae (Committee member) / Polygerinos, Panagiotis (Committee member) / Arizona State University (Publisher)
Created2017
Description
This investigation focuses on the development of uncertainty modeling methods applicable to both the structural and thermal models of heated structures as part of an effort to enable the design under uncertainty of hypersonic vehicles. The maximum entropy-based nonparametric stochastic modeling approach is used within the context of coupled structural-thermal Reduced Order Models (ROMs). Not only does this strategy allow for a computationally efficient generation of samples of the structural and thermal responses but the maximum entropy approach allows to introduce both aleatoric and some epistemic uncertainty into the system.
While the nonparametric approach has a long history of applications to structural models, the present investigation was the first one to consider it for the heat conduction problem. In this process, it was recognized that the nonparametric approach had to be modified to maintain the localization of the temperature near the heat source, which was successfully achieved.
The introduction of uncertainty in coupled structural-thermal ROMs of heated structures was addressed next. It was first recognized that the structural stiffness coefficients (linear, quadratic, and cubic) and the parameters quantifying the effects of the temperature distribution on the structural response can be regrouped into a matrix that is symmetric and positive definite. The nonparametric approach was then applied to this matrix allowing the assessment of the effects of uncertainty on the resulting temperature distributions and structural response.
The third part of this document focuses on introducing uncertainty using the Maximum Entropy Method at the level of finite element by randomizing elemental matrices, for instance, elemental stiffness, mass and conductance matrices. This approach brings some epistemic uncertainty not present in the parametric approach (e.g., by randomizing the elasticity tensor) while retaining more local character than the operation in ROM level.
The last part of this document focuses on the development of “reduced ROMs” (RROMs) which are reduced order models with small bases constructed in a data-driven process from a “full” ROM with a much larger basis. The development of the RROM methodology is motivated by the desire to optimally reduce the computational cost especially in multi-physics situations where a lack of prior understanding/knowledge of the solution typically leads to the selection of ROM bases that are excessively broad to ensure the necessary accuracy in representing the response. It is additionally emphasized that the ROM reduction process can be carried out adaptively, i.e., differently over different ranges of loading conditions.
While the nonparametric approach has a long history of applications to structural models, the present investigation was the first one to consider it for the heat conduction problem. In this process, it was recognized that the nonparametric approach had to be modified to maintain the localization of the temperature near the heat source, which was successfully achieved.
The introduction of uncertainty in coupled structural-thermal ROMs of heated structures was addressed next. It was first recognized that the structural stiffness coefficients (linear, quadratic, and cubic) and the parameters quantifying the effects of the temperature distribution on the structural response can be regrouped into a matrix that is symmetric and positive definite. The nonparametric approach was then applied to this matrix allowing the assessment of the effects of uncertainty on the resulting temperature distributions and structural response.
The third part of this document focuses on introducing uncertainty using the Maximum Entropy Method at the level of finite element by randomizing elemental matrices, for instance, elemental stiffness, mass and conductance matrices. This approach brings some epistemic uncertainty not present in the parametric approach (e.g., by randomizing the elasticity tensor) while retaining more local character than the operation in ROM level.
The last part of this document focuses on the development of “reduced ROMs” (RROMs) which are reduced order models with small bases constructed in a data-driven process from a “full” ROM with a much larger basis. The development of the RROM methodology is motivated by the desire to optimally reduce the computational cost especially in multi-physics situations where a lack of prior understanding/knowledge of the solution typically leads to the selection of ROM bases that are excessively broad to ensure the necessary accuracy in representing the response. It is additionally emphasized that the ROM reduction process can be carried out adaptively, i.e., differently over different ranges of loading conditions.
ContributorsSong, Pengchao (Author) / Mignolet, Marc P (Thesis advisor) / Smarslok, Benjamin (Committee member) / Chattopadhyay, Aditi (Committee member) / Liu, Yongming (Committee member) / Jiang, Hanqing (Committee member) / Berman, Spring (Committee member) / Arizona State University (Publisher)
Created2019
Description
Robotic joints can be either powered or passive. This work will discuss the creation of a passive and a powered joint system as well as the combination system being both powered and passive along with its benefits. A novel approach of analysis and control of the combination system is presented.
A passive and a powered ankle joint system is developed and fit to the field of prosthetics, specifically ankle joint replacement for able bodied gait. The general 1 DOF robotic joint designs are examined and the results from testing are discussed. Achievements in this area include the able bodied gait like behavior of passive systems for slow walking speeds. For higher walking speeds the powered ankle system is capable of adding the necessary energy to propel the user forward and remain similar to able bodied gait, effectively replacing the calf muscle. While running has not fully been achieved through past powered ankle devices the full power necessary is reached in this work for running and sprinting while achieving 4x’s power amplification through the powered ankle mechanism.
A theoretical approach to robotic joints is then analyzed in order to combine the advantages of both passive and powered systems. Energy methods are shown to provide a correct behavioral analysis of any robotic joint system. Manipulation of the energy curves and mechanism coupler curves allows real time joint behavioral adjustment. Such a powered joint can be adjusted to passively achieve desired behavior for different speeds and environmental needs. The effects on joint moment and stiffness from adjusting one type of mechanism is presented.
A passive and a powered ankle joint system is developed and fit to the field of prosthetics, specifically ankle joint replacement for able bodied gait. The general 1 DOF robotic joint designs are examined and the results from testing are discussed. Achievements in this area include the able bodied gait like behavior of passive systems for slow walking speeds. For higher walking speeds the powered ankle system is capable of adding the necessary energy to propel the user forward and remain similar to able bodied gait, effectively replacing the calf muscle. While running has not fully been achieved through past powered ankle devices the full power necessary is reached in this work for running and sprinting while achieving 4x’s power amplification through the powered ankle mechanism.
A theoretical approach to robotic joints is then analyzed in order to combine the advantages of both passive and powered systems. Energy methods are shown to provide a correct behavioral analysis of any robotic joint system. Manipulation of the energy curves and mechanism coupler curves allows real time joint behavioral adjustment. Such a powered joint can be adjusted to passively achieve desired behavior for different speeds and environmental needs. The effects on joint moment and stiffness from adjusting one type of mechanism is presented.
ContributorsHolgate, Robert (Author) / Sugar, Thomas (Thesis advisor) / Artemiades, Panagiotis (Thesis advisor) / Berman, Spring (Committee member) / Mignolet, Marc (Committee member) / Davidson, Joseph (Committee member) / Arizona State University (Publisher)
Created2017
Description
Wearable robotics is a growing sector in the robotics industry, they can increase the productivity of workers and soldiers and can restore some of the lost function to people with disabilities. Wearable robots should be comfortable, easy to use, and intuitive. Robust control methods are needed for wearable robots that assist periodic motion.
This dissertation studies a phase based oscillator constructed with a second order dynamic system and a forcing function based on the phase angle of the system. This produces a bounded control signal that can alter the damping and stiffens properties of the dynamic system. It is shown analytically and experimentally that it is stable and robust. It can handle perturbations remarkably well. The forcing function uses the states of the system to produces stable oscillations. Also, this work shows the use of the phase based oscillator in wearable robots to assist periodic human motion focusing on assisting the hip motion. One of the main problems to assist periodic motion properly is to determine the frequency of the signal. The phase oscillator eliminates this problem because the signal always has the correct frequency. The input requires the position and velocity of the system. Additionally, the simplicity of the controller allows for simple implementation.
This dissertation studies a phase based oscillator constructed with a second order dynamic system and a forcing function based on the phase angle of the system. This produces a bounded control signal that can alter the damping and stiffens properties of the dynamic system. It is shown analytically and experimentally that it is stable and robust. It can handle perturbations remarkably well. The forcing function uses the states of the system to produces stable oscillations. Also, this work shows the use of the phase based oscillator in wearable robots to assist periodic human motion focusing on assisting the hip motion. One of the main problems to assist periodic motion properly is to determine the frequency of the signal. The phase oscillator eliminates this problem because the signal always has the correct frequency. The input requires the position and velocity of the system. Additionally, the simplicity of the controller allows for simple implementation.
ContributorsDe la Fuente Valadez, Juan Oziel (Author) / Sugar, Thomas G. (Committee member) / Redkar, Sangram (Committee member) / Berman, Spring (Committee member) / Artemiadis, Panagiotis (Committee member) / Schroeder, Kyle A (Committee member) / Arizona State University (Publisher)
Created2016
Description
Technological progress in robot sensing, design, and fabrication, and the availability of open source software frameworks such as the Robot Operating System (ROS), are advancing the applications of swarm robotics from toy problems to real-world tasks such as surveillance, precision agriculture, search-and-rescue, and infrastructure inspection. These applications will require the development of robot controllers and system architectures that scale well with the number of robots and that are robust to robot errors and failures. To achieve this, one approach is to design decentralized robot control policies that require only local sensing and local, ad-hoc communication. In particular, stochastic control policies can be designed that are agnostic to individual robot identities and do not require a priori information about the environment or sophisticated computation, sensing, navigation, or communication capabilities. This dissertation presents novel swarm control strategies with these properties for detecting and mapping static targets, which represent features of interest, in an
unknown, bounded, obstacle-free environment. The robots move on a finite spatial grid according to
the time-homogeneous transition probabilities of a Discrete-Time Discrete-State (DTDS) Markov chain model, and they exchange information with other robots within their communication range using a consensus (agreement) protocol. This dissertation extend theoretical guarantees on multi-robot consensus over fixed and time-varying communication networks with known connectivity properties to consensus over the networks that have Markovian switching dynamics and no presumed connectivity. This dissertation develops such swarm consensus strategies for detecting a single feature in the environment, tracking multiple features, and reconstructing a discrete distribution of features modeled as an occupancy grid map.
The proposed consensus approaches are validated in numerical simulations and in 3D physics-based simulations of quadrotors in Gazebo. The scalability of the proposed approaches is examined through extensive numerical simulation studies over different swarm populations and environment sizes.
ContributorsShirsat, Aniket (Author) / Berman, Spring (Thesis advisor) / Lee, Hyunglae (Committee member) / Marvi, Hamid (Committee member) / Saripalli, Srikanth (Committee member) / Gharavi, Lance (Committee member) / Arizona State University (Publisher)
Created2022
Description
This dissertation introduces and examines Soft Curved Reconfigurable Anisotropic Mechanisms (SCRAMs) as a solution to address actuation, manufacturing, and modeling challenges in the field of soft robotics, with the aim of facilitating the broader implementation of soft robots in various industries. SCRAM systems utilize the curved geometry of thin elastic structures to tackle these challenges in soft robots. SCRAM devices can modify their dynamic behavior by incorporating reconfigurable anisotropic stiffness, thereby enabling tailored locomotion patterns for specific tasks. This approach simplifies the actuation of robots, resulting in lighter, more flexible, cost-effective, and safer soft robotic systems. This dissertation demonstrates the potential of SCRAM devices through several case studies. These studies investigate virtual joints and shape change propagation in tubes, as well as anisotropic dynamic behavior in vibrational soft twisted beams, effectively demonstrating interesting locomotion patterns that are achievable using simple actuation mechanisms. The dissertation also addresses modeling and simulation challenges by introducing a reduced-order modeling approach. This approach enables fast and accurate simulations of soft robots and is compatible with existing rigid body simulators. Additionally, this dissertation investigates the prototyping processes of SCRAM devices and offers a comprehensive framework for the development of these devices. Overall, this dissertation demonstrates the potential of SCRAM devices to overcome actuation, modeling, and manufacturing challenges in soft robotics. The innovative concepts and approaches presented have implications for various industries that require cost-effective, adaptable, and safe robotic systems. SCRAM devices pave the way for the widespread application of soft robots in diverse domains.
ContributorsJiang, Yuhao (Author) / Aukes, Daniel (Thesis advisor) / Berman, Spring (Committee member) / Lee, Hyunglae (Committee member) / Marvi, Hamidreza (Committee member) / Srivastava, Siddharth (Committee member) / Arizona State University (Publisher)
Created2023
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
While wearable soft robots have successfully addressed many inherent design limitations faced by wearable rigid robots, they possess a unique set of challenges due to their soft and compliant nature. Some of these challenges are present in the sensing, modeling, control and evaluation of wearable soft robots. Machine learning algorithms have shown promising results for sensor fusion with wearable robots, however, they require extensive data to train models for different users and experimental conditions. Modeling soft sensors and actuators require characterizing non-linearity and hysteresis, which complicates deriving an analytical model. Experimental characterization can capture the characteristics of non-linearity and hysteresis but requires developing a synthesized model for real-time control. Controllers for wearable soft robots must be robust to compensate for unknown disturbances that arise from the soft robot and its interaction with the user. Since developing dynamic models for soft robots is complex, inaccuracies that arise from the unmodeled dynamics lead to significant disturbances that the controller needs to compensate for. In addition, obtaining a physical model of the human-robot interaction is complex due to unknown human dynamics during walking. Finally, the performance of soft robots for wearable applications requires extensive experimental evaluation to analyze the benefits for the user. To address these challenges, this dissertation focuses on the sensing, modeling, control and evaluation of soft robots for wearable applications. A model-based sensor fusion algorithm is proposed to improve the estimation of human joint kinematics, with a soft flexible robot that requires compact and lightweight sensors. To overcome limitations with rigid sensors, an inflatable soft haptic sensor is developed to enable gait sensing and haptic feedback. Through experimental characterization, a mathematical model is derived to quantify the user's ground reaction forces and the delivered haptic force. Lastly, the performance of a wearable soft exosuit in assisting human users during lifting tasks is evaluated, and the benefits obtained from the soft robot assistance are analyzed.
ContributorsQuiñones Yumbla, Emiliano (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
Autonomous systems inevitably must interact with other surrounding systems; thus, algorithms for intention/behavior estimation are of great interest. This thesis dissertation focuses on developing passive and active model discrimination algorithms (PMD and AMD) with applications to set-valued intention identification and fault detection for uncertain/bounded-error dynamical systems. PMD uses the obtained input-output data to invalidate the models, while AMD designs an auxiliary input to assist the discrimination process. First, PMD algorithms are proposed for noisy switched nonlinear systems constrained by metric/signal temporal logic specifications, including systems with lossy data modeled by (m,k)-firm constraints. Specifically, optimization-based algorithms are introduced for analyzing the detectability/distinguishability of models and for ruling out models that are inconsistent with observations at run time. On the other hand, two AMD approaches are designed for noisy switched nonlinear models and piecewise affine inclusion models, which involve bilevel optimization with integer variables/constraints in the inner/lower level. The first approach solves the inner problem using mixed-integer parametric optimization, whose solution is included when solving the outer problem/higher level, while the second approach moves the integer variables/constraints to the outer problem in a manner that retains feasibility and recasts the problem as a tractable mixed-integer linear programming (MILP). Furthermore, AMD algorithms are proposed for noisy discrete-time affine time-invariant systems constrained by disjunctive and coupled safety constraints. To overcome the issues associated with generalized semi-infinite constraints due to state-dependent input constraints and disjunctive safety constraints, several constraint reformulations are proposed to recast the AMD problems as tractable MILPs. Finally, partition-based AMD approaches are proposed for noisy discrete-time affine time-invariant models with model-independent parameters and output measurement that are revealed at run time. Specifically, algorithms with fixed and adaptive partitions are proposed, where the latter improves on the performance of the former by allowing the partitions to be optimized. By partitioning the operation region, the problem is solved offline, and partition trees are constructed which can be used as a `look-up table' to determine the optimal input depending on revealed information at run time.
ContributorsNiu, Ruochen (Author) / Yong, Sze Zheng S.Z. (Thesis advisor) / Berman, Spring (Committee member) / Ren, Yi (Committee member) / Zhang, Wenlong (Committee member) / Zhuang, Houlong (Committee member) / Arizona State University (Publisher)
Created2022
Description
In this thesis, we focus on some of the NP-hard problems in control theory. Thanks to the converse Lyapunov theory, these problems can often be modeled as optimization over polynomials. To avoid the problem of intractability, we establish a trade off between accuracy and complexity. In particular, we develop a sequence of tractable optimization problems - in the form of Linear Programs (LPs) and/or Semi-Definite Programs (SDPs) - whose solutions converge to the exact solution of the NP-hard problem. However, the computational and memory complexity of these LPs and SDPs grow exponentially with the progress of the sequence - meaning that improving the accuracy of the solutions requires solving SDPs with tens of thousands of decision variables and constraints. Setting up and solving such problems is a significant challenge. The existing optimization algorithms and software are only designed to use desktop computers or small cluster computers - machines which do not have sufficient memory for solving such large SDPs. Moreover, the speed-up of these algorithms does not scale beyond dozens of processors. This in fact is the reason we seek parallel algorithms for setting-up and solving large SDPs on large cluster- and/or super-computers.
We propose parallel algorithms for stability analysis of two classes of systems: 1) Linear systems with a large number of uncertain parameters; 2) Nonlinear systems defined by polynomial vector fields. First, we develop a distributed parallel algorithm which applies Polya's and/or Handelman's theorems to some variants of parameter-dependent Lyapunov inequalities with parameters defined over the standard simplex. The result is a sequence of SDPs which possess a block-diagonal structure. We then develop a parallel SDP solver which exploits this structure in order to map the computation, memory and communication to a distributed parallel environment. Numerical tests on a supercomputer demonstrate the ability of the algorithm to efficiently utilize hundreds and potentially thousands of processors, and analyze systems with 100+ dimensional state-space. Furthermore, we extend our algorithms to analyze robust stability over more complicated geometries such as hypercubes and arbitrary convex polytopes. Our algorithms can be readily extended to address a wide variety of problems in control such as Hinfinity synthesis for systems with parametric uncertainty and computing control Lyapunov functions.
We propose parallel algorithms for stability analysis of two classes of systems: 1) Linear systems with a large number of uncertain parameters; 2) Nonlinear systems defined by polynomial vector fields. First, we develop a distributed parallel algorithm which applies Polya's and/or Handelman's theorems to some variants of parameter-dependent Lyapunov inequalities with parameters defined over the standard simplex. The result is a sequence of SDPs which possess a block-diagonal structure. We then develop a parallel SDP solver which exploits this structure in order to map the computation, memory and communication to a distributed parallel environment. Numerical tests on a supercomputer demonstrate the ability of the algorithm to efficiently utilize hundreds and potentially thousands of processors, and analyze systems with 100+ dimensional state-space. Furthermore, we extend our algorithms to analyze robust stability over more complicated geometries such as hypercubes and arbitrary convex polytopes. Our algorithms can be readily extended to address a wide variety of problems in control such as Hinfinity synthesis for systems with parametric uncertainty and computing control Lyapunov functions.
ContributorsKamyar, Reza (Author) / Peet, Matthew (Thesis advisor) / Berman, Spring (Committee member) / Rivera, Daniel (Committee member) / Artemiadis, Panagiotis (Committee member) / Fainekos, Georgios (Committee member) / Arizona State University (Publisher)
Created2016