48 citations · 131 across the 19 of their papers we have counts for
20 papers
Barrier functions enable safety-conscious force-feedback control
Charles Dawson, Austin Garrett, Falk Pollok +2
In order to be effective partners for humans, robots must become increasingly comfortable with making contact with their environment. Unfortunately, it is hard for robots to distin…
Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning
Yue Meng, Zeng Qiu, Md Tawhid Bin Waez +1
Density of the reachable states can help understand the risk of safety-critical systems, especially in situations when worst-case reachability is too conservative. Recent work prov…
Certifiable Robot Design Optimization using Differentiable Programming
Charles Dawson, Chuchu Fan
There is a growing need for computational tools to automatically design and verify autonomous systems, especially complex robotic systems involving perception, planning, control, a…
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.…
Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic
Charles Dawson, Chuchu Fan
Signal temporal logic (STL) provides a powerful, flexible framework for specifying complex autonomy tasks; however, existing methods for planning based on STL specifications have d…
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…