A Multi-Pronged Approach to Computational Challenges in HJ Reachability
Mo Chen
Simon Fraser University
Autonomous mobile robots are becoming pervasive in everyday life, and guarantees on safety and performance have become increasingly important. In this seminar, we take a multi-pronged approach for tackling the computational challenges of Hamilton-Jacobi (HJ) reachability: dimensionality reduction, higher-level logic, and low-level software and hardware optimizations. In addition, we will highlight the importance of addressing the computational challenges with recent novel applications of HJ reachability.
