Auteurs https://syntheses.univ-rennes1.fr/search-theses/ Thu, 12 Mar 2026 20:04:49 GMT Les systèmes temps-réels nécessitent parfois d’être prouvés formellement, en particulier les systèmes temps-réels contenant des parties critiques, comme les avions, les voitures... Les automates temporisés constituent un modèle mathématique commode pour cela. Cependant, même s’ils fournissent une représentation des aspects temporels de ces systèmes, les automates temporisés supposent une précision arbitraire et des actions immédiates. C’est pourquoi même si un état est déclaré atteignable dans un automate temporisé, il est parfois impossible de l’atteindre dans le système physique qu’il modélise. Le but de cette thèse est de modéliser un type de perturbations, sur des délais, pour les automates temporisés et de calculer les stratégies les plus permissives afin de régler ce problème d’imprécision. Ces stratégies élargiront les délais uniques habituellement proposés en des intervalles de délais et chercheront à atteindre un des états finaux de l’automate quel que soit le délai dans l’intervalle proposé qui a eu lieu. Clément Emily Thu, 10 Mar 2022 23:00:00 GMT https://syntheses.univ-rennes1.fr/search-theses/notice/view/rennes1-ori-wf-1-16317 rennes1-ori-wf-1-16317 URL: https://syntheses.univ-rennes1.fr/search-theses/notice/view/rennes1-ori-wf-1-16317 ]]>