Javier Borquez
Papers
1
Total Citations
8
H-Index
1
About
Javier Borquez is a rising researcher in the field of autonomous systems, with a core focus on safety-critical control and formal verification. His work centers on developing rigorous, optimization-based methods to guarantee both safety and liveness in autonomous agents. Borquez’s major contribution is his pioneering use of Hamilton–Jacobi (HJ) reachability analysis to create a novel filtering framework that minimally modifies a nominal controller to enforce system constraints, effectively co-optimizing performance and safety. His most cited paper, "On Safety and Liveness Filtering Using Hamilton–Jacobi Reachability Analysis" (2024, 8 citations), introduces this powerful approach, which has quickly gained traction for its ability to provide formal guarantees without sacrificing agility. Though early in his career, Borquez’s work is already influencing the design of trustworthy autonomous vehicles and robots, bridging the gap between theoretical control theory and practical deployment. His research stands out for its elegant mathematical rigor and direct applicability, marking him as a promising voice in the next generation of safety engineers.
Research Focus
Key Achievements
Top Papers
- 1