2000 character limit reached
Learning-based Prescribed-Time Safety for Control of Unknown Systems with Control Barrier Functions
Published 12 Mar 2024 in eess.SY and cs.SY | (2403.08054v2)
Abstract: In many control system applications, state constraint satisfaction needs to be guaranteed within a prescribed time. While this issue has been partially addressed for systems with known dynamics, it remains largely unaddressed for systems with unknown dynamics. In this paper, we propose a Gaussian process-based time-varying control method that leverages backstepping and control barrier functions to achieve safety requirements within prescribed time windows for control affine systems. It can be used to keep a system within a safe region or to make it return to a safe region within a limited time window. These properties are cemented by rigorous theoretical results. The effectiveness of the proposed controller is demonstrated in a simulation of a robotic manipulator.
- A. Kshirsagar, G. Hoffman, and A. Biess, “Evaluating guided policy search for human-robot handovers,” IEEE Robotics and Automation Letters, vol. 6, no. 2, pp. 3933–3940, 2021.
- J. Steinhardt and R. Tedrake, “Finite-time regional verification of stochastic non-linear systems,” The International Journal of Robotics Research, vol. 31, no. 7, pp. 901–923, 2012.
- S.-L. Dai, K. Lu, and J. Fu, “Adaptive finite-time tracking control of nonholonomic multirobot formation systems with limited field-of-view sensors,” IEEE Transactions on Cybernetics, vol. 52, no. 10, pp. 10 695–10 708, 2021.
- 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(CDC), 2014, pp. 6271–6278.
- 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, 2017.
- I. Abel, D. Steeves, M. Krstić, and M. Janković, “Prescribed-time safety design for strict-feedback nonlinear systems,” IEEE Transactions on Automatic Control, vol. 69, no. 3, pp. 1464–1479, 2024.
- A. Bertino, P. Naseradinmousavi, and M. Krstić, “Prescribed-time safety filter for a 7-dof robot manipulator: Experiment and design,” IEEE Transactions on Control Systems Technology, vol. 31, no. 4, pp. 1762–1773, 2023.
- A. Li, L. Wang, P. Pierpaoli, and M. Egerstedt, “Formally correct composition of coordinated behaviors using control barrier certificates,” in 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2018, pp. 3723–3729.
- C. Santoyo, M. Dutreix, and S. Coogan, “A barrier function approach to finite-time stochastic system verification and control,” Automatica, vol. 125, p. 109439, 2021.
- K. Garg, R. K. Cosner, U. Rosolia, A. D. Ames, and D. Panagou, “Multi-rate control design under input constraints via fixed-time barrier functions,” IEEE Control Systems Letters, vol. 6, pp. 608–613, 2022.
- A. Polyakov and M. Krstic, “Finite- and fixed-time nonovershooting stabilizers and safety filters by homogeneous feedback,” IEEE Transactions on Automatic Control, vol. 68, no. 11, pp. 6434–6449, 2023.
- A. Taylor, A. Singletary, Y. Yue, and A. Ames, “Learning for safety-critical control with control barrier functions,” in Learning for Dynamics and Control. PMLR, 2020, pp. 708–717.
- S. Yaghoubi, G. Fainekos, and S. Sankaranarayanan, “Training neural network controllers using control barrier functions in the presence of disturbances,” in 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC), 2020, pp. 1–6.
- L. Wang, E. A. Theodorou, and M. Egerstedt, “Safe learning of quadrotor dynamics using barrier certificates,” in 2018 IEEE International Conference on Robotics and Automation (ICRA), 2018, pp. 2460–2465.
- P. Jagtap, G. J. Pappas, and M. Zamani, “Control barrier functions for unknown nonlinear systems using Gaussian processes,” in 2020 59th IEEE Conference on Decision and Control (CDC), 2020, pp. 3699–3704.
- A. Lederer, A. Begzadić, N. Das, and S. Hirche, “Safe learning-based control of elastic joint robots via control barrier functions,” IFAC-PapersOnLine, vol. 56, no. 2, pp. 2250–2256, 2023.
- J.-J. E. Slotine and J. Karl Hedrick, “Robust input-output feedback linearization,” International Journal of control, vol. 57, no. 5, pp. 1133–1139, 1993.
- A. Capone and S. Hirche, “Backstepping for partially unknown nonlinear systems using Gaussian processes,” IEEE Control Systems Letters, vol. 3, no. 2, pp. 416–421, 2019.
- K. Hashimoto, A. Saoud, M. Kishida, T. Ushio, and D. V. Dimarogonas, “Learning-based symbolic abstractions for nonlinear control systems,” Automatica, vol. 146, p. 110646, 2022.
- F. Castaneda, J. J. Choi, W. Jung, B. Zhang, C. J. Tomlin, and K. Sreenath, “Probabilistic safe online learning with control barrier functions,” arXiv preprint arXiv:2208.10733, 2022.
- A. Lederer, J. Umlauft, and S. Hirche, “Uniform error bounds for Gaussian process regression with application to safe control,” Advances in Neural Information Processing Systems, vol. 32, 2019.
- K. K. Hassan et al., “Nonlinear systems,” Departement of Electrical and computer Engineering, Michigan State University, 2002.
- A. Capone, R. Cosner, A. Ames, and S. Hirche, “Safe online dynamics learning with initially unknown models and infeasible safety certificates,” arXiv preprint arXiv:2311.02133, 2023.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.
