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 |
