Semi-decidable synthesis for triangular hybrid systems