Decidable and semi-decidable controller synthesis for classes of discrete time hybrid systems | IEEE Conference Publication | IEEE Xplore