Yu Ru, Maria Paola Cabasino, Alessandro Giua, Christoforos N. Hadjicostis. Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications. Discrete Event Dynamic Systems, 24(3):275-307, 2014. [doi]
Abstract is missing.