A Dissipativity Approach to Safety Verification for Interconnected Systems

DOI10.1109/TAC.2014.2361595MaRDI QIDQ2982729zbMATH OpenOpenAlexFDO

Authors Samuel Coogan, Murat Arcak

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

Mathematics Subject Classification ID

Control/observation systems governed by ordinary differential equations (93C15) 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)

Cited in

(17)

• Safety verification for distributed parameter systems using barrier functionals
• 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
• Global dissipativity analysis for delayed quaternion-valued neural networks
• Assume-guarantee contracts for continuous-time systems
• Safety criteria for aperiodically forced systems
• Almost dissipativity and ultimate boundedness property for switched nonlinear systems
• Robust exponential quasi‐passivity and global stabilization for uncertain switched nonlinear systems
• A contract negotiation scheme for safety verification of interconnected systems
• Finite-time incremental passivity of switched nonlinear systems and its application
• Adaptive finite-time control for switched nonlinearly parameterized systems with asymptotic tracking
• Input-to-state robust safety of switched nonlinear systems using multiple barrier functions
• Finite-time adaptive fuzzy constrained control of uncertain switched nonlinear systems with zero dynamics
• Compositional performance certification of interconnected systems using ADMM

This page was built for publication: A Dissipativity Approach to Safety Verification for Interconnected Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2982729)