Sur la synthèse de la commande des systèmes à évènements discrets temporisés

par Alexandru Tiberiu Sava

Thèse de doctorat en Automatique. Productique

Sous la direction de Hassane Lotfi Alla.

defended on 2001

à Grenoble, INPG .

    mots clés keywords


  • Résumé

    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.


  • Abstract not available

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 148 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 135-137

Où se trouve cette thèse ?

  • Bibliothèque : Université d'Evry-Val-d'Essonne. Service commun de la documentation. Bibliothèque de l'UFR sciences et technologie.
  • Consultable sur place dans l'établissement demandeur
  • Cote : 629.89 SAV sur
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Non disponible pour le PEB
  • Cote : TS01/INPG/0120
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible pour le PEB
  • Cote : TS01/INPG/0120/D
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.