Dynamic Update of Discrete Event Controllers | IEEE Journals & Magazine | IEEE Xplore