Synthèse de commande par supervision de procédés