en fr On control synthesis for timed discrete event systems Sur la synthèse de la commande des systèmes à événements discrets temporisés Reportar como inadecuado




en fr On control synthesis for timed discrete event systems Sur la synthèse de la commande des systèmes à événements discrets temporisés - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 LAG - Laboratoire d-automatique de Grenoble

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.

Résumé : non disponible

fr it

Mots-clés : Réseau de pétri T-temporel modélisation automate temporisé commande

keyword : Time Petri nets modelling





Autor: Alexandru Tiberiu Sava -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados