Input-to-state robust safety of switched nonlinear systems using multiple barrier functions
From MaRDI portal
Cites work
- A computational approach to synthesizing guards for hybrid systems
- A Dissipativity Approach to Safety Verification for Interconnected Systems
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
- A Small-Gain Theorem for Switched Interconnected Nonlinear Systems and Its Applications
- Adaptive robust safety-critical control of switched systems via single barrier function
- Analytical Approximation Methods for the Stabilizing Solution of the Hamilton–Jacobi Equation
- Barrier Lyapunov functions for the control of output-constrained nonlinear systems
- Compositional construction of control barrier functions for continuous-time stochastic hybrid systems
- Constrained control of input-output linearizable systems using control sharing barrier functions
- Control Barrier Function Based Quadratic Programs for Safety Critical Systems
- Converse Barrier Certificate Theorems
- Converse Barrier Functions via Lyapunov Functions
- Converse Theorems for Safety and Barrier Certificates
- ℋ/sub ∞/ control of nonlinear systems: a convex characterization
- scientific article; zbMATH DE number 1059349 (Why is no real title available?)
- Input-to-state stability of switched systems and switching adaptive control
- Input/output-to-state stability and state-norm estimators for switched nonlinear systems
- Input/output-to-state stability for switched nonlinear systems with unstable subsystems
- Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
- Multiple Lyapunov Functions-Based Small-Gain Theorems for Switched Interconnected Nonlinear Systems
- On converse Lyapunov theorems for ISS and iISS switched nonlinear systems
- On stability, \(L_2\)-gain and \(H_\infty\) control for switched systems
- On sufficient and necessary conditions of compositional input-to-state safety for nonlinear systems
- Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification
- Robust Adaptive Dynamic Event-Triggered Control of Switched Nonlinear Systems
- Robustness analysis of systems' safety through a new notion of input-to-state safety
- Safety-critical dynamic event-triggered control of nonlinear systems
- Safety-critical multi-tasks control for switched systems via several barrier functions
- Safety-critical optimal control of discrete-time non-linear systems via policy iteration-based Q-learning
- Set invariance in control
- Stability theory of switched dynamical systems
- Stabilization with guaranteed safety using control Lyapunov-Barrier function
- Sufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions
- Switching in systems and control
Cited in
(3)
This page was built for publication: Input-to-state robust safety of switched nonlinear systems using multiple barrier functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6995420)