On the use of trajectory synthesis to return to nominal mode for a class of hybrid systems

Cet article presente une partie des bases theoriques d'une nouvelle methode qui permet de synthetiser une trajectoire de retour du systeme reactif a un des modes nominaux depuis un mode defaillant. Le systeme est modelise par un automate hybride. L'etude consiste a faire une recherche d'atteignabilite par inference arriere dans l'espace d'etat. Cette methode est illustree sur un systeme batch.