Small-gain theorem for safety verification of interconnected systems
From MaRDI portal
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.
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
Cites work
- scientific article; zbMATH DE number 7088727 (Why is no real title available?)
- A Dissipativity Approach to Safety Verification for Interconnected Systems
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
- A Lyapunov formulation of the nonlinear small-gain theorem for interconnected ISS systems
- A Lyapunov-based small-gain theorem for interconnected switched systems
- A Small-Gain Theorem for Switched Interconnected Nonlinear Systems and Its Applications
- A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
- Barrier Lyapunov functions for the control of output-constrained nonlinear systems
- Constrained control of input-output linearizable systems using control sharing barrier functions
- Control Barrier Function Based Quadratic Programs for Safety Critical Systems
- On characterizations of the input-to-state stability property
- Set-theoretic methods in control
- Small-gain theorem for ISS systems and applications
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
- Exponential small-gain theorem and fault tolerant safe control of interconnected nonlinear systems
- 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)
