Gao, Wenzhong Symbolically Aided Model Development for An Induction Machine in Virtual Test Bed - 125-135 p. Subjects--Topical Terms: Automatic DifferentiationDynamic Response