Control synthesis based on reachability graph with minimal cuts: Application to a flexible manufacturing system.

Sadok Rezig, Zied Achour, Nidhal Rezg

Browse the full ETFA paper archive.