Ordre préfixe et temps d'arrêt
Résumé
On formalise la notion de temps d'arrêt pour des processus à temps discret en utilisant la notion d'ordre préfixe sur les mots finis ou infinis sur un alphabet donné. On aboutit à une formulation d'où est absente l'indice de temps, ce qui se prête bien à des généralisations pour des processus avec parallélisme. On applique ce formalisme pour décrire deux propriétés des temps d'atteinte, l'une portant sur une caractérisation des temps d'atteinte, l'autre sur le conditionnement de chaînes de Markov.
Domaines
Probabilités [math.PR]
Origine : Fichiers produits par l'(les) auteur(s)