Finite-state simulations and bisimulations for discrete-time piecewise affine systems | IEEE Conference Publication | IEEE Xplore