We study the positive recurrence of piecewise Ornstein—Uhlenbeck (OU) diffusion processes, which arise from many-server queueing systems with phase-type service requirements. These diffusion processes ...