Contribution à l’évaluation de performances des automates temporisés avec gardes en utilisant l’algèbre des dioïdes

dc.contributor.authorAit Oumeziane Fatima
dc.contributor.authorAbdmeziem Abdelkader
dc.contributor.otherKara Redouane
dc.date.accessioned2019-11-12T12:58:39Z
dc.date.available2019-11-12T12:58:39Z
dc.date.issued2018
dc.description92 f. : ill. ; 30 cm. (+ CD-Rom)en
dc.description.abstractLes travaux abordés dans ce manuscrit cpncernent la modélisation des systèmes à évènements discrets à l'aide d'automatestemporisés avec gardes (ATGs ) en utilisant l'algèbre des dioïdes. Nous proposons des représentations alternatives pour les ATGs. Celles-ci traduisent l'évolution des automates de façon approximative, car seul leurs comportements extrémaux sont décrits, mais il est escompté de pouvoir résoudre à l'aide de celles-ci des problèmes importants. Plus exactement, des aquations récursives ont été définies dans l'algèbre (max, +) et l'algèbre (min,+) afin de décrire les comportements pire-cas et meilleur-cas des automates temporisés avec gardes.en
dc.identifier.citationAutomatique Et Informatique Industrielles
dc.identifier.otherMAST.AUTO.03-18en
dc.identifier.urihttps://dspace.ummto.dz/handle/ummto/7397
dc.language.isofren
dc.publisherUniversité Mouloud Mammerien
dc.subjectAutomates temporisésen
dc.subjectAlgèbre des dioïdesen
dc.subjectLangagesen
dc.subjectRéseau de petrien
dc.subjectDioïdes.en
dc.titleContribution à l’évaluation de performances des automates temporisés avec gardes en utilisant l’algèbre des dioïdesen
dc.typeThesisen

Files

Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
AitOumezianeFatima_AbdmeziemAbdelkader.pdf
Size:
1015.78 KB
Format:
Adobe Portable Document Format
Description:
PDF
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Plain Text
Description: