Enforcing robust control guarantees within neural network policies
Priya L. Donti, Melrose Roderick, Mahyar Fazlyab, J. Zico Kolter
Abstract
When designing controllers for safety-critical systems, practitioners often face a challenging tradeoff between robustness and performance. While robust control methods provide rigorous guarantees on system stability under certain worst-case disturbances, they often yield simple controllers that perform poorly in the average (non-worst) case. In contrast, nonlinear control methods trained using deep learning have achieved state-of-the-art performance on many control tasks, but often lack robustness guarantees. In this paper, we propose a technique that combines the strengths of these two approaches: constructing a generic nonlinear control policy class, parameterized by neural networks, that nonetheless enforces the same provable robustness criteria as robust control. Specifically, our approach entails integrating custom convex-optimization-based projection layers into a neural network-based policy. We demonstrate the power of this approach on several domains, improving in average-case performance over existing robust control methods and in worst-case stability over (non-robust) deep RL methods.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext 290eecfe-8fd4-456d-a97e-631fa5645dc6Cited by top-tier papers8
- Safe Pontryagin Differentiable ProgrammingWanxin Jin, Shaoshuai Mou, George J. PappasNeurIPS 2021 · 65 citations
- CROP: Certifying Robust Policies for Reinforcement Learning through Functional SmoothingFan Wu, Linyi Li, Zijian Huang, Yevgeniy Vorobeychik et al.ICLR 2022 · 64 citations
- Neural Lyapunov Control for Discrete-Time SystemsJunlin Wu, Andrew Clark, Yiannis Kantaros, Yevgeniy VorobeychikNeurIPS 2023 · 61 citations
- Learning Barrier Certificates: Towards Safe Reinforcement Learning with Zero Training-time ViolationsYuping Luo, Tengyu MaNeurIPS 2021 · 58 citations
- Recurrent Neural Network Controllers Synthesis with Stability Guarantees for Partially Observed SystemsFangda Gu, He Yin, Laurent El Ghaoui, Murat Arcak et al.AAAI 2022 · 33 citations
Builds on1
Related papers
- Enforcing Hard Linear Constraints in Deep Learning Models with Decision RulesGonzalo E. Constante, Hao Chen, Can LiNeurIPS 2025 · 13 citations
- Safe Controller Synthesis for Nonlinear Systems via Reinforcement Learning and PAC ApproximationXia Zeng, Banglong Liu, Zhenbing Zeng, Zhiming Liu et al.DAC 2024 · 1 citation
- Safe DNN-type Controller Synthesis for Nonlinear Systems via Meta Reinforcement LearningHanrui Zhao, Xia Zeng, Niuniu Qi, Zhengfeng Yang et al.DAC 2023 · 4 citations
- The Power of Learned Locally Linear Models for Nonlinear Policy OptimizationDaniel Pfrommer, Max Simchowitz, Tyler Westenbroek, Nikolai Matni et al.ICML 2023 · 4 citations
- An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate GenerationZhengfeng Yang, Yidan Zhang, Wang Lin, Xia Zeng et al.CAV 2021 · 15 citations
