Sur la synthèse de la commande des systèmes à événements discrets temporisés - TEL - Thèses en ligne Access content directly
Theses Year : 2001

On control synthesis for timed discrete event systems

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

Abstract

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.
non disponible
Fichier principal
Vignette du fichier
these2001-sava.pdf (1.12 Mo) Télécharger le fichier

Dates and versions

tel-00198482 , version 1 (17-12-2007)

Identifiers

  • HAL Id : tel-00198482 , version 1

Cite

Alexandru Tiberiu Sava. Sur la synthèse de la commande des systèmes à événements discrets temporisés. Automatique / Robotique. Institut National Polytechnique de Grenoble - INPG, 2001. Français. ⟨NNT : ⟩. ⟨tel-00198482⟩
446 View
415 Download

Share

Gmail Facebook X LinkedIn More