An Optimal Real-Time Controller for Vertical Plasma Stabilization | IEEE Journals & Magazine | IEEE Xplore