15 citations · 16 across the 2 of their papers we have counts for
3 papers
cs.RO2020★ 15 cited
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…
eess.SY2020★ 1 cited
Control Protocol Design and Analysis for Unmanned Aircraft System Traffic Management
Jiazhen Zhou, Dawei Sun, Inseok Hwang +1
Due to the rapid development technologies for small unmanned aircraft systems (sUAS), the supply and demand market for sUAS is expanding globally. With the great number of sUAS rea…
cs.LG2019
Verification and Parameter Synthesis for Stochastic Systems using Optimistic Optimization
Negin Musavi, Dawei Sun, Sayan Mitra +2
We present an algorithm for formal verification and parameter synthesis of continuous state-space Markov chains. This class of problems captures the design and analysis of a wide v…