Jump to content

Reversed compound agent theorem

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Gareth Jones (talk | contribs) at 18:17, 12 February 2013 (clarify that theorem shows product form solutions are based on the same fundamental mechanisms). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In probability theory, the reversed compound agent theorem (RCAT) is a set of sufficient conditions for a stochastic process expressed in the PEPA language to have a product form stationary distribution,[1] (assuming that the process is stationary[2][1]). The theorem shows that product form solutions in Jackson's theorem,[1] the BCMP theorem[3] and G-networks are based on the same fundamental mechanisms.[4]

The theorem identifies a reversed process using Kelly's lemma, from which the stationary distribution can be computed.[1]

References

  1. ^ a b c d Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1016/S0304-3975(02)00375-4, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with |doi=10.1016/S0304-3975(02)00375-4 instead.
  2. ^ Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1016/j.entcs.2006.03.012, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with |doi=10.1016/j.entcs.2006.03.012 instead.
  3. ^ Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1016/j.laa.2004.02.020, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with |doi=10.1016/j.laa.2004.02.020 instead.
  4. ^ Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1109/LICS.2005.35, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with |doi=10.1109/LICS.2005.35 instead.