-
Homotopic Path Set Planning for Robot Manipulation and Navigation
Authors:
**g Huang,
Yunxi Tang,
Kwok Wai Samuel Au
Abstract:
This paper addresses path set planning that yields important applications in robot manipulation and navigation such as path generation for deformable object keypoints and swarms. A path set refers to the collection of finite agent paths to represent the overall spatial path of a group of keypoints or a swarm, whose collective properties meet spatial and topological constraints. As opposed to plann…
▽ More
This paper addresses path set planning that yields important applications in robot manipulation and navigation such as path generation for deformable object keypoints and swarms. A path set refers to the collection of finite agent paths to represent the overall spatial path of a group of keypoints or a swarm, whose collective properties meet spatial and topological constraints. As opposed to planning a single path, simultaneously planning multiple paths with constraints poses nontrivial challenges in complex environments. This paper presents a systematic planning pipeline for homotopic path sets, a widely applicable path set class in robotics. An extended visibility check condition is first proposed to attain a sparse passage distribution amidst dense obstacles. Passage-aware optimal path planning compatible with sampling-based planners is then designed for single path planning with adjustable costs. Large accessible free space for path set accommodation can be achieved by the planned path while having a sufficiently short path length. After specifying the homotopic properties of path sets, path set generation based on deformable path transfer is proposed in an efficient centralized manner. The effectiveness of these methods is validated by extensive simulated and experimental results.
△ Less
Submitted 11 July, 2024; v1 submitted 4 June, 2024;
originally announced June 2024.
-
World Models for General Surgical Gras**
Authors:
Hongbin Lin,
Bin Li,
Chun Wai Wong,
Juan Rojas,
Xiangyu Chu,
Kwok Wai Samuel Au
Abstract:
Intelligent vision control systems for surgical robots should adapt to unknown and diverse objects while being robust to system disturbances. Previous methods did not meet these requirements due to mainly relying on pose estimation and feature tracking. We propose a world-model-based deep reinforcement learning framework "Grasp Anything for Surgery" (GAS), that learns a pixel-level visuomotor poli…
▽ More
Intelligent vision control systems for surgical robots should adapt to unknown and diverse objects while being robust to system disturbances. Previous methods did not meet these requirements due to mainly relying on pose estimation and feature tracking. We propose a world-model-based deep reinforcement learning framework "Grasp Anything for Surgery" (GAS), that learns a pixel-level visuomotor policy for surgical gras**, enhancing both generality and robustness. In particular, a novel method is proposed to estimate the values and uncertainties of depth pixels for a rigid-link object's inaccurate region based on the empirical prior of the object's size; both depth and mask images of task objects are encoded to a single compact 3-channel image (size: 64x64x3) by dynamically zooming in the mask regions, minimizing the information loss. The learned controller's effectiveness is extensively evaluated in simulation and in a real robot. Our learned visuomotor policy handles: i) unseen objects, including 5 types of target gras** objects and a robot gripper, in unstructured real-world surgery environments, and ii) disturbances in perception and control. Note that we are the first work to achieve a unified surgical control system that grasps diverse surgical objects using different robot grippers on real robots in complex surgery scenes (average success rate: 69%). Our system also demonstrates significant robustness across 6 conditions including background variation, target disturbance, camera pose variation, kinematic control error, image noise, and re-gras** after the gripped target object drops from the gripper. Videos and codes can be found on our project page: https://linhongbin.github.io/gas/.
△ Less
Submitted 28 May, 2024;
originally announced May 2024.
-
A Minimal Set of Parameters Based Depth-Dependent Distortion Model and Its Calibration Method for Stereo Vision Systems
Authors:
Xin Ma,
Puchen Zhu,
Xiao Li,
Xiaoyin Zheng,
Jianshu Zhou,
Xuchen Wang,
Kwok Wai Samuel Au
Abstract:
Depth position highly affects lens distortion, especially in close-range photography, which limits the measurement accuracy of existing stereo vision systems. Moreover, traditional depth-dependent distortion models and their calibration methods have remained complicated. In this work, we propose a minimal set of parameters based depth-dependent distortion model (MDM), which considers the radial an…
▽ More
Depth position highly affects lens distortion, especially in close-range photography, which limits the measurement accuracy of existing stereo vision systems. Moreover, traditional depth-dependent distortion models and their calibration methods have remained complicated. In this work, we propose a minimal set of parameters based depth-dependent distortion model (MDM), which considers the radial and decentering distortions of the lens to improve the accuracy of stereo vision systems and simplify their calibration process. In addition, we present an easy and flexible calibration method for the MDM of stereo vision systems with a commonly used planar pattern, which requires cameras to observe the planar pattern in different orientations. The proposed technique is easy to use and flexible compared with classical calibration techniques for depth-dependent distortion models in which the lens must be perpendicular to the planar pattern. The experimental validation of the MDM and its calibration method showed that the MDM improved the calibration accuracy by 56.55% and 74.15% compared with the Li's distortion model and traditional Brown's distortion model. Besides, an iteration-based reconstruction method is proposed to iteratively estimate the depth information in the MDM during three-dimensional reconstruction. The results showed that the accuracy of the iteration-based reconstruction method was improved by 9.08% compared with that of the non-iteration reconstruction method.
△ Less
Submitted 1 May, 2024; v1 submitted 29 April, 2024;
originally announced April 2024.
-
Deformable Object Manipulation With Constraints Using Path Set Planning and Tracking
Authors:
**g Huang,
Xiangyu Chu,
Xin Ma,
Kwok Wai Samuel Au
Abstract:
In robotic deformable object manipulation (DOM) applications, constraints arise commonly from environments and task-specific requirements. Enabling DOM with constraints is therefore crucial for its deployment in practice. However, dealing with constraints turns out to be challenging due to many inherent factors such as inaccessible deformation models of deformable objects (DOs) and varying environ…
▽ More
In robotic deformable object manipulation (DOM) applications, constraints arise commonly from environments and task-specific requirements. Enabling DOM with constraints is therefore crucial for its deployment in practice. However, dealing with constraints turns out to be challenging due to many inherent factors such as inaccessible deformation models of deformable objects (DOs) and varying environmental setups. This article presents a systematic manipulation framework for DOM subject to constraints by proposing a novel path set planning and tracking scheme. First, constrained DOM tasks are formulated into a versatile optimization formalism which enables dynamic constraint imposition. Because of the lack of the local optimization objective and high state dimensionality, the formulated problem is not analytically solvable. To address this, planning of the path set, which collects paths of DO feedback points, is proposed subsequently to offer feasible path and motion references for DO in constrained setups. Both theoretical analyses and computationally efficient algorithmic implementation of path set planning are discussed. Lastly, a control architecture combining path set tracking and constraint handling is designed for task execution. The effectiveness of our methods is validated in a variety of DOM tasks with constrained experimental settings.
△ Less
Submitted 17 February, 2024;
originally announced February 2024.
-
Bootstrap** Robotic Skill Learning With Intuitive Teleoperation: Initial Feasibility Study
Authors:
Xiangyu Chu,
Yunxi Tang,
Lam Him Kwok,
Yuanpei Cai,
Kwok Wai Samuel Au
Abstract:
Robotic skill learning has been increasingly studied but the demonstration collections are more challenging compared to collecting images/videos in computer vision and texts in natural language processing. This paper presents a skill learning paradigm by using intuitive teleoperation devices to generate high-quality human demonstrations efficiently for robotic skill learning in a data-driven manne…
▽ More
Robotic skill learning has been increasingly studied but the demonstration collections are more challenging compared to collecting images/videos in computer vision and texts in natural language processing. This paper presents a skill learning paradigm by using intuitive teleoperation devices to generate high-quality human demonstrations efficiently for robotic skill learning in a data-driven manner. By using a reliable teleoperation interface, the da Vinci Research Kit (dVRK) master, a system called dVRK-Simulator-for-Demonstration (dS4D) is proposed in this paper. Various manipulation tasks show the system's effectiveness and advantages in efficiency compared to other interfaces. Using the collected data for policy learning has been investigated, which verifies the initial feasibility. We believe the proposed paradigm can facilitate robot learning driven by high-quality demonstrations and efficiency while generating them.
△ Less
Submitted 11 November, 2023;
originally announced November 2023.
-
Interactive Navigation in Environments with Traversable Obstacles Using Large Language and Vision-Language Models
Authors:
Zhen Zhang,
Anran Lin,
Chun Wai Wong,
Xiangyu Chu,
Qi Dou,
K. W. Samuel Au
Abstract:
This paper proposes an interactive navigation framework by using large language and vision-language models, allowing robots to navigate in environments with traversable obstacles. We utilize the large language model (GPT-3.5) and the open-set Vision-language Model (Grounding DINO) to create an action-aware costmap to perform effective path planning without fine-tuning. With the large models, we ca…
▽ More
This paper proposes an interactive navigation framework by using large language and vision-language models, allowing robots to navigate in environments with traversable obstacles. We utilize the large language model (GPT-3.5) and the open-set Vision-language Model (Grounding DINO) to create an action-aware costmap to perform effective path planning without fine-tuning. With the large models, we can achieve an end-to-end system from textual instructions like "Can you pass through the curtains to deliver medicines to me?", to bounding boxes (e.g., curtains) with action-aware attributes. They can be used to segment LiDAR point clouds into two parts: traversable and untraversable parts, and then an action-aware costmap is constructed for generating a feasible path. The pre-trained large models have great generalization ability and do not require additional annotated data for training, allowing fast deployment in the interactive navigation tasks. We choose to use multiple traversable objects such as curtains and grasses for verification by instructing the robot to traverse them. Besides, traversing curtains in a medical scenario was tested. All experimental results demonstrated the proposed framework's effectiveness and adaptability to diverse environments.
△ Less
Submitted 12 March, 2024; v1 submitted 13 October, 2023;
originally announced October 2023.
-
Model-Free Large-Scale Cloth Spreading With Mobile Manipulation: Initial Feasibility Study
Authors:
Xiangyu Chu+,
Shengzhi Wang+,
Minjian Feng,
Jiaxi Zheng,
Yuxuan Zhao,
**g Huang,
K. W. Samuel Au
Abstract:
Cloth manipulation is common in domestic and service tasks, and most studies use fixed-base manipulators to manipulate objects whose sizes are relatively small with respect to the manipulators' workspace, such as towels, shirts, and rags. In contrast, manipulation of large-scale cloth, such as bed making and tablecloth spreading, poses additional challenges of reachability and manipulation control…
▽ More
Cloth manipulation is common in domestic and service tasks, and most studies use fixed-base manipulators to manipulate objects whose sizes are relatively small with respect to the manipulators' workspace, such as towels, shirts, and rags. In contrast, manipulation of large-scale cloth, such as bed making and tablecloth spreading, poses additional challenges of reachability and manipulation control. To address them, this paper presents a novel framework to spread large-scale cloth, with a single-arm mobile manipulator that can solve the reachability issue, for an initial feasibility study. On the manipulation control side, without modeling highly deformable cloth, a vision-based manipulation control scheme is applied and based on an online-update Jacobian matrix map** from selected feature points to the end-effector motion. To coordinate the control of the manipulator and mobile platform, Behavior Trees (BTs) are used because of their modularity. Finally, experiments are conducted, including validation of the model-free manipulation control for cloth spreading in different conditions and the large-scale cloth spreading framework. The experimental results demonstrate the large-scale cloth spreading task feasibility with a single-arm mobile manipulator and the model-free deformation controller.
△ Less
Submitted 20 August, 2023;
originally announced August 2023.
-
End-to-End Learning of Deep Visuomotor Policy for Needle Picking
Authors:
Hongbin Lin,
Bin Li,
Xiangyu Chu,
Qi Dou,
Yunhui Liu,
Kwok Wai Samuel Au
Abstract:
Needle picking is a challenging manipulation task in robot-assisted surgery due to the characteristics of small slender shapes of needles, needles' variations in shapes and sizes, and demands for millimeter-level control. Prior works, heavily relying on the prior of needles (e.g., geometric models), are hard to scale to unseen needles' variations. In this paper, we present the first end-to-end lea…
▽ More
Needle picking is a challenging manipulation task in robot-assisted surgery due to the characteristics of small slender shapes of needles, needles' variations in shapes and sizes, and demands for millimeter-level control. Prior works, heavily relying on the prior of needles (e.g., geometric models), are hard to scale to unseen needles' variations. In this paper, we present the first end-to-end learning method to train deep visuomotor policy for needle picking. Concretely, we propose DreamerfD to maximally leverage demonstrations to improve the learning efficiency of a state-of-the-art model-based reinforcement learning method, DreamerV2; Since Variational Auto-Encoder (VAE) in DreamerV2 is difficult to scale to high-resolution images, we propose Dynamic Spotlight Adaptation to represent control-related visual signals in a low-resolution image space; Virtual Clutch is also proposed to reduce performance degradation due to significant error between prior and posterior encoded states at the beginning of a rollout. We conducted extensive experiments in simulation to evaluate the performance, robustness, in-domain variation adaptation, and effectiveness of individual components of our method. Our method, trained by 8k demonstration timesteps and 140k online policy timesteps, can achieve a remarkable success rate of 80%. Furthermore, our method effectively demonstrated its superiority in generalization to unseen in-domain variations including needle variations and image disturbance, highlighting its robustness and versatility. Codes and videos are available at https://sites.google.com/view/DreamerfD.
△ Less
Submitted 26 July, 2023; v1 submitted 7 March, 2023;
originally announced March 2023.
-
Supercooled Droplet Icing and Self-Jum** on Micro/nanostructured Surfaces: Role of Vaporization Momentum
Authors:
Samuel C. Y. Au,
Xiao Yan,
Sui Cheong Chan,
Ying Lung Chan,
Ngai Chun Leung,
Wa Yat Wu,
Dixon T. Sin,
Guanlei Zhao,
Casper H. Y. Chung,
Mei Mei,
Yinchuang Yang,
Huihe Qiu,
Shuhuai Yao
Abstract:
Phase change under reduced environmental pressures is key to understanding liquid discharge and propulsion processes for aerospace applications. A representative case is the sessile water droplets exposed to high vacuum, which experience complex phase change and transport phenomena that behave so differently than that under the atmosphere. Here, we demonstrate a previously unexplored aspect of the…
▽ More
Phase change under reduced environmental pressures is key to understanding liquid discharge and propulsion processes for aerospace applications. A representative case is the sessile water droplets exposed to high vacuum, which experience complex phase change and transport phenomena that behave so differently than that under the atmosphere. Here, we demonstrate a previously unexplored aspect of the mechanism governing icing droplet self-launching from superhydrophobic surfaces when exposed to low pressures (~100 Pa). In contrast to the previously reported recalescence-induced local overpressure underneath the droplet that propels icing droplet self-jum**, we show that the progressive recalescence over the free surface plays a significant role in droplet icing and jum**. The joint contribution of the top-down vaporization momentum and bottom-up local overpressure momentum leads to vaporization-compression-detaching dynamics of the freezing droplets. We delineate the jum** velocity of the icing droplet by analyzing droplet vaporization mediated by freezing and substrate structuring, and reveal jum** direction coupled with the spatially probabilistic ice nucleation. Our study provides new insights into phase change of supercooled droplets at extreme conditions seen in aerospace and vacuum industries.
△ Less
Submitted 28 November, 2022;
originally announced November 2022.
-
Towards Exact Interaction Force Control for Underactuated Quadrupedal Systems with Orthogonal Projection and Quadratic Programming
Authors:
Shengzhi Wang,
Xiangyu Chu,
K. W. Samuel Au
Abstract:
Projected Inverse Dynamics Control (PIDC) is commonly used in robots subject to contact, especially in quadrupedal systems. Many methods based on such dynamics have been developed for quadrupedal locomotion tasks, and only a few works studied simple interactions between the robot and environment, such as pressing an E-stop button. To facilitate the interaction requiring exact force control for saf…
▽ More
Projected Inverse Dynamics Control (PIDC) is commonly used in robots subject to contact, especially in quadrupedal systems. Many methods based on such dynamics have been developed for quadrupedal locomotion tasks, and only a few works studied simple interactions between the robot and environment, such as pressing an E-stop button. To facilitate the interaction requiring exact force control for safety, we propose a novel interaction force control scheme for underactuated quadrupedal systems relying on projection techniques and Quadratic Programming (QP). This algorithm allows the robot to apply a desired interaction force to the environment without using force sensors while satisfying physical constraints and inducing minimal base motion. Unlike previous projection-based methods, the QP design uses two selection matrices in its hierarchical structure, facilitating the decoupling between force and motion control. The proposed algorithm is verified with a quadrupedal robot in a high-fidelity simulator. Compared to the QP designs without the strategy of using two selection matrices and the PIDC method for contact force control, our method provided more accurate contact force tracking performance with minimal base movement, paving the way to approach the exact interaction force control for underactuated quadrupedal systems.
△ Less
Submitted 18 October, 2022;
originally announced October 2022.
-
Open-source High-precision Autonomous Suturing Framework With Visual Guidance
Authors:
Hongbin Lin,
Bin Li,
Yunhui Liu,
Kwok Wai Samuel Au
Abstract:
Autonomous surgery has attracted increasing attention for revolutionizing robotic patient care, yet remains a distant and challenging goal. In this paper, we propose an image-based framework for high-precision autonomous suturing operation. We first build an algebraic geometric algorithm to achieve accurate needle pose estimation, then design the corresponding keypoint-based calibration network fo…
▽ More
Autonomous surgery has attracted increasing attention for revolutionizing robotic patient care, yet remains a distant and challenging goal. In this paper, we propose an image-based framework for high-precision autonomous suturing operation. We first build an algebraic geometric algorithm to achieve accurate needle pose estimation, then design the corresponding keypoint-based calibration network for joint-offset compensation, and further plan and control suture trajectory. Our solution ranked first among all competitors in the AccelNet Surgical Robotics Challenge. Videos and codes can be found in https://sites.google.com/view/accel-2022-cuhk.
△ Less
Submitted 28 May, 2024; v1 submitted 4 October, 2022;
originally announced October 2022.
-
Learning Deep Nets for Gravitational Dynamics with Unknown Disturbance through Physical Knowledge Distillation: Initial Feasibility Study
Authors:
Hongbin Lin,
Qian Gao,
Xiangyu Chu,
Qi Dou,
Anton Deguet,
Peter Kazanzides,
K. W. Samuel Au
Abstract:
Learning high-performance deep neural networks for dynamic modeling of high Degree-Of-Freedom (DOF) robots remains challenging due to the sampling complexity. Typical unknown system disturbance caused by unmodeled dynamics (such as internal compliance, cables) further exacerbates the problem. In this paper, a novel framework characterized by both high data efficiency and disturbance-adapting capab…
▽ More
Learning high-performance deep neural networks for dynamic modeling of high Degree-Of-Freedom (DOF) robots remains challenging due to the sampling complexity. Typical unknown system disturbance caused by unmodeled dynamics (such as internal compliance, cables) further exacerbates the problem. In this paper, a novel framework characterized by both high data efficiency and disturbance-adapting capability is proposed to address the problem of modeling gravitational dynamics using deep nets in feedforward gravity compensation control for high-DOF master manipulators with unknown disturbance. In particular, Feedforward Deep Neural Networks (FDNNs) are learned from both prior knowledge of an existing analytical model and observation of the robot system by Knowledge Distillation (KD). Through extensive experiments in high-DOF master manipulators with significant disturbance, we show that our method surpasses a standard Learning-from-Scratch (LfS) approach in terms of data efficiency and disturbance adaptation. Our initial feasibility study has demonstrated the potential of outperforming the analytical teacher model as the training data increases.
△ Less
Submitted 4 October, 2022;
originally announced October 2022.
-
Towards Safe Landing of Falling Quadruped Robots Using a 3-DoF Morphable Inertial Tail
Authors:
Yunxi Tang,
Jiajun An,
Xiangyu Chu,
Shengzhi Wang,
Ching Yan Wong,
K. W. Samuel Au
Abstract:
Falling cat problem is well-known where cats show their super aerial reorientation capability and can land safely. For their robotic counterparts, a similar falling quadruped robot problem, has not been fully addressed, although achieving safe landing as the cats has been increasingly investigated. Unlike imposing the burden on landing control, we approach to safe landing of falling quadruped robo…
▽ More
Falling cat problem is well-known where cats show their super aerial reorientation capability and can land safely. For their robotic counterparts, a similar falling quadruped robot problem, has not been fully addressed, although achieving safe landing as the cats has been increasingly investigated. Unlike imposing the burden on landing control, we approach to safe landing of falling quadruped robots by effective flight phase control. Different from existing work like swinging legs and attaching reaction wheels or simple tails, we propose to deploy a 3-DoF morphable inertial tail on a medium-size quadruped robot. In the flight phase, the tail with its maximum length can self-right the body orientation in 3D effectively; before touch-down, the tail length can be retracted to about 1/4 of its maximum for impressing the tail's side-effect on landing. To enable aerial reorientation for safe landing in the quadruped robots, we design a control architecture, which has been verified in a high-fidelity physics simulation environment with different initial conditions. Experimental results on a customized flight-phase test platform with comparable inertial properties are provided and show the tail's effectiveness on 3D body reorientation and its fast retractability before touch-down. An initial falling quadruped robot experiment is shown, where the robot Unitree A1 with the 3-DoF tail can land safely subject to non-negligible initial body angles.
△ Less
Submitted 30 September, 2022;
originally announced September 2022.
-
Inequality Constrained Trajectory Optimization with A Hybrid Multiple-shooting iLQR
Authors:
Yunxi Tang,
Xiangyu Chu,
Wanxin **,
K. W. Samuel Au
Abstract:
Trajectory optimization has been used extensively in robotic systems. In particular, iterative Linear Quadratic Regulator (iLQR) has performed well as an off-line planner and online nonlinear model predictive control solver, with a lower computational cost. However, standard iLQR cannot handle any constraints or perform reasonable initialization of a state trajectory. In this paper, we propose a h…
▽ More
Trajectory optimization has been used extensively in robotic systems. In particular, iterative Linear Quadratic Regulator (iLQR) has performed well as an off-line planner and online nonlinear model predictive control solver, with a lower computational cost. However, standard iLQR cannot handle any constraints or perform reasonable initialization of a state trajectory. In this paper, we propose a hybrid constrained iLQR variant with a multiple-shooting framework to incorporate general inequality constraints and infeasible states initialization. The main technical contributions are twofold: 1) In addition to inheriting the simplicity of the initialization in multiple-shooting settings, a two-stage framework is developed to deal with state and/or control constraints robustly without loss of the linear feedback term of iLQR. Such a hybrid strategy offers fast convergence of constraint satisfaction. 2) An improved globalization strategy is proposed to exploit the coupled effects between line-searching and regularization, which is able to enhance the numerical robustness of the constrained iLQR approaches. Our approach is tested on various constrained trajectory optimization problems and outperforms the commonly-used collocation and shooting methods.
△ Less
Submitted 18 March, 2023; v1 submitted 15 September, 2021;
originally announced September 2021.
-
A Reliable Gravity Compensation Control Strategy for dVRK Robotic Arms With Nonlinear Disturbance Forces
Authors:
Hongbin Lin,
C. W. Vincent Hui,
Yan Wang,
Anton Deguet,
Peter Kazanzides,
K. W. Samuel Au
Abstract:
External disturbance forces caused by nonlinear springy electrical cables in the Master Tool Manipulator (MTM) of the da Vinci Research Kit (dVRK) limits the usage of the existing gravity compensation methods. Significant motion drifts at the MTM tip are often observed when the MTM is located far from its identification trajectory, preventing the usage of these methods for the entire workspace rel…
▽ More
External disturbance forces caused by nonlinear springy electrical cables in the Master Tool Manipulator (MTM) of the da Vinci Research Kit (dVRK) limits the usage of the existing gravity compensation methods. Significant motion drifts at the MTM tip are often observed when the MTM is located far from its identification trajectory, preventing the usage of these methods for the entire workspace reliably. In this paper, we propose a general and systematic framework to address the problems of the gravity compensation for the MTM of the dVRK. Particularly, high order polynomial models were used to capture the highly nonlinear disturbance forces and integrated with the Multi-step Least Square Estimation (MLSE) framework. This method allows us to identify the parameters of both the gravitational and disturbance forces for each link sequentially, preventing residual error passing among the links of the MTM with uneven mass distribution. A corresponding gravity compensation controller was developed to compensate the gravitational and disturbance forces. The method was validated with extensive experiments in the majority of the manipulator's workspace, showing significant performance enhancements over existing methods. Finally, a deliverable software package in MATLAB and C++ was integrated with dVRK and published in the dVRK community for open-source research and development.
△ Less
Submitted 16 January, 2020;
originally announced January 2020.
-
The Pulsar Search Collaboratory: Current Status and Future Prospects
Authors:
Harsha Blumer,
Maura A. McLaughlin,
John Stewart,
Kathryn Williamson,
Duncan R. Lorimer,
Sue Ann Heatherly,
Joseph K. Swiggum,
Ryan S. Lynch,
Cabot Zabriskie,
Natalia Lewandowska,
Aubrey Roy,
Shirley Au
Abstract:
The Pulsar Search Collaboratory (PSC) is a collaboration between the Green Bank Observatory and West Virginia University, funded by the National Science Foundation. The PSC program is currently expanding nationwide and engages high school students, teachers, and undergraduate mentors in real-world research by searching for pulsars in data collected with the 100-m Green Bank Telescope. In the proce…
▽ More
The Pulsar Search Collaboratory (PSC) is a collaboration between the Green Bank Observatory and West Virginia University, funded by the National Science Foundation. The PSC program is currently expanding nationwide and engages high school students, teachers, and undergraduate mentors in real-world research by searching for pulsars in data collected with the 100-m Green Bank Telescope. In the process, students learn about observational radio astronomy, radio frequency interference, pulsar timing, and data analysis procedures. The primary goals of the PSC are to stimulate student interest in Science, Technology, Engineering, and Mathematics (STEM) careers, to prepare teachers in implementing authentic research with students by training them within a professional scientific community, and to promote student use of information technologies through online activities and workshops. In this paper, we provide an overview of pulsar science and the data analysis students undertake, as well as a general overview of the program. We then discuss evaluation data collected from participants through a series of survey questions to determine if the program's initial goals were met. The program had a positive impact on the students according to multiple measures, in particular, on their understanding of the nature of scientific inquiry and motivation to pursue STEM career paths.
△ Less
Submitted 11 September, 2019;
originally announced September 2019.
-
A large sample of Kohonen selected E+A (post-starburst) galaxies from the Sloan Digital Sky Survey
Authors:
H. Meusinger,
J. Brünecke,
P. Schalldach and. A. in der Au
Abstract:
We aim to create a large sample of local post-starburst (PSB) galaxies to study their characteristic properties, particularly morphological features indicative of gravitational distortions and indications for active galactic nuclei (AGNs). The selection is based on a huge Kohonen self-organising map (SOM) of about one million SDSS spectra. The SOM is made fully available for the astronomical commu…
▽ More
We aim to create a large sample of local post-starburst (PSB) galaxies to study their characteristic properties, particularly morphological features indicative of gravitational distortions and indications for active galactic nuclei (AGNs). The selection is based on a huge Kohonen self-organising map (SOM) of about one million SDSS spectra. The SOM is made fully available for the astronomical community, in combination with an interactive user interface. We compiled a catalogue of 2665 PSB galaxies with redshifts z < 0.4. In the colour-mass diagram, the PSB sample is found to be clearly concentrated towards the region between the red and the blue cloud, in agreement with the idea that PSB galaxies represent the transitioning phase between actively and passively evolving galaxies. The relative frequency of morphologically distorted PSB galaxies is at least 57%, significantly higher than in a comparison sample. The search for AGNs based on conventional selection criteria in the radio and MIR results in a low AGN fraction of 2 - 3%. We confirm an MIR excess in the mean SED of the PSB galaxy sample that may indicate hidden AGNs, though other sources are also possible. (Abstract modified to match the arXiv format.)
△ Less
Submitted 14 November, 2016;
originally announced November 2016.
-
Efficient estimation of probability of conflict between air traffic using Subset Simulation
Authors:
Chinmaya Mishra,
Simon Maskell,
Siu-Kui Au,
Jason F. Ralph
Abstract:
This paper presents an efficient method for estimating the probability of conflict between air traffic within a block of airspace. Autonomous Sense-and-Avoid is an essential safety feature to enable Unmanned Air Systems to operate alongside other (manned or unmanned) air traffic. The ability to estimate probability of conflict between traffic is an essential part of Sense-and-Avoid. Such probabili…
▽ More
This paper presents an efficient method for estimating the probability of conflict between air traffic within a block of airspace. Autonomous Sense-and-Avoid is an essential safety feature to enable Unmanned Air Systems to operate alongside other (manned or unmanned) air traffic. The ability to estimate probability of conflict between traffic is an essential part of Sense-and-Avoid. Such probabilities are typically very low. Evaluating low probabilities using naive Direct Monte Carlo generates a significant computational load. This paper applies a technique called Subset Simulation. The small failure probabilities are computed as a product of larger conditional failure probabilities, reducing the computational load whilst improving the accuracy of the probability estimates. The reduction in the number of samples required can be one or more orders of magnitude. The utility of the approach is demonstrated by modeling a series of conflicting and potentially conflicting scenarios based on the standard Rules of the Air.
△ Less
Submitted 25 April, 2016;
originally announced April 2016.
-
Bayesian updating and model class selection with Subset Simulation
Authors:
F. A. DiazDelaO,
A. Garbuno-Inigo,
S. K. Au,
I. Yoshida
Abstract:
Identifying the parameters of a model and rating competitive models based on measured data has been among the most important but challenging topics in modern science and engineering, with great potential of application in structural system identification, updating and development of high fidelity models. These problems in principle can be tackled using a Bayesian probabilistic approach, where the…
▽ More
Identifying the parameters of a model and rating competitive models based on measured data has been among the most important but challenging topics in modern science and engineering, with great potential of application in structural system identification, updating and development of high fidelity models. These problems in principle can be tackled using a Bayesian probabilistic approach, where the parameters to be identified are treated as uncertain and their inference information are given in terms of their posterior (i.e., given data) probability distribution. For complex models encountered in applications, efficient computational tools robust to the number of uncertain parameters in the problem are required for computing the posterior statistics, which can generally be formulated as a multi-dimensional integral over the space of the uncertain parameters. Subset Simulation (SuS) has been developed for solving reliability problems involving complex systems and it is found to be robust to the number of uncertain parameters. An analogy has been recently established between a Bayesian updating problem and a reliability problem, which opens up the possibility of efficient solution by SuS. The formulation, called BUS (Bayesian Updating with Structural reliability methods), is based on conventional rejection principle. Its theoretical correctness and efficiency requires the prudent choice of a multiplier, which has remained an open question. Motivated by the choice of the multiplier and its philosophical role, this paper presents a study of BUS. The work leads to a revised formulation that resolves the issues regarding the multiplier so that SuS can be implemented without knowing the multiplier. Examples are presented to illustrate the theory and applications.
△ Less
Submitted 1 August, 2017; v1 submitted 23 October, 2015;
originally announced October 2015.
-
Vibrational quenching of the electronic ground state in ThO in cold collisions with $^3$He
Authors:
Yat Shan Au,
Colin B. Connolly,
Wolfgang Ketterle,
John M. Doyle
Abstract:
We measure the ratio $γ$ of the momentum-transfer to the vibrational quenching cross section for the X ($^1Σ^+$), $ν=1$, $\mathrm{J=0}$ state of molecular thorium monoxide (ThO) in collisions with atomic $^3$He between 800 mK and 2.4 K. We observe indirect evidence for ThO--He van der Waals' complex formation, which has been predicted by theory. We determine the 3-body recombination rate constant…
▽ More
We measure the ratio $γ$ of the momentum-transfer to the vibrational quenching cross section for the X ($^1Σ^+$), $ν=1$, $\mathrm{J=0}$ state of molecular thorium monoxide (ThO) in collisions with atomic $^3$He between 800 mK and 2.4 K. We observe indirect evidence for ThO--He van der Waals' complex formation, which has been predicted by theory. We determine the 3-body recombination rate constant $Γ_3$ at 2.4 K, and establish that the binding energy E$_b >$ 4 K.
△ Less
Submitted 27 October, 2013;
originally announced October 2013.
-
Properties of the ground $^3$F$_2$ state and the excited $^3$P$_0$ state of atomic thorium in cold collisions with $^3$He
Authors:
Yat Shan Au,
Colin B. Connolly,
Wolfgang Ketterle,
John M. Doyle
Abstract:
We measure inelastic collisional cross sections for the ground $^3$F$_2$ state and the excited $^3$P$_0$ state of atomic thorium in cold collisions with $^3$He. We determine for Th ($^3$F$_2$) at 800 mK the ratio $γ\approx 500$ of the momentum-transfer to Zeeman relaxation cross sections for collisions with $^3$He. For Th ($^3$P$_0$), we study electronic inelastic processes and find no quenching e…
▽ More
We measure inelastic collisional cross sections for the ground $^3$F$_2$ state and the excited $^3$P$_0$ state of atomic thorium in cold collisions with $^3$He. We determine for Th ($^3$F$_2$) at 800 mK the ratio $γ\approx 500$ of the momentum-transfer to Zeeman relaxation cross sections for collisions with $^3$He. For Th ($^3$P$_0$), we study electronic inelastic processes and find no quenching even after $10^6$ collisions. We also determine the radiative lifetime of Th ($^3$P$_0$) to be $τ> 130$ ms. This great stability of the metastable state opens up the possibility for further study, including trap**.
△ Less
Submitted 27 October, 2013;
originally announced October 2013.
-
Bayesian Post-Processor and other Enhancements of Subset Simulation for Estimating Failure Probabilities in High Dimensions
Authors:
Konstantin M. Zuev,
James L. Beck,
Siu-Kui Au,
Lambros S. Katafygiotis
Abstract:
Estimation of small failure probabilities is one of the most important and challenging computational problems in reliability engineering. The failure probability is usually given by an integral over a high-dimensional uncertain parameter space that is difficult to evaluate numerically. This paper focuses on enhancements to Subset Simulation (SS), proposed by Au and Beck, which provides an efficien…
▽ More
Estimation of small failure probabilities is one of the most important and challenging computational problems in reliability engineering. The failure probability is usually given by an integral over a high-dimensional uncertain parameter space that is difficult to evaluate numerically. This paper focuses on enhancements to Subset Simulation (SS), proposed by Au and Beck, which provides an efficient algorithm based on MCMC (Markov chain Monte Carlo) simulation for computing small failure probabilities for general high-dimensional reliability problems. First, we analyze the Modified Metropolis algorithm (MMA), an MCMC technique, which is used in SS for sampling from high-dimensional conditional distributions. We present some observations on the optimal scaling of MMA, and develop an optimal scaling strategy for this algorithm when it is employed within SS. Next, we provide a theoretical basis for the optimal value of the conditional failure probability $p_0$, an important parameter one has to choose when using SS. Finally, a Bayesian post-processor SS+ for the original SS method is developed where the uncertain failure probability that one is estimating is modeled as a stochastic variable whose possible values belong to the unit interval. Simulated samples from SS are viewed as informative data relevant to the system's reliability. Instead of a single real number as an estimate, SS+ produces the posterior PDF of the failure probability, which takes into account both prior information and the information in the sampled data. This PDF quantifies the uncertainty in the value of the failure probability and it may be further used in risk analyses to incorporate this uncertainty. The relationship between the original SS and SS+ is also discussed
△ Less
Submitted 15 October, 2011;
originally announced October 2011.
-
Formation and dynamics of van der Waals molecules in buffer-gas traps
Authors:
Nathan Brahms,
Timur V. Tscherbul,
Peng Zhang,
Jacek Kłos,
Robert C. Forrey,
Yat Shan Au,
H. R. Sadeghpour,
A. Dalgarno,
John M. Doyle,
Thad G. Walker
Abstract:
We show that weakly bound He-containing van der Waals molecules can be produced and magnetically trapped in buffer-gas cooling experiments, and provide a general model for the formation and dynamics of these molecules. Our analysis shows that, at typical experimental parameters, thermodynamics favors the formation of van der Waals complexes composed of a helium atom bound to most open-shell atoms…
▽ More
We show that weakly bound He-containing van der Waals molecules can be produced and magnetically trapped in buffer-gas cooling experiments, and provide a general model for the formation and dynamics of these molecules. Our analysis shows that, at typical experimental parameters, thermodynamics favors the formation of van der Waals complexes composed of a helium atom bound to most open-shell atoms and molecules, and that complex formation occurs quickly enough to ensure chemical equilibrium. For molecular pairs composed of a He atom and an S-state atom, the molecular spin is stable during formation, dissociation, and collisions, and thus these molecules can be magnetically trapped. Collisional spin relaxations are too slow to affect trap lifetimes. However, helium-3-containing complexes can change spin due to adiabatic crossings between trapped and untrapped Zeeman states, mediated by the anisotropic hyperfine interaction, causing trap loss. We provide a detailed model for Ag3He molecules, using ab initio calculation of Ag-He interaction potentials and spin interactions, quantum scattering theory, and direct Monte Carlo simulations to describe formation and spin relaxation in this system. The calculated rate of spin-change agrees quantitatively with experimental observations, providing indirect evidence for molecular formation in buffer-gas-cooled magnetic traps.
△ Less
Submitted 26 April, 2011;
originally announced April 2011.
-
Large spin relaxation rates in trapped submerged-shell atoms
Authors:
Colin B. Connolly,
Yat Shan Au,
S. Charles Doret,
Wolfgang Ketterle,
John M. Doyle
Abstract:
Spin relaxation due to atom-atom collisions is measured for magnetically trapped erbium and thulium atoms at a temperature near 500 mK. The rate constants for Er-Er and Tm-Tm collisions are 3.0 times 10^-10 cm^3 s^-1 and 1.1 times 10^-10 cm^3 s^-1, respectively, 2-3 orders of magnitude larger than those observed for highly magnetic S-state atoms. This is strong evidence for an additional, domina…
▽ More
Spin relaxation due to atom-atom collisions is measured for magnetically trapped erbium and thulium atoms at a temperature near 500 mK. The rate constants for Er-Er and Tm-Tm collisions are 3.0 times 10^-10 cm^3 s^-1 and 1.1 times 10^-10 cm^3 s^-1, respectively, 2-3 orders of magnitude larger than those observed for highly magnetic S-state atoms. This is strong evidence for an additional, dominant, spin relaxation mechanism, electrostatic anisotropy, in collisions between these "submerged-shell" L > 0 atoms. These large spin relaxation rates imply that evaporative cooling of these atoms in a magnetic trap will be highly inefficient.
△ Less
Submitted 1 September, 2009;
originally announced September 2009.
-
The equivariant K-theory of toric varieties
Authors:
Suanne Au,
Mu-wan Huang,
Mark E. Walker
Abstract:
This paper contains two results concerning the equivariant K-theory of toric varieties. The first is a formula for the equivariant K-groups of an arbitrary affine toric variety, generalizing the known formula for smooth ones. In fact, this result is established in a more general context, involving the K-theory of graded projective modules. The second result is a new proof of a theorem due to Vez…
▽ More
This paper contains two results concerning the equivariant K-theory of toric varieties. The first is a formula for the equivariant K-groups of an arbitrary affine toric variety, generalizing the known formula for smooth ones. In fact, this result is established in a more general context, involving the K-theory of graded projective modules. The second result is a new proof of a theorem due to Vezzosi and Vistoli concerning the equivariant K-theory of smooth (not necessarily affine) toric varieties.
△ Less
Submitted 19 September, 2008;
originally announced September 2008.