Abstract: We propose a novel characterization of piecewise-defined barrier functions for certifying forward invariant sets of piecewise continuous dynamical systems. Forward invariance is established ...