Skip to main content

Cooperating Stochastic Automata: Approximate Lumping an Reversed Process

  • Conference paper
  • First Online:

Abstract

The paper aims at defining a novel procedure for approximating the steady-state distribution of cooperating stochastic models using a component-wise lumping. Differently from previous approaches, we consider also the possibility of lumping the reversed processes of the cooperating components and show the benefits of this approach in a case study.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Balsamo, S., Dei Rossi, G., Marin, A.: Lumping and reversed processes in cooperating automata. In: Proceedings of International Conference on Analytical and Stochastic Modeling Techniques and Applications (ASMTA), Lecture Notes in Computer Science 7314, pp. 212–226. Springer, Grenoble (2012)

    Google Scholar 

  2. Buchholz, P.: Product form approximations for communicating Markov processes. Perf. Eval. 67(9), 797–815 (2010), Special Issue: QEST 2008

    Google Scholar 

  3. Fourneau, J.M., Plateau, B., Stewart, W.J.: Product form for stochastic automata networks. In: Proceedings of ValueTools ’07. pp. 1–10. ICST, Brussels (2007)

    Google Scholar 

  4. Gilmore, S., Hillston, J., Ribaudo, M.: An efficient algorithm for aggregating PEPA models. IEEE Trans. Softw. Eng. 27(5), 449–464 (2001)

    Google Scholar 

  5. Hillston, J.: A compositional approach to performance modelling. Ph.D. thesis, Department of Computer Science, University of Edinburgh (1994)

    Google Scholar 

  6. Jacobi, M.N.: A robust spectral method for finding lumpings and meta stable states of non-reversible Markov chains. Elect. Trans. Num. An. 37, 296–306 (2010)

    Google Scholar 

  7. Kelly, F.: Reversibility and Stochastic Networks. Wiley, New York (1979)

    Google Scholar 

  8. Kemeny, J.G., Snell, J.L.: Finite Markov Chains, Chap. II. D. Van Nostrand Company, inc. (1960)

    Google Scholar 

  9. Lafon, S., Lee, A.: Diffusion maps and coarse-graining: a unified framework for dimensionality reduction, graph partitioning, and data set parametrization. IEEE Trans. Pattern Anal. Mach. Intell. 28, 1393–1403 (2006)

    Google Scholar 

  10. Miner, A.S., Ciardo, G., Donatelli, S.: Using the exact state space of a markov model to compute approximate stationary measures. In: Proceedings of ACM SIGMETRIC, pp. 207–216. ACM, New York (2000)

    Google Scholar 

  11. Stewart, W.J.: Probability, Markov Chains, Queues, and Simulation. Princeton University Press, Princeton (2009)

    Google Scholar 

  12. Xu, R., Wunsch, D.: Survey of clustering algorithms. IEEE Trans. Neural Netw. 16(3), 645–678 (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to G. Dei Rossi .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag London

About this paper

Cite this paper

Balsamo, S., Rossi, G.D., Marin, A. (2013). Cooperating Stochastic Automata: Approximate Lumping an Reversed Process. In: Gelenbe, E., Lent, R. (eds) Computer and Information Sciences III. Springer, London. https://doi.org/10.1007/978-1-4471-4594-3_14

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-4594-3_14

  • Published:

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-4471-4593-6

  • Online ISBN: 978-1-4471-4594-3

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics