A Converse Robust-Safety Theorem for Differential Inclusions

TL;DR

This paper proves a fundamental equivalence between robust safety and barrier functions for differential inclusions, extending existing theories to more general, unbounded, and non-unique solution systems using advanced nonsmooth analysis.

Contribution

It introduces a converse robust-safety theorem for differential inclusions, constructing both discontinuous and smooth barrier functions under very general conditions.

Findings

Established equivalence between robust safety and barrier functions.

Constructed a time-to-impact barrier function for robust safety certification.

Extended results to unbounded safety regions and non-unique solutions.

Abstract

This paper establishes the equivalence between robust safety and the existence of a barrier function certificate for differential inclusions. More precisely, for a robustly-safe differential inclusion, a barrier function is constructed as the time-to-impact function with respect to a specifically-constructed reachable set. Using techniques from set-valued and nonsmooth analysis, we show that such a function, although being possibly discontinuous, certifies robust safety by verifying a condition involving the system's solutions. Furthermore, we refine this construction, using smoothing techniques from the literature of converse Lyapunov theory, to provide a smooth barrier certificate that certifies robust safety by verifying a condition involving only the barrier function and the system's dynamics. In comparison with existing converse robust-safety theorems, our results are more general as they allow the safety region to be unbounded, the dynamics to be a general continuous set-valued map, and the solutions to be non-unique.