Skip to Main content Skip to Navigation
Theses

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

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.
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00198482
Contributor : Patricia Reynier <>
Submitted on : Monday, December 17, 2007 - 2:02:07 PM
Last modification on : Sunday, November 22, 2020 - 12:18:02 PM
Long-term archiving on: : Monday, April 12, 2010 - 8:09:39 AM

Identifiers

  • HAL Id : tel-00198482, version 1

Collections

Citation

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. ⟨tel-00198482⟩

Share

Metrics

Record views

797

Files downloads

734