Decidable controller synthesis for classes of linear systems