Ordre préfixe et temps darrêtReport as inadecuate




Ordre préfixe et temps darrêt - Download this document for free, or read online. Document in PDF available to download.

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.





Author: Samy Abbes -

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



DOWNLOAD PDF




Related documents