6 citations · 7 across the 3 of their papers we have counts for
3 papers
eess.SY2025
Threshold Strategy for Leaking Corner-Free Hamilton-Jacobi Reachability with Decomposed Computations
Chong He, Mugilan Mariappan, Keval Vora +1
Hamilton-Jacobi (HJ) Reachability is widely used to compute value functions for states satisfying specific control objectives. However, it becomes intractable for high-dimensional…
eess.SY2024★ 1 cited
Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability
Frank J. Jiang, Kaj Munhoz Arfvidsson, Chong He +2
In this paper, we present an approach for guaranteeing the completion of complex tasks with cyber-physical systems (CPS). Specifically, we leverage temporal logic trees constructed…
eess.SY2022★ 6 cited
OptimizedDP: An Efficient, User-friendly Library For Optimal Control and Dynamic Programming
Minh Bui, Hanyang Hu, Chong He +4
This paper introduces OptimizedDP, a high-performance software library for several common grid-based dynamic programming (DP) algorithms used in control theory and robotics. Specif…