Exponential Stability of Parametric Optimization-Based Controllers via Lur'e Contractivity
Abstract: In this letter, we investigate sufficient conditions for the exponential stability of LTI systems driven by controllers derived from parametric optimization problems. Our primary focus is on parametric projection controllers, namely parametric programs whose objective function is the squared distance to a nominal controller. Leveraging the virtual system method of analysis and a novel contractivity result for Lur'e systems, we establish a sufficient LMI condition for the exponential stability of an LTI system with a parametric projection-based controller. Separately, we prove additional results for single-integrator systems. Finally, we apply our results to state-dependent saturated control systems and control barrier function-based control and provide numerical simulations.
- Control barrier function based quadratic programs for safety critical systems. IEEE Transactions on Automatic Control, 62(8):3861–3876, 2017. doi:10.1109/TAC.2016.2638961.
- V. Andrieu and S. Tarbouriech. LMI conditions for contraction and synchronization. In IFAC Symposium on Nonlinear Control Systems, volume 52, pages 616–621, 2019. doi:10.1016/j.ifacol.2019.12.030.
- Non-Linear Parametric Optimization. 1982, ISBN 9783034863285. doi:10.1007/978-3-0348-6328-5.
- Time-varying optimization of LTI systems via projected primal-dual gradient flows. IEEE Transactions on Control of Network Systems, 9(1):474–486, 2022. doi:10.1109/TCNS.2021.3112762.
- Predictive Control for Linear and Hybrid Systems. Cambridge University Press, 2017, ISBN 1107016886.
- F. Bullo. Contraction Theory for Dynamical Systems. Kindle Direct Publishing, 1.1 edition, 2023, ISBN 979-8836646806. URL: https://fbullo.github.io/ctds.
- L. D’Alto and M. Corless. Incremental quadratic stability. Numerical Algebra, Control and Optimization, 3:175–201, 2013. doi:10.3934/naco.2013.3.175.
- F. Facchinei and J.-S. Pang. Finite-Dimensional Variational Inequalities and Complementarity Problems. Springer, 2003, ISBN 978-0-387-95581-0. doi:10.1007/b97544.
- A. V. Fiacco. Sensitivity analysis for nonlinear programming using penalty methods. Mathematical Programming, 10(1):287–311, 1976. doi:10.1007/bf01580677.
- LMI conditions for contraction, integral action, and output feedback stabilization for a class of nonlinear systems. Automatica, 154:111106, 2023. doi:10.1016/j.automatica.2023.111106.
- A. Granas and J. Dugundji. Fixed Point Theory. Springer, 2003, ISBN 978-1-4419-1805-5. doi:10.1007/978-0-387-21593-8.
- M. Jankovic. Robust control barrier functions for constrained stabilization of nonlinear systems. Automatica, 96:359–367, 2018. doi:10.1016/j.automatica.2018.07.004.
- Characterizing safety: Minimal control barrier functions from scalar comparison systems. IEEE Control Systems Letters, 5(2):523–528, 2021. doi:10.1109/LCSYS.2020.3003887.
- Robinson’s counterexample and regularity properties of optimization-based controllers. arXiv e-print:2311.13167, 2023. URL: https://arxiv.org/abs/2311.13167.
- P. Mestres and J. Cortés. Optimization-based safe stabilizing feedback with guaranteed region of attraction. IEEE Control Systems Letters, 7:367–372, 2023. doi:10.1109/LCSYS.2022.3188934.
- Continuity and smoothness properties of nonlinear optimization-based feedback controllers. In IEEE Conf. on Decision and Control, pages 151–158, 2015. doi:10.1109/CDC.2015.7402101.
- I. Pólik and T. Terlaky. A survey of the S-lemma. SIAM Review, 49(3):371–418, 2007. doi:10.1137/S003614450444614X.
- The Yakubovich S-Lemma revisited: Stability and contractivity in non-Euclidean norms. SIAM Journal on Control and Optimization, 61(4):1955–1978, 2023. doi:10.1137/22M1512600.
- Control barrier function-based quadratic programs introduce undesirable asymptotically stable equilibria. IEEE Control Systems Letters, 5(2):731–736, 2021. doi:10.1109/LCSYS.2020.3004797.
- E. K. Ryu and S. Boyd. Primer on monotone operator methods. Applied Computational Mathematics, 15(1):3–43, 2016.
- X. Tan and D. V. Dimarogonas. On the undesired equilibria induced by control barrier function based quadratic programs. Automatica, 159:111359, 2024. doi:10.1016/j.automatica.2023.111359.
- W. Wang and J. J. Slotine. On partial contraction analysis for coupled nonlinear oscillators. Biological Cybernetics, 92(1):38–53, 2005. doi:10.1007/s00422-004-0527-x.
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.