On sufficient and necessary conditions of compositional input-to-state safety for nonlinear systems
From MaRDI portal
Publication:6590442
DOI10.1016/j.sysconle.2024.105886zbMATH Open1542.93335MaRDI QIDQ6590442
Publication date: 21 August 2024
Published in: Systems \& Control Letters (Search for Journal in Brave)
interconnected systemssufficient and necessary conditioncompositional input-to-state safetyinput-to-state safe barrier functions
Nonlinear systems in control theory (93C10) Input-output approaches in control theory (93D25) Networked control (93B70)
Cites Work
- Unnamed Item
- Comments on integral variants of ISS
- Set invariance in control
- A Lyapunov formulation of the nonlinear small-gain theorem for interconnected ISS systems
- Safety stabilization of switched systems with unstable subsystems
- Small-gain theorem for safety verification of interconnected systems
- Safety-critical dynamic event-triggered control of nonlinear systems
- ISS-Lyapunov Functions for Discontinuous Discrete-Time Systems
- A Small-Gain Theorem for Switched Interconnected Nonlinear Systems and Its Applications
- Compositional safety analysis using barrier certificates
- Control Barrier Function Based Quadratic Programs for Safety Critical Systems
- Integral ISS for Switched Nonlinear Time-Varying Systems Using Indefinite Multiple Lyapunov Functions
- Compositional construction of control barrier functions for interconnected control systems
- Exponential input-to-state stability of globally Lipschitz time-delay systems under sampled-data noisy output feedback and actuation disturbances
- Robustness analysis of systems' safety through a new notion of input‐to‐state safety
- Robust Adaptive Control of Uncertain Nonlinear Systems in the Presence of Input Saturation and External Disturbance
- Digital second-order sliding mode control for uncertain nonlinear systems
- Dynamic event-triggered prescribed performance control for nonlinear systems with signal temporal logic
This page was built for publication: On sufficient and necessary conditions of compositional input-to-state safety for nonlinear systems