A Dissipativity Approach to Safety Verification for Interconnected Systems
From MaRDI portal
Publication:2982729
DOI10.1109/TAC.2014.2361595zbMath1360.93309OpenAlexW2024267548MaRDI QIDQ2982729
Publication date: 16 May 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2014.2361595
Control/observation systems with incomplete information (93C41) Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05) Input-output approaches in control theory (93D25) Control/observation systems governed by ordinary differential equations (93C15)
Related Items (10)
Almost dissipativity and ultimate boundedness property for switched nonlinear systems ⋮ Assume-guarantee contracts for continuous-time systems ⋮ Global dissipativity analysis for delayed quaternion-valued neural networks ⋮ Robust exponential quasi‐passivity and global stabilization for uncertain switched nonlinear systems ⋮ Compositional performance certification of interconnected systems using ADMM ⋮ Vector incremental \(L_2\)-gain and incremental stability for switched nonlinear systems ⋮ Safety verification of interconnected hybrid systems using barrier certificates ⋮ Exponential quasi-dissipativity and boundedness property for switched nonlinear systems ⋮ Safety stabilization of switched systems with unstable subsystems ⋮ Small-gain theorem for safety verification of interconnected systems
This page was built for publication: A Dissipativity Approach to Safety Verification for Interconnected Systems
