This article concerns the stability analysis of a control system for a dynamic body weight support system in a rehabilitation device for the re-education of human gait. The paper presents a physical model of the device, which characterizes the most important physical phenomena associated with the movement of the system, i.e., inertia, damping, and elasticity. The device has one active and one passive element. They are connected by a connector with elastic and damping properties. This solution provides the kinematic chain required due to interactions with humans, while at the same time ensures that the device is an underactuated system. The article also presents the methodology used to verify the stability of the control system while acting as an active body weight support system. The paper formulates the mathematical model of the system that was used in the synthesis of control using the Lyapunov theory of stability. The results of simulation and experimental tests are also presented.