N-Step Nonblocking Supervisory Control of Discrete-Event Systems - Zhang, Renyuan; Wang, Zenghui; Cai, Kai (Proceedings of the IEEE Conference on Decision & Control, 2021)
Keywords: Automata; Conferences; Discrete-event systems; Supervisory control; Task analysis