Control synthesis for admissible paths based on theory of regions: Application to a flexible manufacturing system. - Nidhal Rezg; Sadok Rezig; Mohamed Ali Kammoun; Zied Achour (CCA, 2014)

Control synthesis based on reachability graph with minimal cuts: Application to a flexible manufacturing system. - Sadok Rezig; Zied Achour; Nidhal Rezg (ETFA, 2014)

Optimal control synthesis for a flexible manufacturing system based on minimal cuts. - Sadok Rezig; Zied Achour; Nidhal Rezg; Mohamed Ali Kammoun (IEEM, 2014)

Supervisory control based on minimal cuts and Petri net sub-controllers coordination. - Sadok Rezig; Zied Achour; Nidhal Rezg; Mohamed Ali Kammoun (Int. J. Syst. Sci., 2016)

PLC-based implementation of supervisory control for flexible manufacturing systems using theory of regions. - Sadok Rezig; Chekib Ghorbel; Zied Achour; Nidhal Rezg (Int. J. Autom. Control., 2019)

Online Activation and Deactivation of a Petri Net Supervisor. - Sadok Rezig; Nidhal Rezg; Zied Hajej (Symmetry, 2021)