Abstractions of constrained linear systems