Synthesis of maximally permissive non-blocking supervisors for partially observed discrete event systems | IEEE Conference Publication | IEEE Xplore