Abstract
In this paper, we study online supervisory control of discrete event systems with the unknown observable event set. We show that by using a conservative approximation of the unknown observable event set in the online supervisor synthesis procedure proposed by Prosser et al., a supervisor that does not violate a specification can be synthesized without exact knowledge of the observable event set.