Decidability of Motion Planning with Differential Constraints