36 citations · 82 across the 11 of their papers we have counts for
6 papers · 1 filter
Human Behavior Modeling via Identification of Task Objective and Variability
Sooyung Byeon, Dawei Sun, Inseok Hwang
Human behavior modeling is important for the design and implementation of human-automation interactive control systems. In this context, human behavior refers to a human's control…
Cooperative Task and Motion Planning for Multi-Arm Assembly Systems
Jingkai Chen, Jiaoyang Li, Yijiang Huang +7
Multi-robot assembly systems are becoming increasingly appealing in manufacturing due to their ability to automatically, flexibly, and quickly construct desired structural designs.…
Multi-agent Motion Planning from Signal Temporal Logic Specifications
Dawei Sun, Jingkai Chen, Sayan Mitra +1
We tackle the challenging problem of multi-agent cooperative motion planning for complex tasks described using signal temporal logic (STL), where robots can have nonlinear and nonh…
Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions
Chiao Hsieh, Keyur Joshi, Sasa Misailovic +1
Convolutional Neural Networks (CNN) for object detection, lane detection, and segmentation now sit at the head of most autonomy pipelines, and yet, their safety analysis remains an…
Uncertainty-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric
Dawei Sun, Mohammad Javad Khojasteh, Shubhanshu Shekhar +1
In this paper, we consider the problem of using a robot to explore an environment with an unknown, state-dependent disturbance function while avoiding some forbidden areas. The goa…
Learning Certified Control using Contraction Metric
Dawei Sun, Susmit Jha, Chuchu Fan
In this paper, we solve the problem of finding a certified control policy that drives a robot from any given initial state and under any bounded disturbance to the desired referenc…