I just noticed that the textbook lacks an example relevant to this exercise group, which is a type of problem we frequently assess: Given a piecewise-defined function, we want to know if it is ...

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 ...