Semidecidable controller synthesis for classes of linear hybrid systems