Approximate bisimulations for constrained linear systems