Representations and algorithms for finite-state bisimulations of linear discrete-time control systems | IEEE Conference Publication | IEEE Xplore