Modeling And Validation Of A Synchronous-Machine/Controlled-Rectifier System