Online supervisor synthesis for partially observed discrete-event systems. - Joseph H. Prosser; Moshe Kam; Harry G. Kwatny (IEEE Trans. Autom. Control., 1998)