Nonlinear backstepping learning-based adaptive control of electromagnetic actuators with proof of stability | IEEE Conference Publication | IEEE Xplore