Viskositäts-CBFs: Überbrückung der Kontrollbarrierenfunktion und Hamilton-Jacobi-Erreichbarkeitsfachwerke in der sicheren Kontrolltheorie

Grundinformationen

• Paper-ID: 2510.09929
• Titel: Viscosity CBFs: Bridging the Control Barrier Function and Hamilton-Jacobi Reachability Frameworks in Safe Control Theory
• Autoren: Dylan Hirsch, Jaime Fernández Fisac, Sylvia Herbert
• Klassifizierung: eess.SY (Systeme und Kontrolle), cs.SY (Systeme und Kontrolle)
• Veröffentlichungsdatum: 11. Oktober 2025 (arXiv-Preprint)
• Paper-Link: https://arxiv.org/abs/2510.09929

Zusammenfassung

Kontrollbarrierenfunktionen (CBFs) und Hamilton-Jacobi-Erreichbarkeit (HJR) sind zwei Kernfachwerke der sicheren Kontrolltheorie. Traditionell werden diese beiden Fachwerke als unterschiedliche Ansätze betrachtet, wobei der erste auf die Gestaltung optimaler Sicherheitsregler konzentriert ist und der zweite ausreichende Bedingungen für Sicherheit bietet. Frühere Arbeiten führten das Konzept der Kontrollbarrierenwertfunktion (CB-VF) ein, die ähnlich wie andere in der HJR untersuchte Wertfunktionen definiert ist, aber bestimmte CBF-Eigenschaften aufweist. Dieses Paper geht in eine andere Richtung und verallgemeinert CBFs zu nicht differenzierbaren „Viskositäts"-CBFs. Die Autoren zeigen tiefe Verbindungen zwischen Viskositäts-CBFs und CB-VFs auf und überbrücken damit die CBF- und HJR-Fachwerke. Durch diese Brücke charakterisieren die Autoren Viskositäts-CBFs präzise als Funktionen, die CBF-ähnliche Sicherheitsgarantien bieten (Kontrollinvarianz und Grenzglättungsannäherung). Darüber hinaus werden gute theoretische Eigenschaften der Viskositäts-CBFs demonstriert, einschließlich idealer Abgeschlossenheit unter Maximum- und Grenzwertoperationen.

Forschungshintergrund und Motivation

Problemhintergrund

1. Trennung der beiden Sicherheitskontrollfachwerke: CBFs und HJR sind zwei Hauptfachwerke der Sicherheitskontrolltheorie, werden aber traditionell als voneinander unabhängige Methoden betrachtet
2. Einschränkungen von CBFs: Traditionelle CBFs erfordern kontinuierliche Differenzierbarkeit, was in bestimmten Anwendungen zu streng ist und die Anwendbarkeit einschränkt
3. Fehlende theoretische Verbindungen: Es fehlt ein einheitliches theoretisches Fachwerk zum Verständnis der inneren Verbindungen zwischen diesen beiden Methoden

Forschungsmotivation

1. Theoretische Vereinigung: Etablierung tiefgreifender theoretischer Verbindungen zwischen CBFs und HJR für eine vollständigere theoretische Grundlage der Sicherheitskontrolle
2. Methodenerweiterung: Verallgemeinerung von CBFs auf nicht differenzierbare Funktionen zur Erweiterung ihres Anwendungsbereichs
3. Eigenschaftscharakterisierung: Präzise Charakterisierung, welche Funktionen CBF-ähnliche Sicherheitsgarantien bieten können

Kernbeiträge

