Sufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions
From MaRDI portal
Publication:2663858
DOI10.1016/j.automatica.2020.109328zbMath1461.93232arXiv1908.03980OpenAlexW3110410264MaRDI QIDQ2663858
Ricardo G. Sanfelice, Mohamed Adlene Maghenem
Publication date: 20 April 2021
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1908.03980
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Stabilization with guaranteed safety using control Lyapunov-Barrier function
- Review on computational methods for Lyapunov functions
- Barrier certificates revisited
- Barrier function based model predictive control
- Robust control barrier functions for constrained stabilization of nonlinear systems
- Set invariance in control
- Analysis of invariant sets
- Principe du maximum, inégalité de Harnack et unicité du problème de Cauchy pour les opérateurs elliptiques dégénérées
- On flow-invariant sets
- Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
- Deductive Verification of Continuous Dynamical Systems
- Ultimate boundedness control for uncertain discrete-time systems via set-induced Lyapunov functions
- Control Barrier Function Based Quadratic Programs for Safety Critical Systems
- The Theorems of Bony and Brezis on Flow-Invariant Sets
- Asymptotic Stability in Hybrid Systems via Nested Matrosov Functions
- Forward Invariance of Sets for Hybrid Dynamical Systems (Part I)
- On the Computation of Set-Induced Control Lyapunov Functions for Continuous-Time Systems
- Impulse differential inclusions: a viability approach to hybrid systems
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
- Invariance Principles for Hybrid Systems With Connections to Detectability and Asymptotic Stability
- Hybrid dynamical systems
- On a characterization of flow‐invariant sets
- Viability theory
This page was built for publication: Sufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions