Synthesizing Controller for Safe Navigation using Control Density Function (2403.14464v1)
Abstract: We consider the problem of navigating a nonlinear dynamical system from some initial set to some target set while avoiding collision with an unsafe set. We extend the concept of density function to control density function (CDF) for solving navigation problems with safety constraints. The occupancy-based interpretation of the measure associated with the density function is instrumental in imposing the safety constraints. The navigation problem with safety constraints is formulated as a quadratic program (QP) using CDF. The existing approach using the control barrier function (CBF) also formulates the navigation problem with safety constraints as QP. One of the main advantages of the proposed QP using CDF compared to QP formulated using CBF is that both the convergence/stability and safety can be combined and imposed using the CDF. Simulation results involving the Duffing oscillator and safe navigation of Dubin car models are provided to verify the main findings of the paper.
- O. Khatib, “Real-time obstacle avoidance for manipulators and mobile robots,” The international journal of robotics research, vol. 5, no. 1, pp. 90–98, 1986.
- B. Krogh, “A generalized potential field approach to obstacle avoidance control,” in Proc. SME Conf. on Robotics Research: The Next Five Years and Beyond, Bethlehem, PA, 1984, 1984, pp. 11–22.
- M. Z. Romdlony and B. Jayawardhana, “Uniting control lyapunov and control barrier functions,” in 53rd IEEE Conference on Decision and Control. IEEE, 2014, pp. 2293–2298.
- 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.
- 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.
- A. Rantzer, “A dual to lyapunov’s stability theorem,” Systems & Control Letters, vol. 42, no. 3, pp. 161–168, 2001.
- A. Rantzer and S. Prajna, “On analysis and synthesis of safe control laws,” in 42nd Allerton Conference on Communication, Control, and Computing. University of Illinois, 2004, pp. 1468–1476.
- U. Vaidya, “Optimal motion planning using navigation measure,” International Journal of Control, vol. 91, no. 5, pp. 989–998, 2018.
- Y. Chen, M. Ahmadi, and A. D. Ames, “Optimal safe controller synthesis: A density function approach,” in 2020 American Control Conference (ACC). IEEE, 2020, pp. 5407–5412.
- X. Ma, B. Huang, and U. Vaidya, “Optimal quadratic regulation of nonlinear system using koopman operator,” in 2019 American Control Conference (ACC). IEEE, 2019, pp. 4911–4916.
- B. Huang and U. Vaidya, “A convex approach to data-driven optimal control via perron-frobenius and koopman operators,” IEEE Transactions on Automatic Control, 2022.
- H. Yu, J. Moyalan, U. Vaidya, and Y. Chen, “Data-driven optimal control of nonlinear dynamics under safety constraints,” IEEE Control Systems Letters, vol. 6, pp. 2240–2245, 2022.
- J. Moyalan, H. Choi, Y. Chen, and U. Vaidya, “Data-driven optimal control via linear transfer operators: A convex approach,” Automatica, vol. 150, p. 110841, 2023.
- A. Zheng, S. S. Narayanan, and U. Vaidya, “Safe navigation using density functions,” IEEE Robotics and Automation Letters, 2023.
- J. Moyalan, H. Choi, Y. Chen, and U. Vaidya, “Sum of squares based convex approach for optimal control synthesis,” in 2021 29th Mediterranean Conference on Control and Automation (MED). IEEE, 2021, pp. 1270–1275.
- R. Rajaram, U. Vaidya, M. Fardad, and B. Ganapathysubramanian, “Stability in the almost everywhere sense: A linear transfer operator approach,” Journal of Mathematical analysis and applications, vol. 368, no. 1, pp. 144–156, 2010.
- Z. Artstein, “Stabilization with relaxed controls,” Nonlinear Analysis: Theory, Methods & Applications, vol. 7, no. 11, pp. 1163–1173, 1983.
- E. D. Sontag, “A lyapunov-like characterization of asymptotic controllability,” SIAM journal on control and optimization, vol. 21, no. 3, pp. 462–471, 1983.
- P. Wieland and F. Allgöwer, “Constructive safety using control barrier functions,” IFAC Proceedings Volumes, vol. 40, no. 12, pp. 462–467, 2007.