1. Einführung des Viskositäts-CBF-Konzepts: Verallgemeinerung traditioneller CBFs auf nicht differenzierbare Funktionen, die nur im Viskositätssinn die CBF-Ungleichung erfüllen müssen
2. Etablierung einer theoretischen Brücke: Beweis der vollständigen Äquivalenz zwischen Viskositäts-CBFs und zeitinvarianten CB-VFs, Überbrückung der CBF- und HJR-Fachwerke
3. Vollständige Charakterisierung von Sicherheitsgarantien: Beweis, dass Viskositäts-CBFs genau die kontinuierlichen Funktionen sind, die „Barrieregarantien" (Barrier Guarantee) bieten
4. Erweiterung der CB-VF-Theorie: Erweiterung von CB-VF von exponentieller Rückdiskontierung auf nichtlineare Rückdiskontierung, die durch Klasse-K-Funktionen bestimmt wird
5. Analyse theoretischer Eigenschaften: Beweis guter Eigenschaften von Viskositäts-CBFs, wie Abgeschlossenheit unter Maximum- und Grenzwertoperationen

Methodische Erläuterung

Grundlegende Definitionen und Einstellungen

Betrachten Sie das dynamische System: $\dot{x} = f(x,u)$

wobei $f : \mathbb{R}^n \times U \to \mathbb{R}^n$ eine Lipschitz-Funktion ist und $U \subset \mathbb{R}^m$ eine kompakte Menge zulässiger Steuereingaben darstellt.

Traditionelle CBF-Definition

Eine Funktion $h : \mathbb{R}^n \to \mathbb{R}$ ist eine Kontrollbarrierenfunktion bezüglich einer Klasse-K-Funktion $\alpha$, wenn sie kontinuierlich differenzierbar ist und erfüllt: $\max_{u \in U} \nabla h(x) \cdot f(x,u) \geq -\alpha(h(x))$ für alle $x \in \mathbb{R}^n$ mit $h(x) > 0$.

Kernische Innovation: Viskositäts-CBFs

Viskositäts-CBF-Definition

Eine kontinuierliche Funktion $h : \mathbb{R}^n \to \mathbb{R}$ ist eine Viskositäts-CBF bezüglich einer Klasse-K-Funktion $\alpha$, wenn für jeden $x \in \mathbb{R}^n$ mit $h(x) > 0$ die Ungleichung $\max_{u \in U} \nabla h(x) \cdot f(x,u) \geq -\alpha(h(x))$ im Viskositätssinn erfüllt ist.

Viskositätssinn: Für jede kontinuierlich differenzierbare Funktion $\phi : \mathbb{R}^n \to \mathbb{R}$, wenn $h - \phi$ ein lokales Maximum bei $x$ hat, dann $\max_{u \in U} \nabla \phi(x) \cdot f(x,u) \geq -\alpha(h(x))$

Barrieregarantie (Barrier Guarantee)

Eine kontinuierliche Funktion $B : \mathbb{R}^n \to \mathbb{R}$ bietet eine Barrieregarantie bezüglich einer lokal Lipschitz-Klasse-K-Funktion $\alpha$, wenn für jeden $\theta \in [0,1)$ und jeden $x \in \mathbb{R}^n$ mit $B(x) > 0$ ein $u \in U$ existiert, so dass für alle $t \geq 0$: $B(x_x^u(t)) \geq \beta_\alpha(\theta B(x), t)$

wobei $\beta_\alpha$ eine mit $\alpha$ verbundene Klasse-KL-Funktion ist.

Erweiterung der Kontrollbarrierenwertfunktion (CB-VF)

Gegeben eine kontinuierliche Funktion $g : \mathbb{R}^n \to \mathbb{R}_{\geq 0}$ und eine lokal Lipschitz-Klasse-K-Funktion $\alpha$, wird die CB-VF $v : \mathbb{R}^n \times \mathbb{R}_{\geq 0} \to \mathbb{R}_{\geq 0}$ implizit definiert durch: $\beta_\alpha(v(x,T), T) = \sup_{u \in U} \min_{t \in [0,T]} \beta_\alpha(g(x_x^u(t)), T-t)$

Haupttheoretische Ergebnisse

Satz 1: HJ-PDE-Charakterisierung der CB-VF

Die CB-VF $v$ ist die eindeutige Viskositätslösung der HJ-PDE: $\max\left\{\frac{\partial}{\partial T}v - H_\alpha(x,v,\nabla v), v - g(x)\right\} = 0$

