Les travaux de recherche présentés dans cette thèse proposent une méthodologie de synthèse de la commande des systèmes à événements discrets temporisés permettant de calculer l'ensemble de toutes les lois de commande telles que le fonctionnement du système respecte les spécifications imposées par le cahier des charges. Notre approche associe la capacité de modélisation de l'outil réseau de Petri T-temporel à la puissance d'analyse des automates temporisés. Dans un premier temps, le système à commander est modélisé par un réseau de Petri T-temporel. Ensuite on construit l'automate temporisé qui modélise le comportement de ce réseau de Petri T-temporel. Les comportements non-désirés sont modélisés par des sommets interdits. La synthèse de la commande est basée sur des techniques d'analyse d'atteignabilité spécifiques aux automates temporisés. La méthode proposée consiste à calculer des nouvelles gardes des transitions de l'automate telles que les sommets interdits ne soient jamais atteints. L'approche de synthèse de la commande présenté dans cette thèse s'adresse aux systèmes à événements discrets temporisés modélisés par des réseaux de Petri T-temporels bornés avec des contraintes temporelles spécifiées par des nombres rationnels.

APPROCHE PERMETTANT LA DETECTION EN LIGNE, DANS LES SYSTEMES DISTRIBUES, DES ERREURS DUES A DES FAUTES MATERIELLES, LOGICIELLES OU HUMAINES ET AFFECTANT LE FONCTIONNEMENT NORMAL DU SYSTEME. ELLE REPOSE SUR L'UTILISATION DE DEUX LOGICIELS DISTINCTS CONSTITUANT UN COUPLE EXECUTANT-OBSERVATEUR. L'EXECUTANT REALISE DE MANIERE CLASSIQUE LES TACHES FONCTIONNELLES DU SYSTEME, L'OBSERVATEUR IMPLEMENTE UN SIMULATEUR DE RESEAUX DE PETRI