Stabilizing Diffusion Model for Robotic Control With Dynamic Programming and Transition Feasibility | Synapse