Formal Synthesis of Lyapunov Neural Networks

Y. Long and M. Bayoumi, “Feedback stabilization: Control lyapunov functions modelled by neural networks,” in CDC . IEEE, 1993, pp. 2812–2814

1993

Earlier work this paper cites.

D. V. Prokhorov, “A lyapunov machine for stability analysis of nonlinear systems,” in ICNN , vol. 2. IEEE, 1994, pp. 1028–1031

1994

Earlier work this paper cites.

G. Serpen, “Empirical approximation for lyapunov functions with artificial neural nets,” in Proceedings. International Joint Conference on Neural Networks, 2005. , vol. 2. IEEE, 2005, pp. 735–740

2005

Earlier work this paper cites.

V. Petridis and S. Petridis, “Construction of neural network based lyapunov functions,” in IJCNN . IEEE, 2006, pp. 5059–5065

2006

Earlier work this paper cites.

A. Solar-Lezama, L. Tancau, R. Bodik, S. Seshia, and V. Saraswat, “Combinatorial sketching for finite programs,” ACM Sigplan Notices , vol. 41, no. 11, pp. 404–415, 2006

2006

Earlier work this paper cites.

L. de Moura and N. Bjørner, “Z3: An efficient SMT solver,” in TACAS , ser. LNCS, vol. 4963. Springer, 2008, pp. 337–340

2008

Earlier work this paper cites.

N. Noroozi, P. Karimaghaee, F. Safaei, and H. Javadi, “Generation of lyapunov functions by neural networks,” in World Congress on Engineering , 2008

2008

Earlier work this paper cites.

Z. She, B. Xia, R. Xiao, and Z. Zheng, “A semi-algebraic approach for asymptotic stability analysis,” Nonlinear Analysis: Hybrid Systems , vol. 3, no. 4, pp. 588–596, 2009

2009

Earlier work this paper cites.

S. Ratschan and Z. She, “Providing a basin of attraction to a target region of polynomial systems by computation of lyapunov-like functions,” SIAM J. Control and Optimization , 2010

2010

Earlier work this paper cites.

A. A. Ahmadi, M. Krstic, and P. A. Parrilo, “A globally asymptotically stable polynomial vector field with no polynomial lyapunov function,” in CDC-ECE . IEEE, 2011, pp. 7579–7580

2011

Cited alongside, same era.

D. Jovanovic and L. de Moura, “Solving non-linear arithmetic,” in IJCAR , ser. LNCS, vol. 7364. Springer, 2012, pp. 339–354

2012

Cited alongside, same era.

S. Sankaranarayanan, X. Chen, and E. Abraham, “Lyapunov function synthesis using handelman representations,” IFAC Proceedings Volumes , vol. 46, no. 23, pp. 576–581, 2013

2013

Cited alongside, same era.

Z. She, H. Li, B. Xue, Z. Zheng, and B. Xia, “Discovering polynomial lyapunov functions for continuous dynamical systems,” Journal of Symbolic Computation , vol. 58, pp. 41–63, 2013

2013

Cited alongside, same era.

M. A. B. Sassi, S. Sankaranarayanan, X. Chen, and E. Ábrahám, “Linear relaxations of polynomial positivity for polynomial lyapunov function synthesis,” IMA J. Math. Control & Information , vol. 33, no. 3, pp. 723–756, 2016

2016

Later among the works it cites.

A. Papachristodoulou, J. Anderson, G. Valmorbida, S. Prajna, P. Seiler, and P. Parrilo, “Sostools version 3.03. sum of squares optimization toolbox for matlab,” 2018

2018

Later among the works it cites.

S. M. Richards, F. Berkenkamp, and A. Krause, “The lyapunov neural network: Adaptive stability certification for safe learning of dynamical systems,” in CoRL , ser. Proceedings of Machine Learning Research, vol. 87. PMLR, 2018, pp. 466–476

2018

Later among the works it cites.

C. F. Verdier and M. M. Jr., “Formal synthesis of analytic controllers for sampled-data systems via genetic programming,” in CDC . IEEE, 2018, pp. 4896–4901

2018

Later among the works it cites.