Automated-Sampling-Based Stability Verification and DOA Estimation for Nonlinear Systems

DOI10.1109/TAC.2018.2797196zbMath1423.93350OpenAlexW2793297853MaRDI QIDQ4559510

Mircea Lazar, Ruxandra Bobiti

Publication date: 4 December 2018

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2018.2797196

Mathematics Subject Classification ID

Lyapunov and storage functions (93D30) Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05) Sampled-data control/observation systems (93C57) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (6)

Automated Nonlinear Control Structure Design by Domain of Attraction Maximization with Eigenvalue and Frequency Domain Specifications ⋮ Lyapunov function computation for autonomous systems with complex dynamic behavior ⋮ Attraction domain analysis for steady states of Markovian open quantum systems ⋮ Inner-estimating domains of attraction for discrete-time non-polynomial systems with piecewise difference inclusions ⋮ Estimating the region of attraction based on a polynomial Lyapunov function ⋮ Inner-approximating domains of attraction for discrete-time switched systems via multi-step multiple Lyapunov-like functions

This page was built for publication: Automated-Sampling-Based Stability Verification and DOA Estimation for Nonlinear Systems