Fetching the paper…
Reading the bibliography…
This paper presents a framework for designing provably safe feedback controllers for sampled-data control affine systems with measurement and actuation uncertainties.
R. E. Moore, Interval analysis . Prentice-Hall, 1966
1966
Earlier work this paper cites.
M. Berz and G. Hoffstätter, “Computation and application of taylor polynomials with interval remainder bounds,” Reliable Computing , vol. 4, no. 1, pp. 83–97, 1998
1998
Earlier work this paper cites.
——, “Global optimization with polynomials and the problem of moments,” SIAM Journal on Optimization , vol. 11, no. 3, pp. 796–817, 2001
2001
Earlier work this paper cites.
J. B. Lasserre, “Semidefinite programming vs. LP relaxations for polynomial programming,” Mathematics of operations research , vol. 27, no. 2, pp. 347–360, 2002
2002
Earlier work this paper cites.
K. Makino and M. Berz, “Taylor models and other validated functional inclusion methods,” International Journal of Pure and Applied Mathematics , vol. 6, pp. 239–316, 2003
2003
Earlier work this paper cites.
S. Prajna and A. Jadbabaie, “Safety verification of hybrid systems using barrier certificates,” in Hybrid Systems: Computation and Control , 2004, pp. 477–492
2004
Earlier work this paper cites.
J. Wolff and M. Buss, “Invariance control design for constrained nonlinear systems,” in Proceedings of the 16th IFAC World Congress , vol. 38, 2005, pp. 37–42
2005
Earlier work this paper cites.
L. Jaulin, M. Kieffer, O. Didrit, and E. Walter, Applied interval analysis . Springer, 2006
2006
Earlier work this paper cites.
A. Wächter and L. T. Biegler, “On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming,” Mathematical programming , vol. 106, no. 1, pp. 25–57, 2006
2006
Earlier work this paper cites.
S. Prajna, A. Jadbabaie, and G. 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.
M. Althoff, O. Stursberg, and M. Buss, “Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization,” in 47th IEEE Conference on Decision and Control . IEEE, 2008, pp. 4042–4048
2008
Earlier work this paper cites.
H. Waki, S. Kim, M. Kojima, M. Muramatsu, and H. Sugimoto, “Algorithm 883: Sparsepop—a sparse semidefinite programming relaxation of polynomial optimization problems,” ACM Transactions on Mathematical Software (TOMS) , vol. 35, no. 2, pp. 1–13, 2008
2008
Earlier work this paper cites.
J.-P. Aubin, Viability theory . Springer Science & Business Media, 2009
2009
Earlier work this paper cites.
R. E. Moore, R. B. Kearfott, and M. J. Cloud, Introduction to interval analysis . SIAM, 2009
2009
Cited alongside, same era.
K. Makino and M. Berz, “Rigorous integration of flows and odes using taylor models,” in Proceedings of the 2009 conference on Symbolic Numeric Computation , 2009, pp. 79–84
2009
Cited alongside, same era.
M. F. Anjos and J. B. Lasserre, Handbook on semidefinite, conic and polynomial optimization . Springer Science & Business Media, 2011, vol. 166
2011
Cited alongside, same era.
A. Ames, J. Grizzle, and P. Tabuada, “Control barrier function based quadratic programs with application to adaptive cruise control,” in IEEE Conference on Decision and Control , 2014, pp. 6271–6278
2014
Cited alongside, same era.
F. Blanchini and S. Miani, Set-theoretic methods in control (2nd edition) . Springer, 2015
2015
L. Wang, E. A. Theodorou, and M. Egerstedt, “Safe learning of quadrotor dynamics using barrier certificates,” in IEEE International Conference on Robotics and Automation (ICRA) . IEEE, 2018, pp. 2460–2465
2018
Later among the works it cites.
A. Ghaffari, I. Abel, D. Ricketts, S. Lerner, and M. Krstić, “Safety verification using barrier certificates with application to double integrator with input saturation and zero-order hold,” in American Control Conference . IEEE, 2018, pp. 4664–4669
2018
Later among the works it cites.
R. Takano and M. Yamakita, “Robust constrained stabilization control using control lyapunov and control barrier function in the presence of measurement noises,” in Conference on Control Technology and Applications (CCTA) . IEEE, 2018, pp. 300–305
2018
Later among the works it cites.
M. Jankovic, “Robust control barrier functions for constrained stabilization of nonlinear systems,” Automatica , vol. 96, pp. 359–367, 2018
2018
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
X. Xu, P. Tabuada, A. Ames, and J. Grizzle, “Robustness of control barrier functions for safety critical control,” in IFAC Conference on Analysis and Design of Hybrid Systems , vol. 48, no. 27, 2015, pp. 54–61
2015
Cited alongside, same era.
S. Hsu, X. Xu, and A. Ames, “Control barrier functions based quadratic programs with application to bipedal robotic walking,” in American Control Conference , 2015, pp. 4542–4548
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,” in ASME Dynamic Systems and Control Conference . ASME Digital Collection, 2016
2016
Cited alongside, same era.
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
Cited alongside, same era.
M. Kimmel and S. Hirche, “Invariance control for safe human–robot interaction in dynamic environments,” IEEE Transactions on Robotics , vol. 33, no. 6, pp. 1327–1342, 2017
2017
Cited alongside, same era.
A. Ames, X. Xu, J. 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, 2017
2017
Cited alongside, same era.
X. Xu, J. W. Grizzle, P. Tabuada, and A. D. Ames, “Correctness guarantees for the composition of lane keeping and adaptive cruise control,” IEEE Transactions on Automation Science and Engineering , vol. 15, no. 3, pp. 1216–1229, 2017
2017
Cited alongside, same era.
B. Xu and K. Sreenath, “Safe teleoperation of dynamic uavs through control barrier functions,” in IEEE International Conference on Robotics and Automation . IEEE, 2018, pp. 7848–7855
2018
Later among the works it cites.
M. Greeff and A. P. Schoellig, “Flatness-based model predictive control for quadrotor trajectory tracking,” in IEEE/RSJ International Conference on Intelligent Robots and Systems . IEEE, 2018, pp. 6740–6745
2018
Later among the works it cites.
G. Yang, C. Belta, and R. Tron, “Self-triggered control for safety critical systems using control barrier functions,” in American Control Conference . IEEE, 2019, pp. 4454–4459
2019
Later among the works it cites.
T. Gurriet, P. Nilsson, A. Singletary, and A. D. Ames, “Realizable set invariance conditions for cyber-physical systems,” in American Control Conference . IEEE, 2019, pp. 3642–3649
2019
Later among the works it cites.
A. Singletary, Y. Chen, and A. D. Ames, “Control barrier functions for sampled-data systems with input delays,” in 59th IEEE Conference on Decision and Control (CDC) . IEEE, 2020, pp. 804–809
2020
Later among the works it cites.
2020
Later among the works it cites.
W. S. Cortez, D. Oetomo, C. Manzie, and P. Choong, “Control barrier functions for mechanical systems: Theory and application to robotic grasping,” IEEE Transactions on Control Systems Technology , pp. 530–545, 2021
2021
Closest in time.
J. Breeden, K. Garg, and D. Panagou, “Control barrier functions in sampled-data systems,” IEEE Control Systems Letters , pp. 367–372, 2021
2021
Closest in time.
MOSEK, The MOSEK optimization toolbox for MATLAB manual. Version 9.3 , 2021. [Online]. Available: http://docs.mosek.com/9.3/toolbox/index.html
2021
Closest in time.