wobei der Hamiltonian $H_\alpha(x,r,\lambda) = \max_{u \in U} \lambda \cdot f(x,u) + \alpha(r)$ ist.

Satz 2: Kernäquivalenzergebnis

Für eine lokal Lipschitz-Klasse-K-Funktion $\alpha$ und eine kontinuierliche Funktion $h : \mathbb{R}^n \to \mathbb{R}_{\geq 0}$ sind die folgenden Aussagen äquivalent:

1. $h$ ist eine Viskositäts-CBF bezüglich $\alpha$
2. $h$ ist eine Viskositätslösung der HJ-PDE $-\min\{H_\alpha(x,h,\nabla h), 0\} = 0$
3. Die entsprechende CB-VF ist zeitinvariant, d.h. $v(\cdot, T) \equiv h(\cdot)$ für alle $T \geq 0$
4. $h$ bietet eine Barrieregarantie bezüglich $\alpha$

Kompositionseigenschaften von Viskositäts-CBFs

Satz 3: Maximale Abgeschlossenheit

Wenn $h_1, h_2$ beide Viskositäts-CBFs bezüglich einer Klasse-K-Funktion $\alpha$ sind, dann ist auch $\max\{h_1, h_2\}$ eine Viskositäts-CBF bezüglich $\alpha$.

Satz 4: Grenzwertabgeschlossenheit

Wenn $h_1, h_2, \ldots$ eine Folge von Viskositäts-CBFs bezüglich einer Klasse-K-Funktion $\alpha$ ist und $h_i \to h$ lokal gleichmäßig konvergiert, dann ist auch $h$ eine Viskositäts-CBF bezüglich $\alpha$.

Technische Innovationspunkte

1. Anwendung der Viskositätslösungstheorie

• Einführung des Viskositätslösungskonzepts aus der partiellen Differentialgleichungstheorie in die CBF-Theorie
• Vermeidung der strikten Anforderung an kontinuierliche Differenzierbarkeit traditioneller CBFs
• Beibehaltung der wesentlichen Eigenschaften von Sicherheitsgarantien

2. Fachwerk-Überbrückung

• Etablierung bidirektionaler Verbindungen zwischen CBF und HJR
• Realisierung theoretischer Vereinigung durch CB-VF als Vermittler
• Bereitstellung von Perspektiven zum Verständnis der Sicherheitskontrolle aus zwei verschiedenen Blickwinkeln

3. Nichtlineare Rückdiskontierungserweiterung

• Verallgemeinerung von exponentieller Rückdiskontierung zu beliebiger durch Klasse-K-Funktionen bestimmter Rückdiskontierung
• Verbesserung der Ausdrucksfähigkeit und Anwendbarkeit von CB-VF

Anwendungsbeispiele

Beispiel 1: Nicht differenzierbare CBF

Betrachten Sie das skalare System $\dot{x} = x + x + x^3/(1+|x|) \cdot u$ mit Steuermenge $U = [-1,1]$.

Definieren Sie $h(x) = 1 - |x|$ (signierte Distanzfunktion zur unsicheren Menge $(-\infty,-1] \cup [1,+\infty)$).

Obwohl $h$ bei $x = 0$ nicht differenzierbar ist, kann verifiziert werden, dass es eine Viskositäts-CBF bezüglich $\alpha(r) = r$ ist.

Theoretische Bedeutung und praktischer Wert

Theoretische Bedeutung

1. Vollständigkeit: Vollständige Charakterisierung der Funktionsklasse, die CBF-ähnliche Sicherheitsgarantien bietet
2. Einheitlichkeit: Vereinigung zweier wichtiger Sicherheitskontrollfachwerke auf derselben theoretischen Grundlage
3. Erweiterbarkeit: Bereitstellung eines breiteren Entwicklungsraums für die CBF-Theorie

Praktischer Wert

1. Erweiterung der Anwendbarkeit: Ermöglichung der Verwendung nicht differenzierbarer Funktionen als CBFs, anwendbar auf mehr praktische Probleme
2. Kompositionsmethoden: Bereitstellung systematischer Methoden zur Konstruktion neuer CBFs aus bekannten CBFs
3. Rechenvorteil: Möglichkeit, HJR-Rechenmethoden zur CBF-Konstruktion zu nutzen

