63 citations · 74 across the 9 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
math.OC2016★ 6 cited
Exact and Efficient Hamilton-Jacobi-based Guaranteed Safety Analysis via System Decomposition
Mo Chen, Sylvia Herbert, Claire J. Tomlin
Hamilton-Jacobi (HJ) reachability is a method that provides rigorous analyses of the safety properties of dynamical systems. This method has been successfully applied to many low-d…
cs.MA2016★ 63 cited
Reachability-Based Safety and Goal Satisfaction of Unmanned Aerial Platoons on Air Highways
Mo Chen, Qie Hu, Jaime Fisac +3
Recently, there has been immense interest in using unmanned aerial vehicles (UAVs) for civilian operations. As a result, unmanned aerial systems traffic management is needed to ens…