Small-gain theorem for safety verification of interconnected systems

DOI10.1016/J.AUTOMATICA.2022.110178zbMATH Open1485.93504arXiv2011.09173OpenAlexW3104239214WikidataQ113879468 ScholiaQ113879468MaRDI QIDQ2116647FDOQ2116647

Authors: Ziliang Lyu, Xiangru Xu, Yiguang Hong 

Publication date: 18 March 2022

Published in: Automatica (Search for Journal in Brave)

Abstract: A small-gain theorem in the formulation of barrier function is developed in this work for safety verification of interconnected systems. This result is helpful to verify input-to-state safety (ISSf) of the overall system from the safety information encoded in the subsystem's ISSf-barrier function. Also, it can be used to obtain a safety set in a higher dimensional space from the safety sets in two lower dimensional spaces.

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

Recommendations

• Safety verification of interconnected hybrid systems using barrier certificates
• A small-gain theorem with applications to input/output systems, incremental stability, detectability, and interconnections
• Small gain theorems for large scale systems and construction of ISS Lyapunov functions
• An ISS small gain theorem for general networks
• Exponential small-gain theorem and fault tolerant safe control of interconnected nonlinear systems

zbMATH Keywords

barrier functioninterconnected systemssmall-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)

Cites Work

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

Cited In (8)

• Fuzzy observer-based adaptive fixed-time leader-following control for high-order nonlinear multiagent systems
• On sufficient and necessary conditions of compositional input-to-state safety for nonlinear systems
• A small gain theorem for parametric assume-guarantee contracts
• Safety verification of interconnected hybrid systems using barrier certificates
• A contract negotiation scheme for safety verification of interconnected systems
• On converse zeroing barrier functions
• Safety critical control design for nonlinear system with tracking and safety objectives
• Exponential small-gain theorem and fault tolerant safe control of interconnected nonlinear systems

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

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