Supervisory control of probabilistic discrete-event systems with recovery | IEEE Journals & Magazine | IEEE Xplore