En la teoría de la probabilidad , el teorema del agente compuesto inverso ( RCAT ) es un conjunto de condiciones suficientes para que un proceso estocástico expresado en cualquier formalismo tenga un producto en una distribución estacionaria [1] (asumiendo que el proceso es estacionario [2] [1] ) . El teorema muestra que las soluciones en forma de producto en el teorema de Jackson , [1] el teorema de BCMP [3] y las redes G se basan en los mismos mecanismos fundamentales. [4]
El teorema identifica un proceso inverso utilizando el lema de Kelly , a partir del cual se puede calcular la distribución estacionaria. [1]
Referencias
- ↑ a b c d Harrison, PG (2003). "Retroceder en el tiempo en el álgebra de procesos de Markov" . Informática Teórica . 290 (3): 1947-2013. doi : 10.1016 / S0304-3975 (02) 00375-4 .
- ^ Harrison, PG (2006). "Procesar formularios algebraicos sin productos" (PDF) . Notas electrónicas en informática teórica . 151 (3): 61–06. doi : 10.1016 / j.entcs.2006.03.012 .
- ^ Harrison, PG (2004). "Procesos invertidos, formas de producto y una forma de no producto" . Álgebra lineal y sus aplicaciones . 386 : 359–381. doi : 10.1016 / j.laa.2004.02.020 .
- ^ Hillston, J. (2005). "Álgebras de procesos para el análisis cuantitativo" (PDF) . 20º Simposio Anual del IEEE sobre Lógica en Ciencias de la Computación (LICS '05) . págs. 239–248. doi : 10.1109 / LICS.2005.35 . ISBN 0-7695-2266-1.
enlaces externos
- RCAT: De PEPA al producto forma una breve introducción a RCAT