Small-gain theorem for safety verification of interconnected systems
From MaRDI portal
Publication:2116647
DOI10.1016/J.AUTOMATICA.2022.110178zbMATH Open1485.93504arXiv2011.09173OpenAlexW3104239214WikidataQ113879468 ScholiaQ113879468MaRDI QIDQ2116647FDOQ2116647
Yiguang Hong, Ziliang Lyu, Xiangru Xu
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
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 (5)
- 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 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
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)
