Fetching the paper…
Reading the bibliography…
Control barrier functions (CBF) have become popular as a safety filter to guarantee the safety of nonlinear dynamical systems for arbitrary inputs.
R. Bellman, “Dynamic programming,” Science , vol. 153, no. 3731, pp. 34–37, 1966
1966
Earlier work this paper cites.
A. Federgruen, P. J. Schweitzer, and H. C. Tijms, “Contraction mappings underlying undiscounted markov decision problems,” Journal of Mathematical Analysis and Applications , vol. 65, no. 3, pp. 711–730, 1978
1978
Earlier work this paper cites.
S. Liu, C. Liu, and J. Dolan, “Safe control under input limits with neural control barrier functions,” in Conference on Robot Learning . PMLR, 2023, pp. 1970–1980
1980
Earlier work this paper cites.
B. L. Stevens and F. L. Lewis, “Aircraft control and simulation, john willey& sons,” Inc., New York , pp. 309–316, 1992
1992
Earlier work this paper cites.
M. S. Santos and J. Rust, “Convergence properties of policy iteration,” SIAM Journal on Control and Optimization , vol. 42, no. 6, pp. 2094–2115, 2004
2004
Earlier work this paper cites.
S. Prajna and A. Jadbabaie, “Safety verification of hybrid systems using barrier certificates,” in International Workshop on Hybrid Systems: Computation and Control . Springer, 2004, pp. 477–492
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 Transactions on automatic control , vol. 50, no. 7, pp. 947–957, 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
2007
Earlier work this paper cites.
I. M. Mitchell, “The flexible, extensible and efficient toolbox of level set methods,” Journal of Scientific Computing , vol. 35, pp. 300–329, 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 , vol. 19, no. 2, pp. 337–357, 2013
2013
Earlier work this paper cites.
X. Xu, P. Tabuada, J. W. Grizzle, and A. D. Ames, “Robustness of control barrier functions for safety critical control,” IFAC-PapersOnLine , vol. 48, no. 27, pp. 54–61, 2015
2015
Earlier work this paper cites.
A. D. Ames, X. Xu, J. W. Grizzle, and P. Tabuada, “Control barrier function based quadratic programs for safety critical systems,” IEEE Transactions on Automatic Control , vol. 62, no. 8, pp. 3861–3876, 2016
2016
Earlier work this paper cites.
Q. Nguyen and K. Sreenath, “Exponential control barrier functions for enforcing high relative-degree safety-critical constraints,” in 2016 American Control Conference (ACC) . IEEE, 2016, pp. 322–328
2016
Earlier work this paper cites.
B. Xu and K. Sreenath, “Safe teleoperation of dynamic uavs through control barrier functions,” in 2018 IEEE International Conference on Robotics and Automation (ICRA) . IEEE, 2018, pp. 7848–7855
2018
Earlier work this paper cites.
L. Lindemann and D. V. Dimarogonas, “Control barrier functions for signal temporal logic tasks,” IEEE control systems letters , vol. 3, no. 1, pp. 96–101, 2018
2018
Earlier work this paper cites.
E. Squires, P. Pierpaoli, and M. Egerstedt, “Constructive barrier certificates with applications to fixed-wing aircraft collision avoidance,” in 2018 IEEE Conference on Control Technology and Applications (CCTA) . IEEE, 2018, pp. 1656–1661
2018
Earlier work this paper cites.
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 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS) . IEEE, 2018, pp. 98–106
2018
Earlier work this paper cites.
R. Bobiti and M. Lazar, “Automated-sampling-based stability verification and doa estimation for nonlinear systems,” IEEE Transactions on Automatic Control , vol. 63, no. 11, pp. 3659–3674, 2018
2018
Earlier work this paper cites.
P. Heidlauf, A. Collins, M. Bolender, and S. Bak, “Verification challenges in f-16 ground collision avoidance and other automated maneuvers.” in ARCH@ ADHS , 2018, pp. 208–217
2018
Cited alongside, same era.
J. Betz, A. Heilmeier, A. Wischnewski, T. Stahl, and M. Lienkamp, “Autonomous driving—a crash explained in detail,” Applied Sciences , vol. 9, no. 23, p. 5126, 2019
2019
Cited alongside, same era.
T. Haidegger, “Autonomy for surgical robots: Concepts and paradigms,” IEEE Transactions on Medical Robotics and Bionics , vol. 1, no. 2, pp. 65–76, 2019
2019
Cited alongside, same era.
Y.-C. Chang, N. Roohi, and S. Gao, “Neural lyapunov control,” Advances in neural information processing systems , vol. 32, 2019
2019
Cited alongside, same era.
J. V. Deshmukh, J. P. Kapinski, T. Yamaguchi, and D. Prokhorov, “Learning deep neural network controllers for dynamical systems with safety guarantees,” in 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) . IEEE, 2019, pp. 1–7
H. Zhao, X. Zeng, T. Chen, Z. Liu, and J. Woodcock, “Learning safe neural network controllers with barrier certificates,” Formal Aspects of Computing , vol. 33, pp. 437–455, 2021
2021
Later among the works it cites.
L. Lindemann, H. Hu, A. Robey, H. Zhang, D. Dimarogonas, S. Tu, and N. Matni, “Learning hybrid control barrier functions from data,” in Conference on Robot Learning . PMLR, 2021, pp. 1351–1370
2021
Later among the works it cites.
2021
Later among the works it cites.
J. J. Choi, D. Lee, K. Sreenath, C. J. Tomlin, and S. L. Herbert, “Robust control barrier–value functions for safety-critical control,” in 2021 60th IEEE Conference on Decision and Control (CDC) . IEEE, 2021, pp. 6814–6821
2021
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2019
Cited alongside, same era.
M. Saveriano and D. Lee, “Learning barrier functions for constrained motion planning with dynamical systems,” in 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) . IEEE, 2019, pp. 112–119
2019
Cited alongside, same era.
W. Xiao and C. Belta, “Control barrier functions for systems with high relative degree,” in 2019 IEEE 58th conference on decision and control (CDC) . IEEE, 2019, pp. 474–479
2019
Cited alongside, same era.
J. F. Fisac, N. F. Lugovoy, V. Rubies-Royo, S. Ghosh, and C. J. Tomlin, “Bridging hamilton-jacobi safety analysis and reinforcement learning,” in 2019 International Conference on Robotics and Automation (ICRA) . IEEE, 2019, pp. 8550–8556
2019
Cited alongside, same era.
M. Connors, “Understanding risk in urban air mobility: Moving towards safe operating standards,” NASA, Ames Research Center, Technical Memorandum NASA/TM-2020-5000604, February 2020
2020
Cited alongside, same era.
S. Wilson, P. Glotfelter, L. Wang, S. Mayya, G. Notomista, M. Mote, and M. Egerstedt, “The robotarium: Globally impactful opportunities, challenges, and lessons learned in remote-access, distributed control of multirobot systems,” IEEE Control Systems Magazine , vol. 40, no. 1, pp. 26–44, 2020
2020
Cited alongside, same era.
T. Gurriet, M. Mote, A. Singletary, P. Nilsson, E. Feron, and A. D. Ames, “A scalable safety critical control framework for nonlinear systems,” IEEE Access , vol. 8, pp. 187 249–187 275, 2020
2020
Cited alongside, same era.
M. Srinivasan, A. Dabholkar, S. Coogan, and P. A. Vela, “Synthesis of control barrier functions using a supervised machine learning approach,” in 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) . IEEE, 2020, pp. 7139–7145
2020
Cited alongside, same era.
2021
Later among the works it cites.
C. Liu, T. Arnon, C. Lazarus, C. Strong, C. Barrett, M. J. Kochenderfer et al. , “Algorithms for verifying deep neural networks,” Foundations and Trends® in Optimization , vol. 4, no. 3-4, pp. 244–404, 2021
2021
Later among the works it cites.
K. P. Wabersich and M. N. Zeilinger, “A predictive safety filter for learning-based control of constrained nonlinear dynamical systems,” Automatica , vol. 129, p. 109597, 2021
2021
Later among the works it cites.
2022
Later among the works it cites.
2022
Later among the works it cites.
W. S. Cortez, J. Drgona, A. Tuor, M. Halappanavar, and D. Vrabie, “Differentiable predictive control with safety guarantees: A control barrier function approach,” in 2022 IEEE 61st Conference on Decision and Control (CDC) . IEEE, 2022, pp. 932–938
2022
Later among the works it cites.
C. Dawson, Z. Qin, S. Gao, and C. Fan, “Safe nonlinear control using robust neural lyapunov-barrier functions,” in Conference on Robot Learning . PMLR, 2022, pp. 1724–1735
2022
Later among the works it cites.
B. Dai, P. Krishnamurthy, and F. Khorrami, “Learning a better control barrier function,” in 2022 IEEE 61st Conference on Decision and Control (CDC) . IEEE, 2022, pp. 945–950
2022
Later among the works it cites.
S. Tonkens and S. Herbert, “Refining control barrier functions through hamilton-jacobi reachability,” in 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) . IEEE, 2022, pp. 13 355–13 362
2022
Later among the works it cites.
2023
Closest in time.
S. Zhang, K. Garg, and C. Fan, “Neural graph control barrier functions guided distributed collision-avoidance multi-agent control,” in 7th Annual Conference on Robot Learning , 2023
2023
Closest in time.
2023
Closest in time.
P. Zhao, R. Ghabcheloo, Y. Cheng, H. Abdi, and N. Hovakimyan, “Convex synthesis of control barrier functions under input constraints,” IEEE Control Systems Letters , 2023
2023
Closest in time.