Affiliation:
1. CNRS, LAAS, Toulouse, France
Funder
Czech Science Foundation
European Union’s Horizon 2020 Research and Innovation Programme through the Marie Skłodowska-Curie Actions
AI Interdisciplinary Institute ANITI funding, through the French “Investing for the Future PIA3” Program
National Research Foundation, Prime Minister’s Office, Singapore under its Campus for Research Excellence and Technological Enterprise (CREATE) Programme
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Control and Optimization,Control and Systems Engineering
Reference12 articles.
1. Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming
2. Stability analysis using quadratic constraints for systems with neural network controllers;yin;arXiv 2006 07579,2020
3. Series on Optimization and Its Applications
4. Sparse moment-sum-of-squares relaxations for nonlinear dynamical systems with guaranteed convergence;schlosser;aXiv 2012 05572,2020
5. The Stability of Saturated Linear Dynamical Systems Is Undecidable
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献