On the construction of invariant sets for piecewise affine systems using the transition graph | IEEE Conference Publication | IEEE Xplore