Synthèse De Superviseur Basée Sur Les Réseaux De Petri.
Résumé: La théorie de la supervision des systèmes à événements discrets (SED) a été initiée par les travaux de Ramadge et Wonham, qui sont basés sur les modèles automates à états finis et les langages formels. Dans ce travail nous nous intéressons à la synthèse de contrôleur pour les systèmes à événements discrets modélisés par les réseaux de Petri. La notion de commande par réseaux de Petri a été introduite par Krogh et Moalla dans l’objectif d’imposer au système des séquences d’événements désirées pour éviter des situations indésirables telles que les blocages. Une approche structurelle, basée sur les invariants de marquage dans un réseau de Petri a été introduite par Holloway et Krogh afin de garantir le respect des spécifications imposées. Il en résulte de cette approche des conditions d’autorisation de franchissement des transitions qui sont juste suffisantes. Dans le cas ou toutes les transitions sont commandables, nous proposons une condition nécessaire et suffisante pour que le polyèdre des contraintes soit positivement invariant par rapport à l’évolution du marquage d’un réseau de Petri donné.
Mots-clès:
Nos services universitaires et académiques
Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).
Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!
Aucun fichier associé
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".
