4 citations · 6 across the 5 of their papers we have counts for
Showing eess.SYShow all
3 papers · 1 filter
eess.SY2025
Reach-Avoid Differential game with Reachability Analysis for UAVs: A decomposition approach
Minh Bui, Simon Monckton, Mo Chen
Reach-avoid (RA) games have significant applications in security and defense, particularly for unmanned aerial vehicles (UAVs). These problems are inherently challenging due to the…
eess.SY2023
Multi-Agent Reach-Avoid Games: Two Attackers Versus One Defender and Mixed Integer Programming
Hanyang Hu, Minh Bui, Mo Chen
We propose a hybrid approach that combines Hamilton-Jacobi (HJ) reachability and mixed-integer optimization for solving a reach-avoid game with multiple attackers and defenders. Th…
eess.SY2020★ 2 cited
Real-Time Formal Verification of Autonomous Systems With An FPGA
Minh Bui, Michael Lu, Reza Hojabr +2
Hamilton-Jacobi reachability analysis is a powerful technique used to verify the safety of autonomous systems. This method is very good at handling non-linear system dynamics with…