Small-gain theorem for safety verification of interconnected systems

DOI10.1016/j.automatica.2022.110178zbMath1485.93504arXiv2011.09173OpenAlexW3104239214WikidataQ113879468 ScholiaQ113879468MaRDI QIDQ2116647

Yiguang Hong, Ziliang Lyu, Xiangru Xu

Publication date: 18 March 2022

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2011.09173

zbMATH Keywords

interconnected systemsbarrier functionsmall-gain theoreminput-to-state safety (ISSf)

Mathematics Subject Classification ID

Multivariable systems, multidimensional control systems (93C35) Input-output approaches in control theory (93D25) Networked control (93B70)

Related Items (1)

Fuzzy observer-based adaptive fixed-time leader-following control for high-order nonlinear multiagent systems

Cites Work

• Unnamed Item
• On characterizations of the input-to-state stability property
• Constrained control of input-output linearizable systems using control sharing barrier functions
• Barrier Lyapunov functions for the control of output-constrained nonlinear systems
• Small-gain theorem for ISS systems and applications
• A Lyapunov formulation of the nonlinear small-gain theorem for interconnected ISS systems
• A Lyapunov-based small-gain theorem for interconnected switched systems
• A Dissipativity Approach to Safety Verification for Interconnected Systems
• A Small-Gain Theorem for Switched Interconnected Nonlinear Systems and Its Applications
• Control Barrier Function Based Quadratic Programs for Safety Critical Systems
• A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
• A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
• Set-theoretic methods in control

This page was built for publication: Small-gain theorem for safety verification of interconnected systems