Minh Xuan Bui

Papers

Total Citations

H-Index

About

Minh Xuan Bui is a researcher dedicated to advancing the formal verification and safety assurance of autonomous systems, with a primary focus on overcoming the computational bottlenecks of Hamilton-Jacobi (HJ) reachability analysis. His work addresses a critical challenge in the field: while HJ reachability is a powerful tool for verifying safety in nonlinear systems with disturbances, its practical application has been severely limited by the "curse of dimensionality." Bui’s major contribution lies in pioneering the use of Field-Programmable Gate Arrays (FPGAs) to enable real-time HJ reachability analysis, a breakthrough that promises to make formal verification feasible for complex, high-dimensional autonomous systems. His most-cited paper, "Real-Time Hamilton-Jacobi Reachability Analysis of Autonomous System With An FPGA" (2021), has garnered 7 citations, demonstrating growing interest in his hardware-accelerated approach. This work, along with his earlier 2020 paper on the same topic, establishes Bui as a key innovator at the intersection of formal methods and embedded systems. By translating computationally intensive verification algorithms into hardware, Bui is paving the way for safer, more reliable autonomous vehicles and robots, making his research highly relevant for students and engineers seeking to bridge theory and real-world deployment.