Sufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions

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

zbMATH Keywords

barrier functionshybrid dynamical systemscontractivityforward invariance

Mathematics Subject Classification ID

Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

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