Robustness of Control Barrier Functions for Safety Critical Control

E. Sontag, “A ’universal’ contruction of Artstein’s theorem on nonlinear stabilization,” Systems & Control Letters , vol. 13, pp. 117–123, 1989

1989

Earlier work this paper cites.

P. A. Ioannou and C.-C. C. Chien, “Autonomous intelligent cruise control,” Vehicular Technology, IEEE Transactions on , vol. 42, no. 4, pp. 657–672, 1993

1993

Earlier work this paper cites.

Y. Lin, E. Sontag, and Y. Wang, “A smooth converse lyapunov theorem for robust stability,” SIAM Journal on Control and Optimization , vol. 34, no. 1, pp. 124–160, 1996

1996

Earlier work this paper cites.

R. A. Freeman and P. V. Kokotovic, “Inverse optimality in robust stabilization,” SIAM Journal on Control and Optimization , vol. 34, no. 4, pp. 1365–1391, 1996

1996

Earlier work this paper cites.

D. G. Luenberger, Optimization by Vector Space Methods . Wiley, 1997

1997

Earlier work this paper cites.

D. P. Bertsekas, Nonlinear programming . Athena Scientific, 1999

1999

Earlier work this paper cites.

H. K. Khalil, Nonlinear Systems , 3rd ed. Prentice Hall, 2002

2002

Earlier work this paper cites.

K. Vogel, “A comparison of headway and time to collision as safety indicators,” Accident Analysis & Prevention , vol. 35, no. 3, pp. 427 – 433, 2003

2003

Cited alongside, same era.

S. P. Boyd and L. Vandenberghe, Convex optimization . Cambridge university press, 2004

2004

Cited alongside, same era.

A. Bacciotti and L. Rosier, Liapunov functions and stability in control theory . Springer, 2005

2005

Cited alongside, same era.

S. Prajna and A. Rantzer, “Convex programs for temporal verification of nonlinear dynamical systems,” in SIAM Journal of Control and Optimization , vol. 46, no. 3, 2007, pp. 999–1021

2007

Cited alongside, same era.

S. Prajna, A. Jadbabaie, and G. J. Pappas, “A framework for worst-case and stochastic safety verification using barrier certificates,” Automatic Control, IEEE Transactions on , vol. 52, no. 8, pp. 1415–1428, 2007

2007

K. J. Aström and R. M. Murray, Feedback systems: an introduction for scientists and engineers . Princeton university press, 2010

2010

Later among the works it cites.

H. Kong, F. He, X. Song, W. Hung, and M. Gu, “Exponential-condition-based barrier certificate generation for safety verification of hybrid systems,” in CAV¡¯13, volume 8044 of LNCS . Springer, 2013, pp. 242–257

2013

Later among the works it cites.

L. Dai, T. Gan, B. Xia, and N. Zhan, “Barrier certificates revisited,” 2013, (preprint)

2013

Later among the works it cites.

M. Z. Romdlony and B. Jayawardhana, “Uniting control Lyapunov and control barrier functions,” in IEEE Conference on Decision and Control , 2014, pp. 2293–2298

2014

Later among the works it cites.

A. D. Ames, J. W. Grizzle, and P. Tabuada, “Control barrier function based quadratic programs with application to adaptive cruise control,” in IEEE Conference on Decision and Control , 2014