ControlSynth Neural ODEs: Modeling Dynamical Systems with Guaranteed Convergence