Sufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions (Q2663858): Difference between revisions

@@ Property / cites work @@
+Q4274968
@@ Property / cites work: Q4274968 / rank @@
+Normal rank
@@ Property / cites work @@
+Control Barrier Function Based Quadratic Programs for Safety Critical Systems
+Normal rank
@@ Property / cites work @@
+Viability theory
@@ Property / cites work: Viability theory / rank @@
+Normal rank
@@ Property / cites work @@
+Impulse differential inclusions: a viability approach to hybrid systems
+Normal rank
@@ Property / cites work @@
+Ultimate boundedness control for uncertain discrete-time systems via set-induced Lyapunov functions
+Normal rank
@@ Property / cites work @@
+Set invariance in control
@@ Property / cites work: Set invariance in control / rank @@
+Normal rank
@@ Property / cites work @@
+Principe du maximum, inégalité de Harnack et unicité du problème de Cauchy pour les opérateurs elliptiques dégénérées
+Normal rank
@@ Property / cites work @@
+Q4821526
@@ Property / cites work: Q4821526 / rank @@
+Normal rank
@@ Property / cites work @@
+On a characterization of flow‐invariant sets
@@ Property / cites work: On a characterization of flow‐invariant sets / rank @@
+Normal rank
@@ Property / cites work @@
+Forward Invariance of Sets for Hybrid Dynamical Systems (Part I)
+Normal rank
@@ Property / cites work @@
+Q3996569
@@ Property / cites work: Q3996569 / rank @@
+Normal rank
@@ Property / cites work @@
+Barrier certificates revisited
@@ Property / cites work: Barrier certificates revisited / rank @@
+Normal rank
@@ Property / cites work @@
+On the Computation of Set-Induced Control Lyapunov Functions for Continuous-Time Systems
+Normal rank
@@ Property / cites work @@
+Review on computational methods for Lyapunov functions
+Normal rank
@@ Property / cites work @@
+Hybrid dynamical systems
@@ Property / cites work: Hybrid dynamical systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3224358
@@ Property / cites work: Q3224358 / rank @@
+Normal rank
@@ Property / cites work @@
+Robust control barrier functions for constrained stabilization of nonlinear systems
+Normal rank
@@ Property / cites work @@
+Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+On flow-invariant sets
@@ Property / cites work: On flow-invariant sets / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of invariant sets
@@ Property / cites work: Analysis of invariant sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5839061
@@ Property / cites work: Q5839061 / rank @@
+Normal rank
@@ Property / cites work @@
+A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
+Normal rank
@@ Property / cites work @@
+The Theorems of Bony and Brezis on Flow-Invariant Sets
+Normal rank
@@ Property / cites work @@
+Stabilization with guaranteed safety using control Lyapunov-Barrier function
+Normal rank
@@ Property / cites work @@
+Invariance Principles for Hybrid Systems With Connections to Detectability and Asymptotic Stability
+Normal rank
@@ Property / cites work @@
+Asymptotic Stability in Hybrid Systems via Nested Matrosov Functions
+Normal rank
@@ Property / cites work @@
+Deductive Verification of Continuous Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Barrier function based model predictive control
@@ Property / cites work: Barrier function based model predictive control / rank @@
+Normal rank