Fetching the paper…
Reading the bibliography…
This paper works towards unifying two popular approaches in the safety control community: Hamilton-Jacobi (HJ) reachability and Control Barrier Functions (CBFs).
L. C. Evans and P. E. Souganidis, “Differential games and representation formulas for solutions of Hamilton-Jacobi-Isaacs equations,” Indiana University Mathematics Journal , 1984
1984
Earlier work this paper cites.
E. Barron and H. Ishii, “The Bellman equation for minimizing the maximum cost,” Nonlinear Analysis: Theory, Methods & Applications , 1989
1989
Earlier work this paper cites.
I. J. Fialho and T. T. Georgiou, “Worst case analysis of nonlinear systems,” IEEE TAC , 1999
1999
Earlier work this paper cites.
J. Lygeros, “On reachability and minimum cost optimal control,” Automatica , 2004
2004
Earlier work this paper cites.
I. M. Mitchell, A. M. Bayen, and C. J. Tomlin, “A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games,” IEEE TAC , July 2005
2005
Earlier work this paper cites.
I. M. Mitchell and J. A. Templeton, “A toolbox of Hamilton-Jacobi solvers for analysis of nondeterministic continuous and hybrid systems,” in Hybrid Systems: Computation and Control , 2005
2005
Earlier work this paper cites.
P. Wieland and F. Allgöwer, “Constructive safety using control barrier functions,” IFAC Proceedings Volumes , vol. 40, no. 12, pp. 462–467, 2007, 7th IFAC Symposium on Nonlinear Control Systems
2007
Earlier work this paper cites.
M. Bardi and I. Capuzzo-Dolcetta, Optimal control and viscosity solutions of Hamilton-Jacobi-Bellman equations . Springer, 2008
2008
Earlier work this paper cites.
F. Camilli, L. Grüne, and F. Wirth, “Control Lyapunov functions and Zubov’s method,” SIAM Journal on Control and Optimization , 2008
2008
Earlier work this paper cites.
A. Altarovici, O. Bokanowski, and H. Zidani, “A general Hamilton-Jacobi framework for non-linear state-constrained control problems,” ESAIM: Control, Optimisation and Calculus of Variations , 2013
2013
Earlier work this paper cites.
J. F. Fisac, M. Chen, C. J. Tomlin, and S. S. Sastry, “Reach-avoid problems with time-varying dynamics, targets and constraints,” in Hybrid Systems: Computation and Control . ACM, 2015
2015
Cited alongside, same era.
L. C. Evans and R. F. Gariepy, Measure theory and fine properties of functions . CRC press, 2015
2015
Cited alongside, same era.
Q. Nguyen and K. Sreenath, “Optimal robust time-varying safety-critical control with application to dynamic walking on moving stepping stones,” ASME Dynamic Sys. and Control Conf. , 2016
2016
Cited alongside, same era.
S. Bansal, M. Chen, S. Herbert, and C. J. Tomlin, “Hamilton-Jacobi reachability: A brief overview and recent advances,” in IEEE CDC , 2017
2017
Cited alongside, same era.
A. Ames, X. Xu, J. W. Grizzle, and P. Tabuada, “Control barrier function based quadratic programs for safety critical systems,” IEEE TAC , 2017
S. L. Herbert, S. Bansal, S. Ghosh, and C. J. Tomlin, “Reachability-based safety guarantees using efficient initializations,” in IEEE CDC , 2019
2019
Later among the works it cites.
R. Cheng, G. Orosz, R. M. Murray, and J. W. Burdick, “End-to-end safe reinforcement learning through barrier functions for safety-critical continuous control tasks,” in AAAI Conf. on AI , 2019
2019
Later among the works it cites.
A. Bajcsy, S. Bansal, E. Bronstein, V. Tolani, and C. J. Tomlin, “An efficient reachability-based framework for provably safe autonomous navigation in unknown environments,” in IEEE CDC , 2019
2019
Later among the works it cites.
A. Taylor, A. Singletary, Y. Yue, and A. Ames, “Learning for safety-critical control with control barrier functions,” in Conference on Learning for Dynamics and Control , 2020
2020
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2017
Cited alongside, same era.
L. Wang, A. Ames, and M. Egerstedt, “Safety barrier certificates for collisions-free multirobot systems,” IEEE Trans. on Robotics , 2017
2017
Cited alongside, same era.
M. Chen, S. L. Herbert, M. S. Vashishtha, S. Bansal, and C. J. Tomlin, “Decomposition of reachable sets and tubes for a class of nonlinear systems,” IEEE TAC , 2018
2018
Cited alongside, same era.
E. Squires, P. Pierpaoli, and M. Egerstedt, “Constructive barrier certificates with applications to fixed-wing aircraft collision avoidance,” in IEEE Conference on Control Technology and Applications , 2018
2018
Cited alongside, same era.
T. Gurriet, A. Singletary, J. Reher, L. Ciarletta, E. Feron, and A. Ames, “Towards a framework for realizable safety critical control through active set invariance,” in ACM/IEEE International Conference on Cyber-Physical Systems , 2018, pp. 98–106
2018
Cited alongside, same era.
M. Jankovic, “Robust control barrier functions for constrained stabilization of nonlinear systems,” Automatica , 2018
2018
Cited alongside, same era.
2021
Closest in time.
J. Zeng, B. Zhang, Z. Li, and K. Sreenath, “Safety-critical control using optimal-decay control barrier function with guaranteed point-wise feasibility,” in American Control Conference , 2021
2021
Closest in time.
S. Herbert, J. J. Choi, S. Sanjeev, M. Gibson, K. Sreenath, and C. J. Tomlin, “Scalable learning of safety guarantees for autonomous systems using Hamilton-Jacobi reachability,” in IEEE ICRA , 2021
2021
Closest in time.
M. Chen, S. Herbert, H. Hu, Y. Pu, J. Fernandez Fisac, S. Bansal, S. Han, and C. J. Tomlin, “Fastrack: a modular framework for real-time motion planning and guaranteed safe tracking,” IEEE TAC , 2021
2021
Closest in time.
2021
Closest in time.
M. Ohnishi, G. Notomista, M. Sugiyama, and M. Egerstedt, “Constraint learning for control tasks with limited duration barrier functions,” Automatica , 2021
2021
Closest in time.