A sampling approach to finding Lyapunov functions for nonlinear discrete-time systems
暂无分享,去创建一个
[1] Pedro J. Zufiria,et al. Cell Mapping Techniques for Tuning Dynamical Systems , 2012 .
[2] Skuli Gudmundsson,et al. Class library in C++ to compute Lyapunov functions for nonlinear systems , 2015 .
[3] Sriram Sankaranarayanan,et al. Simulation-guided lyapunov analysis for hybrid dynamical systems , 2014, HSCC.
[4] Joaquín Carrasco,et al. A Less Conservative LMI Condition for Stability of Discrete-Time Systems With Slope-Restricted Nonlinearities , 2015, IEEE Transactions on Automatic Control.
[5] Fabian R. Wirth,et al. An alternative converse Lyapunov theorem for discrete-time systems , 2014, Syst. Control. Lett..
[6] Luc Jaulin,et al. Applied Interval Analysis , 2001, Springer London.
[7] Mircea Lazar,et al. A delta-sampling verification theorem for discrete-time, possibly discontinuous systems , 2015, HSCC.
[8] C. A. Desoer,et al. Nonlinear Systems Analysis , 1978 .
[9] J.A.W. van der Spek,et al. Cell mapping methods : modifications and extensions , 1994 .
[10] Peter Giesl. On the determination of the basin of attraction of discrete dynamical systems , 2007 .
[11] P. Olver. Nonlinear Systems , 2013 .
[12] Jyotirmoy V. Deshmukh,et al. Discovering Forward Invariant Sets for Nonlinear Dynamical Systems , 2015 .
[13] Thi Xuan Thao Dang. Verification and Synthesis of Hybrid Systems , 2000 .
[14] O. Stursberg,et al. Verification of Uncertain Embedded Systems by Computing Reachable Sets Based on Zonotopes , 2008 .
[15] Martin Berz,et al. Computation and Application of Taylor Polynomials with Interval Remainder Bounds , 1998, Reliab. Comput..
[16] Matthias Althoff,et al. Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization , 2008, 2008 47th IEEE Conference on Decision and Control.
[17] R. Baker Kearfott,et al. Introduction to Interval Analysis , 2009 .
[18] G. Chesi. Domain of Attraction: Analysis and Control via SOS Programming , 2011 .
[19] Siegfried M. Rump,et al. INTLAB - INTerval LABoratory , 1998, SCAN.
[20] Peter J Seiler,et al. SOSTOOLS: Sum of squares optimization toolbox for MATLAB , 2002 .
[21] Antoine Girard,et al. Reachability of Uncertain Linear Systems Using Zonotopes , 2005, HSCC.
[22] Mircea Lazar,et al. On the computation of Lyapunov functions for discrete-time nonlinear systems , 2014, 2014 18th International Conference on System Theory, Control and Computing (ICSTCC).