16 citations · 66 across the 30 of their papers we have counts for
5 papers · 1 filter
Perception Simplex: Verifiable Collision Avoidance in Autonomous Vehicles Amidst Obstacle Detection Faults
Ayoosh Bansal, Hunmin Kim, Simon Yu +4
Advances in deep learning have revolutionized cyber-physical applications, including the development of Autonomous Vehicles. However, real-world collisions involving autonomous con…
Verifiable Obstacle Detection
Ayoosh Bansal, Hunmin Kim, Simon Yu +4
Perception of obstacles remains a critical safety concern for autonomous vehicles. Real-world collisions have shown that the autonomy faults leading to fatal collisions originate f…
Path Integral Methods with Stochastic Control Barrier Functions
Chuyuan Tao, Hyung-Jin Yoon, Hunmin Kim +2
Safe control designs for robotic systems remain challenging because of the difficulties of explicitly solving optimal control with nonlinear dynamics perturbed by stochastic noise.…
Sampling Complexity of Path Integral Methods for Trajectory Optimization
Hyung-Jin Yoon, Chuyuan Tao, Hunmin Kim +2
The use of random sampling in decision-making and control has become popular with the ease of access to graphic processing units that can generate and calculate multiple random tra…
Protective Mission against a Highly Maneuverable Rogue Drone Using Defense Margin Strategy
Minjun Sung, Christophe Johannes Hiltebrandt-McIntosh, Hunmin Kim +1
The current paper studies a protective mission to defend a domain called the safe zone from a rogue drone invasion. We consider a one attacker and one defender drone scenario where…