Einschränkungen und zukünftige Richtungen

Einschränkungen

1. Rechenkomplexität: Verifikation und Konstruktion von Viskositäts-CBFs können rechnerisch komplexer sein
2. Implementierungsdetails: Das Paper konzentriert sich hauptsächlich auf theoretische Ergebnisse; praktische Rechenmethoden erfordern weitere Forschung
3. Anwendungsverifikation: Mangel an Anwendungsverifikation bei großflächigen praktischen Systemen

Zukünftige Richtungen

1. Rechenmethoden: Entwicklung effizienter Algorithmen zur Berechnung und Verifikation von Viskositäts-CBFs
2. Anwendungserweiterung: Konkrete Anwendungen in Robotik, autonomem Fahren und anderen Bereichen
3. Multi-Agent-Systeme: Erweiterung auf Sicherheitskontrolle von Multi-Agent-Systemen
4. Stochastische Systeme: Berücksichtigung stochastischer dynamischer Systeme

Tiefgreifende Bewertung

Stärken

1. Theoretische Tiefe: Etablierung tiefgreifender theoretischer Verbindungen zwischen zwei wichtigen Fachwerken
2. Mathematische Strenge: Vollständige Beweise mit bedeutsamen theoretischen Ergebnissen
3. Konzeptuelle Innovation: Das Viskositäts-CBF-Konzept ist originell und praktisch wertvoll
4. Systematik: Bereitstellung eines vollständigen theoretischen Systems und Eigenschaftsanalyse

Mängel

1. Mangel an experimenteller Verifikation: Das Paper ist hauptsächlich theoretisch; es fehlen numerische Experimente und praktische Anwendungsverifikation
2. Rechenmethoden: Keine konkreten Rechenmethoden oder Implementierungsverfahren bereitgestellt
3. Komplexitätsanalyse: Mangel an Analyse der Rechenkomplexität der Methode

Einflussbeurteilung

1. Akademischer Wert: Wichtiger theoretischer Beitrag zur Sicherheitskontrolltheorie
2. Praktisches Potenzial: Erweiterung des Anwendungsbereichs von CBFs mit wichtigem praktischem Wert
3. Nachfolgeforschung: Schaffung einer theoretischen Grundlage für nachfolgende Forschung in verwandten Bereichen

Anwendungsszenarien

1. Komplexe geometrische Einschränkungen: Kontrollprobleme mit nicht differenzierbaren Sicherheitseinschränkungen
2. Multimodale Systeme: Hybridsysteme mit schaltender Dynamik
3. Robuste Kontrolle: Sicherheitskritische Systeme, die mit Unsicherheit umgehen müssen
4. Pfadplanung: Roboternavigation und Hindernisvermeidung

Literaturverzeichnis

Das Paper zitiert wichtige Literatur der Sicherheitskontrolltheorie, einschließlich:

• Grundlegende Arbeiten der CBF-Theorie (Ames et al.)
• Hamilton-Jacobi-Erreichbarkeitsteorie (Mitchell, Bayen, Tomlin)
• Viskositätslösungstheorie (Bardi, Capuzzo-Dolcetta)
• Ursprüngliche Arbeiten zu Kontrollbarrierenwertfunktionen (Choi et al.)

Zusammenfassung: Dies ist ein hochqualitatives theoretisches Paper, das wichtige Beiträge zur Sicherheitskontrolltheorie leistet. Durch die Einführung des Viskositäts-CBF-Konzepts und die Etablierung von Verbindungen zum HJR-Fachwerk bietet es eine vollständigere und einheitlichere theoretische Grundlage für die Sicherheitskontrolle. Obwohl experimentelle Verifikation fehlt, machen sein theoretischer Wert und seine potenziellen Anwendungsaussichten es zu einer wichtigen Arbeit in diesem Bereich.