Flight Rescheduling Problem Induced by Air Traffic Network Capacity Constraints Based on the Binary Decision Diagram Approach. - Mohamed Ali Kammoun (MIM, 2013)

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)

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)