Ordre préfixe et temps darrêtReportar como inadecuado




Ordre préfixe et temps darrêt - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 PPS - Preuves, Programmes et Systèmes

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.





Autor: Samy Abbes -

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



DESCARGAR PDF




Documentos relacionados