A General Approach for the Computation of a Liveness Enforcing Supervisor for the Petri Net Model of an FMS. - Murat Uzam; Zhiwu Li 001; Umar Suleiman Abubakar (ADECS @ Petri Nets, 2014)

Petri Net-Based Robust Supervisory Control of Automated Manufacturing Systems With Multiple Unreliable Resources. - Umar Suleiman Abubakar; Gaiyun Liu; Murat Uzam (IEEE Access, 2021)

Adaptive supervisory control for a class of Petri nets with bimodal transitions. - Umar Suleiman Abubakar; Gaiyun Liu; Kamel Barkaoui; Zhiwu Li 001 (Inf. Sci., 2023)

Robust Supervisory Control for Automated Manufacturing Systems With Minimal Decentralized Switch-Buffer Controllers. - Umar Suleiman Abubakar; Ahmad Bala Alhassan; Gridsada Phanomchoeng (IEEE Access, 2024)

Adaptive supervisory control for automated manufacturing systems using borrowed-buffer slots. - Umar Suleiman Abubakar; Gaiyun Liu (Inf. Sci., 2024)