Stability Analysis using Quadratic Constraints for Systems with Neural Network Controllers

G. Zames and P. L. Falb, “Stability conditions for systems with monotone and slope-restricted nonlinearities,” SIAM Journal on Control , vol. 6, no. 1, pp. 89–108, 1968

1968

Earlier work this paper cites.

D. A. Pomerleau, ALVINN: An Autonomous Land Vehicle in a Neural Network . San Francisco, CA, USA: Morgan Kaufmann Publishers Inc., 1989, p. 305–313

1989

Earlier work this paper cites.

R. J. Williams, “Simple statistical gradient-following algorithms for connectionist reinforcement learning,” Mach. Learn. , vol. 8, no. 3–4, p. 229–256, May 1992

1992

Earlier work this paper cites.

A. U. Levin and K. S. Narendra, “Control of nonlinear dynamical systems using neural networks: controllability and stabilization,” IEEE Transactions on Neural Networks , vol. 4, no. 2, pp. 192–206, 1993

1993

Earlier work this paper cites.

A. Megretski and A. Rantzer, “System analysis via integral quadratic constraints,” IEEE Transactions on Automatic Control , vol. 42, no. 6, pp. 819–830, June 1997

1997

Earlier work this paper cites.

H. Hindi and S. Boyd, “Analysis of linear systems with saturation using convex optimization,” in Proceedings of the 37th IEEE Conference on Decision and Control , vol. 1, 1998, pp. 903–908 vol.1

1998

Earlier work this paper cites.

S. Kakade, “A natural policy gradient,” in Proceedings of the 14th International Conference on Neural Information Processing Systems: Natural and Synthetic , ser. NIPS’01. Cambridge, MA, USA: MIT Press, 2001, p. 1531–1538

2001

Earlier work this paper cites.

H. K. Khalil, Nonlinear systems; 3rd ed. Upper Saddle River, NJ: Prentice-Hall, 2002

2002

Earlier work this paper cites.

V. V. Kulkarni and M. G. Safonov, “All multipliers for repeated monotone nonlinearities,” IEEE Transactions on Automatic Control , vol. 47, no. 7, pp. 1209–1212, 2002

2002

Earlier work this paper cites.

A. Alleyne, “A comparison of alternative intervention strategies for unintended roadway departure (urd) control,” Vehicle System Dynamics , vol. 27, no. 3, pp. 157–186, 1997

Original

2006

Earlier work this paper cites.

J. Peters and S. Schaal, “Reinforcement learning of motor skills with policy gradients,” Neural networks : the official journal of the International Neural Network Society , vol. 21 4, pp. 682–97, 2008

2008

Cited alongside, same era.

H. Fang, Z. Lin, and M. Rotea, “On iqc approach to the analysis and design of linear systems subject to actuator saturation,” Systems & Control Letters , vol. 57, no. 8, pp. 611 – 619, 2008

2008

Cited alongside, same era.

E. Summers and A. Packard, “L2 gain verification for interconnections of locally stable systems using integral quadratic constraints,” in 49th IEEE Conference on Decision and Control (CDC) , 2010, pp. 1460–1465

2010

Cited alongside, same era.

S. Tarbouriech, Stability and Stabilization of Linear Systems with Saturating Actuators . Springer Publishing Company, Incorporated, 2014

2014

Cited alongside, same era.

M. Fetzer, C. W. Scherer, and J. Veenman, “Invariance with dynamic multipliers,” IEEE Transactions on Automatic Control , vol. 63, no. 7, pp. 1929–1942, 2018

2018

Later among the works it cites.

S. Gowal, K. Dvijotham, R. Stanforth, R. Bunel, C. Qin, J. Uesato, R. Arandjelovic, T. Mann, and P. Kohli, “On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models,” p. arXiv:1810.12715, Oct. 2018

Original

2018

Later among the works it cites.

M. Fazlyab, M. Morari, and G. J. Pappas, “Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming,” p. arXiv:1903.01287, Mar. 2019

Original

2019

Later among the works it cites.

M. Fazlyab, A. Robey, H. Hassani, M. Morari, and G. Pappas, “Efficient and accurate estimation of Lipschitz constants for deep neural networks,” in Advances in Neural Information Processing Systems 32 . Curran Associates, Inc., 2019, pp. 11 427–11 438

2019

Later among the works it cites.