Download or read book Model checking stochastique par les méthodes de comparaison stochastique written by Sana Younès and published by . This book was released on 2008 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: Nous proposons dans cette thèse une nouvelle méthode de vérification des chaînes de Markov. La vérification de ces modèles est effectuée à partir des distributions transitoires ou stationnaire de la chaîne de Markov considérée. Nous utilisons les méthodes de comparaison stochastique pour obtenir des mesures bornantes afin de vérifier la chaîne considérée. Ces mesures sont obtenues par la construction d'une chaîne bornante à la chaîne initiale qui est en générale de très grande taille. Les chaînes bornantes construites doivent être plus simples à analyser permettant de construire des bornes pour les modèles dont la résolution numérique est difficile voire impossible. Nous avons exploré certains schémas pour construire des chaînes bornantes comme la lumpabilité et la classe C. Nous avons développé également d'autres schémas de construction de chaînes bornantes sur les chaînes de Markov censurées. Il est évident que les mesures bornantes ne permettent pas toujours de conclure. Dans ce cas il faut affiner le modèle bornant si le schéma de borne le permet. Nous avons montré que les méthodes de bornes que nous proposons sont pertinentes pour la vérification de chaînes de Markov et permettent de réduire remarquablement le temps de vérification