On achievable bisimulations for linear time-invariant systems | IEEE Conference Publication | IEEE Xplore