On sufficient and necessary conditions of compositional input-to-state safety for nonlinear systems

DOI10.1016/J.SYSCONLE.2024.105886MaRDI QIDQ6590442zbMATH OpenFDO

Authors Lijun Long, Xiao-Min Huang

Publication date 21 August 2024

Published in Systems \& Control Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.SYSCONLE.2024.105886

zbMATH Keywords

compositional input-to-state safetyinput-to-state safe barrier functionsinterconnected systemssufficient and necessary condition

Mathematics Subject Classification ID

Networked control (93B70) Nonlinear systems in control theory (93C10) Input-output approaches in control theory (93D25)

Recommendations

• Small-gain theorem for safety verification of interconnected systems
• On characterizations of the input-to-state stability property
• Sufficient conditions for robust safety in differential inclusions using barrier functions
• On converse zeroing barrier functions

Cites work

• A Lyapunov formulation of the nonlinear small-gain theorem for interconnected ISS systems
• A Small-Gain Theorem for Switched Interconnected Nonlinear Systems and Its Applications
• Comments on integral variants of ISS
• Compositional construction of control barrier functions for interconnected control systems
• Compositional safety analysis using barrier certificates
• Control Barrier Function Based Quadratic Programs for Safety Critical Systems
• Digital second-order sliding mode control for uncertain nonlinear systems
• Dynamic event-triggered prescribed performance control for nonlinear systems with signal temporal logic
• Exponential input-to-state stability of globally Lipschitz time-delay systems under sampled-data noisy output feedback and actuation disturbances
• Integral ISS for Switched Nonlinear Time-Varying Systems Using Indefinite Multiple Lyapunov Functions
• ISS-Lyapunov Functions for Discontinuous Discrete-Time Systems
• Nonlinear systems.
• Robust Adaptive Control of Uncertain Nonlinear Systems in the Presence of Input Saturation and External Disturbance
• Robustness analysis of systems' safety through a new notion of input-to-state safety
• Safety stabilization of switched systems with unstable subsystems
• Safety-critical dynamic event-triggered control of nonlinear systems
• Set invariance in control
• Small-gain theorem for safety verification of interconnected systems

Cited in

(9)

• On converse zeroing barrier functions
• Safety-critical optimal control of switched systems
• Inverse-optimal safety control for hybrid systems
• Input-to-state safety of switched systems with single barrier function and its application to aero-engine
• Distributed finite-time safety-critical consensus control for multi-agent systems and its application to microgrids
• Robust adaptive safe effective dynamic coverage control of nonlinear systems and its application to differential robots
• Safety-critical optimal control of discrete-time non-linear systems via policy iteration-based Q-learning
• Input-to-state robust safety of switched nonlinear systems using multiple barrier functions
• Safety-critical dynamic event-triggered control for signal temporal logic tasks with high-order control barrier functions

This page was built for publication: On sufficient and necessary conditions of compositional input-to-state safety for nonlinear systems

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