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

The present paper introduces an algorithmic construction of the maximal invariant set for a PWA (piecewise affine) system. The classical analysis of this type of dynamical systems is based on the ...

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