Synthèse de contrôleur pour les systèmes non-déterministes
Résumé
Le travail présenté dans ce papier porte sur la synthèse de contrôleur des systèmes non-déterministes. Notre contribution se base sur la théorie de contrôle par supervision initiée par les travaux de Ramadge et Wonham. Notre objectif est d'enrichir cette théorie par l'étude de la supervision des systèmes non-déterministes. La classe de systèmes non-déterministes que nous considérons sont les systèmes à plusieurs états initiaux. L'ensemble des états initiaux caractérise un ensemble de dynamiques distinctes. Nous proposons une approche permettant de démontrer qu'il existe un superviseur unique permettant d'aboutir au langage désiré, bien que le procédé ait plusieurs états initiaux. Nous formulons ainsi les conditions nécessaires et suffisantes d'existence d'un tel superviseur