System Modeling, Validation, and Design of Shape Controllers for NSTX