An approach for the synthesis of decentralised supervisors for distributed adaptive systems. - Amine Belhaj Seboui; Nejib Ben Hadj-Alouane; Gwenaël Delaval; Éric Rutten; Mohamed Moez Yeddes (Int. J. Crit. Comput. Based Syst., 2011)