Synthesis of Input-to-State Attractivity Controllers for Transition Systems with Disturbances | IEEE Journals & Magazine | IEEE Xplore