The synthesis of regulator logic using state-variable concepts | IEEE Journals & Magazine | IEEE Xplore