Automated-sampling-based stability verification and DOA estimation for nonlinear systems. (English) Zbl 1423.93350
Editorial remark: No review copy delivered.
MSC:
93D30 | Lyapunov and storage functions |
68Q60 | Specification and verification (program logics, model checking, etc.) |
93C57 | Sampled-data control/observation systems |
93D05 | Lyapunov and other classical stabilities (Lagrange, Poisson, \(L^p, l^p\), etc.) in control theory |