Analysis and Verification of Input-to-State Stability for Nonautonomous Discrete-Time Switched Systems via Semidefinite Programming

DOI10.1109/TAC.2020.3046699zbMath1471.93234OpenAlexW3114244654MaRDI QIDQ4957748

Bodan Liu, Junjie Lu, Zhikun She, Shuzhi Sam Ge

Publication date: 9 September 2021

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

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

zbMATH Keywords

switched systemsinput-to-state stabilitynonautonomousaverage dwell timemechanical verification

Mathematics Subject Classification ID

Semidefinite programming (90C22) Discrete-time control/observation systems (93C55) Input-output approaches in control theory (93D25) Asymptotic stability in control theory (93D20) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Exponential stability (93D23)

Related Items

Safety verification for regime-switching jump diffusions via barrier certificates, Uniform exponential stability criteria with verification for nonautonomous switched nonlinear systems with uncertainty, Analysis and verification of uniform moment exponential stability for stochastic hybrid systems with Poisson jump, Stability analysis of discrete-time switched stochastic non-autonomous systems with external inputs and time-varying delays under partially unstable subsystems