Fetching the paper…
Reading the bibliography…
The growing need for high-performance controllers in safety-critical applications like autonomous driving has been motivating the development of formal safety verification techniques.
D. Seto, B. Krogh, L. Sha, and A. Chutinan, “The simplex architecture for safe on-line control system upgrades,” in Proceedings of the American Control Conference , vol. 6, 1998, pp. 3504–3508
1998
Earlier work this paper cites.
H. Chen and F. Allgöwer, “A quasi-infinite horizon nonlinear model predictive control scheme with guaranteed stability,” Automatica , vol. 34, no. 10, pp. 1205 – 1217, 1998
1998
Earlier work this paper cites.
H. Pacejka, Tyre and Vehicle Dynamics , ser. Automotive Engineering Series. Butterworth-Heinemann, 2002
2002
Earlier work this paper cites.
S. Prajna and A. Jadbabaie, “Safety verification of hybrid systems using barrier certificates,” in Hybrid Systems: Computation and Control , R. Alur and G. J. Pappas, Eds. Springer, 2004, pp. 477–492
2004
Earlier work this paper cites.
P. Wieland and F. Allgöwer, “Constructive safety using control barrier functions,” IFAC Proceedings , vol. 40, no. 12, pp. 462–467, 2007
2007
Earlier work this paper cites.
J. H. Gillula and C. J. Tomlin, “Guaranteed safe online learning of a bounded system,” in IEEE Conference on Intelligent Robots and Systems , 2011, pp. 2979–2984
2011
Earlier work this paper cites.
R. Rajamani, Vehicle Dynamics and Control , ser. Mechanical Engineering Series. Springer US, 2011
2011
Earlier work this paper cites.
S. Ross, G. Gordon, and D. Bagnell, “A reduction of imitation learning and structured prediction to no-regret online learning,” in Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics , vol. 15, 2011, pp. 627–635
2011
Earlier work this paper cites.
A. Liniger, A. Domahidi, and M. Morari, “Optimization-based autonomous racing of 1:43 scale rc cars,” Optimal Control Applications and Methods , vol. 36, no. 5, pp. 628–647, Jul 2014
2014
Earlier work this paper cites.
F. Berkenkamp, R. Moriconi, A. P. Schoellig, and A. Krause, “Safe learning of regions of attraction for uncertain, nonlinear systems with Gaussian processes,” in 2016 IEEE 55th Conference on Decision and Control, CDC 2016 , 2016, pp. 4661–4666
2016
Earlier work this paper cites.
C. Conte, C. N. Jones, M. Morari, and M. N. Zeilinger, “Distributed synthesis and stability of cooperative distributed model predictive control for linear systems,” Automatica , vol. 69, pp. 117 – 125, 2016
2016
Cited alongside, same era.
J. Achiam, D. Held, A. Tamar, and P. Abbeel, “Constrained policy optimization,” in Proceedings of the 34th International Conference on Machine Learning , vol. 70. PMLR, 2017, pp. 22–31
2017
Cited alongside, same era.
P. F. Lima, J. Mårtensson, and B. Wahlberg, “Stability conditions for linear time-varying model predictive control in autonomous driving,” in IEEE Conference on Decision and Control , 2017, pp. 2775–2782
2017
Cited alongside, same era.
K. P. Wabersich and M. N. Zeilinger, “Scalable synthesis of safety certificates from data with application to learning-based control,” in European Control Conference , 2018, pp. 1691–1697
2018
Cited alongside, same era.
M. ApS, The MOSEK optimization toolbox for MATLAB , 2019
2019
Later among the works it cites.
L. Hewing, K. P. Wabersich, M. Menner, and M. N. Zeilinger, “Learning-Based Model Predictive Control: Toward Safe Learning in Control,” Annual Review of Control, Robotics, and Autonomous Systems , vol. 3, no. 1, pp. 269–296, 2020
2020
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 Proceedings of the 2nd Conference on Learning for Dynamics and Control , vol. 120. PMLR, 2020, pp. 708–717
2020
Later among the works it cites.
A. Chakrabarty, C. Danielson, S. Di Cairano, and A. Raghunathan, “Active learning for estimating reachable sets for systems with unknown dynamics,” IEEE Transactions on Cybernetics , pp. 1–12, 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…
L. Wang, D. Han, and M. Egerstedt, “Permissive Barrier Certificates for Safe Stabilization Using Sum-of-squares,” Proceedings of the American Control Conference , vol. 2018-June, pp. 585–590, 2018
2018
Cited alongside, same era.
K. P. Wabersich and M. N. Zeilinger, “Linear model predictive safety certification for learning-based control,” in IEEE Conference on Decision and Control , 2018, pp. 7130–7135
2018
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 European Control Conference , 2019
2019
Cited alongside, same era.
J. F. Fisac, A. K. Akametalu, M. N. Zeilinger, S. Kaynama, J. Gillula, and C. J. Tomlin, “A General Safety Framework for Learning-Based Control in Uncertain Robotic Systems,” IEEE Transactions on Automatic Control , vol. 64, no. 7, pp. 2737–2752, 2019
2019
Cited alongside, same era.
R. Verschueren et al. , “acados: a modular open-source framework for fast embedded optimal control,” 2019
2019
Cited alongside, same era.
2020
Later among the works it cites.
J. L. Vazquez, M. Bruhlmeier, A. Liniger, A. Rupenyan, and J. Lygeros, “Optimization-based hierarchical motion planning for autonomous racing,” in IEEE International Conference on Intelligent Robots and Systems , 2020
2020
Later among the works it cites.
2020
Later among the works it cites.
K. P. Wabersich, L. Hewing, A. Carron, and M. N. Zeilinger, “Probabilistic model predictive safety certification for learning-based control,” IEEE Transactions on Automatic Control , 2021
2021
Closest in time.