Fetching the paper…
Reading the bibliography…
Safety is a critical property for control systems in medicine, transportation, manufacturing, and other applications, and can be defined as ensuring positive invariance of a predefined safe set.
Z. Artstein, “Stabilization with relaxed controls,” Nonlinear Analysis: Theory, Methods & Applications , vol. 7, no. 11, pp. 1163–1173, 1983
1983
Earlier work this paper cites.
E. D. Sontag, “A ‘universal’construction of artstein’s theorem on nonlinear stabilization,” Systems & control letters , vol. 13, no. 2, pp. 117–123, 1989
1989
Earlier work this paper cites.
J.-P. Aubin and H. Frankowska, “Viability kernel of control systems,” in Nonlinear Synthesis: Proceedings of a IIASA Workshop held in Sopron, Hungary June 1989 . Springer, 1991, pp. 12–33
1991
Earlier work this paper cites.
A. Papachristodoulou and S. Prajna, “On the construction of Lyapunov functions using the sum of squares decomposition,” in Proceedings of the 41st IEEE Conference on Decision and Control, 2002. , vol. 3. IEEE, 2002, pp. 3482–3487
2002
Earlier work this paper cites.
T. A. Henzinger, R. Jhala, and R. Majumdar, “Counterexample-guided control,” in International Colloquium on Automata, Languages, and Programming . Springer, 2003, pp. 886–902
2003
Earlier work this paper cites.
P. A. Parrilo, “Semidefinite programming relaxations for semialgebraic problems,” Mathematical programming , vol. 96, no. 2, pp. 293–320, 2003
2003
Earlier work this paper cites.
J. Lofberg, “Yalmip: A toolbox for modeling and optimization in matlab,” in 2004 IEEE international conference on robotics and automation (IEEE Cat. No. 04CH37508) . IEEE, 2004, pp. 284–289
2004
Earlier work this paper cites.
S. Ratschan and Z. She, “Safety verification of hybrid systems by constraint propagation-based abstraction refinement,” ACM Transactions on Embedded Computing Systems (TECS) , vol. 6, no. 1, pp. 8–es, 2007
2007
Earlier work this paper cites.
S. Prajna, A. Jadbabaie, and G. J. Pappas, “A framework for worst-case and stochastic safety verification using barrier certificates,” IEEE Transactions on Automatic Control , vol. 52, no. 8, pp. 1415–1428, 2007
2007
Earlier work this paper cites.
F. Blanchini and S. Miani, Set-Theoretic Methods in Control . Springer, 2008, vol. 78
2008
Earlier work this paper cites.
J.-P. Aubin, A. M. Bayen, and P. Saint-Pierre, Viability Theory: New Directions . Springer Science & Business Media, 2011
2011
Earlier work this paper cites.
T. Mejstrik, “Some remarks on Nagumo’s theorem,” Czechoslovak mathematical journal , vol. 62, pp. 235–242, 2012
2012
Earlier work this paper cites.
J. Bochnak, M. Coste, and M.-F. Roy, Real Algebraic Geometry . Springer Science & Business Media, 2013, vol. 36
2013
Earlier work this paper cites.
N. Dinh and V. Jeyakumar, “Farkas’ lemma: three decades of generalizations for mathematical optimization,” Top , vol. 22, no. 1, pp. 1–22, 2014
2014
Earlier work this paper cites.
A. D. Ames, J. W. Grizzle, and P. Tabuada, “Control barrier function based quadratic programs with application to adaptive cruise control,” in 53rd IEEE Conference on Decision and Control . IEEE, 2014, pp. 6271–6278
2014
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 Proceedings of the 18th international conference on hybrid systems: computation and control , 2015, pp. 11–20
2015
Cited alongside, same era.
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
Cited alongside, same era.
A. A. Ahmadi, G. Hall, A. Papachristodoulou, J. Saunderson, and Y. Zheng, “Improving efficiency and scalability of sum of squares optimization: Recent advances and limitations,” in 2017 IEEE 56th annual conference on decision and control (CDC) . IEEE, 2017, pp. 453–462
2017
Cited alongside, same era.
Y. Chen, H. Peng, and J. Grizzle, “Obstacle avoidance for low-speed autonomous vehicles with barrier function,” IEEE Transactions on Control Systems Technology , vol. 26, no. 1, pp. 194–206, 2017
J. Breeden and D. Panagou, “Guaranteed safe spacecraft docking with control barrier functions,” IEEE Control Systems Letters , vol. 6, pp. 2000–2005, 2021
2021
Later among the works it cites.
V. Kurtz, P. M. Wensing, and H. Lin, “Control barrier functions for singularity avoidance in passivity-based manipulator control,” in 2021 60th IEEE Conference on Decision and Control (CDC) . IEEE, 2021, pp. 6125–6130
2021
Later among the works it cites.
H. Parwana, A. Mustafa, and D. Panagou, “Trust-based rate-tunable control barrier functions for non-cooperative multi-agent systems,” in 2022 IEEE 61st Conference on Decision and Control (CDC) . IEEE, 2022, pp. 2222–2229
2022
Closest in time.
P. Mestres and J. Cortés, “Optimization-based safe stabilizing feedback with guaranteed region of attraction,” IEEE Control Systems Letters , vol. 7, pp. 367–372, 2022
2022
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2017
Cited alongside, same era.
A. D. Ames, S. Coogan, M. Egerstedt, G. Notomista, K. Sreenath, and P. Tabuada, “Control barrier functions: Theory and applications,” in 2019 18th European control conference (ECC) . IEEE, 2019, pp. 3420–3431
2019
Cited alongside, same era.
P. Ong and J. Cortés, “Universal formula for smooth safe stabilization,” in 2019 IEEE 58th conference on decision and control (CDC) . IEEE, 2019, pp. 2373–2378
2019
Cited alongside, same era.
W. S. Cortez and D. V. Dimarogonas, “Correct-by-design control barrier functions for euler-lagrange systems with input constraints,” in 2020 American Control Conference (ACC) . IEEE, 2020, pp. 950–955
2020
Cited alongside, same era.
A. Singletary, Y. Chen, and A. D. Ames, “Control barrier functions for sampled-data systems with input delays,” in 2020 59th IEEE Conference on Decision and Control (CDC) . IEEE, 2020, pp. 804–809
2020
Cited alongside, same era.
M. F. Reis, A. P. Aguiar, and P. Tabuada, “Control barrier function-based quadratic programs introduce undesirable asymptotically stable equilibria,” IEEE Control Systems Letters , vol. 5, no. 2, pp. 731–736, 2020
2020
Cited alongside, same era.
P. Jagtap, A. Swikir, and M. Zamani, “Compositional construction of control barrier functions for interconnected control systems,” in Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control , 2020, pp. 1–11
2020
Cited alongside, same era.
W. Xiao and C. Belta, “High-order control barrier functions,” IEEE Transactions on Automatic Control , vol. 67, no. 7, pp. 3655–3662, 2021
2021
Cited alongside, same era.
J. Breeden and D. Panagou, “High relative degree control barrier functions under input constraints,” in 2021 60th IEEE Conference on Decision and Control (CDC) . IEEE, 2021, pp. 6119–6124
2021
Cited alongside, same era.
W. Xiao, C. A. Belta, and C. G. Cassandras, “Sufficient conditions for feasibility of optimal control problems using control barrier functions,” Automatica , vol. 135, p. 109960, 2022
2022
Closest in time.
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
Closest in time.
C. Dawson, S. Gao, and C. Fan, “Safe control with learned certificates: A survey of neural Lyapunov, barrier, and contraction methods for robotics and control,” IEEE Transactions on Robotics , 2023
2023
Closest in time.
2023
Closest in time.
M. Schneeberger, F. Dörfler, and S. Mastellone, “Sos construction of compatible control lyapunov and barrier functions,” IFAC-PapersOnLine , vol. 56, no. 2, pp. 10 428–10 434, 2023
2023
Closest in time.
H. Dai and F. Permenter, “Convex synthesis and verification of control-Lyapunov and barrier functions with input constraints,” in 2023 American Control Conference (ACC) . IEEE, 2023, pp. 4116–4123
2023
Closest in time.
A. R. Kumar, K.-C. Hsu, P. J. Ramadge, and J. F. Fisac, “Fast, smooth, and safe: Implicit control barrier functions through reach-avoid differential dynamic programming,” IEEE Control Systems Letters , 2023
2023
Closest in time.
K. P. Wabersich, A. J. Taylor, J. J. Choi, K. Sreenath, C. J. Tomlin, A. D. Ames, and M. N. Zeilinger, “Data-driven safety filters: Hamilton-jacobi reachability, control barrier functions, and predictive methods for uncertain systems,” IEEE Control Systems Magazine , vol. 43, no. 5, pp. 137–177, 2023
2023
Closest in time.
A. Salamati, A. Lavaei, S. Soudjani, and M. Zamani, “Data-driven verification and synthesis of stochastic systems via barrier certificates,” Automatica , vol. 159, p. 111323, 2024
2024
Closest in time.
H. Zhang, J. Wu, Y. Vorobeychik, and A. Clark, “Exact verification of relu neural control barrier functions,” Advances in Neural Information Processing Systems , vol. 36, 2024
2024
Closest in time.