Perfect simulation of stochastic automata networks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5055 LNCS, Issue , 2008, Pages 249-263

  Fernandes, Paulo ^a   Vincent, Jean Marc ^b   Webber, Thais ^a  

^a PONTIFICAL CATHOLIC UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

^b LIG MESCAL ^*

Author keywords

[No Author keywords available]

Indexed keywords

ALTERNATIVE METHODS; COMPLEX SYSTEMS; COMPONENT-WISE; DISCRETE-EVENT SIMULATIONS; DISCRETE-TIME; INITIAL STATES; INTERNATIONAL CONFERENCES; ITERATIVE NUMERICAL METHOD; LARGE STATE SPACES; MARKOV CHAINS; MARKOVIAN MODELS; MONOTONICITY; MONOTONICITY PROPERTIES; NUMERICAL ALGORITHMS; OVERALL EFFICIENCY; PARALLEL AND DISTRIBUTED SYSTEMS; PERFECT SIMULATION; PERFORMANCE INDEXES; SAN MODELS; STATE SPACES; STATE-SPACE EXPLOSION; STATE-SPACE REDUCTION; STATIONARY DISTRIBUTIONS; STOCHASTIC AUTOMATA NETWORKS; STOCHASTIC MODELLING; WARM-UP PERIOD;

AUTOMATA THEORY; CHLORINE COMPOUNDS; CONTINUOUS TIME SYSTEMS; ESTIMATION; IMAGE SEGMENTATION; LARGE SCALE SYSTEMS; MARKOV PROCESSES; NUMERICAL ANALYSIS; NUMERICAL METHODS; STATE SPACE METHODS; STOCHASTIC CONTROL SYSTEMS; STOCHASTIC PROGRAMMING; TRANSLATION (LANGUAGES);

ITERATIVE METHODS;

EID: 46049109359     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68982-9_18     Document Type: Conference Paper

References (21)

1. Stewart, W.J.: Introduction to the numerical solution of Markov chains. Princeton University Press, Princeton (1994)
2. Plateau, B.: On the stochastic structure of parallelism and synchronization models for distributed algorithms. In: ACM Sigmetrics Conference on Measurements and Modeling of Computer Systems, pp. 147-154. ACM Press, New York (1985)
3. Benoit, A., Fernandes, P., Plateau, B., Stewart, W.J.: On the benefits of using functional transitions and Kronecker algebra. Performance Evaluation (in Press, 2004)
4. Buchholz, P., Ciardo, G., Donatelli, S., Kemper, P.: Complexity of memory efficient Kro-necker operations with applications to the solution of Markov models. INFORMS Journal on Computing 13(3), 203-222 (2000)
5. Fernandes, P., Plateau, B., Stewart, W.J.: Efficient vector-descriptor multiplication in Stochastic Automata Networks. Journal of the ACM 45(3), 381-414 (1998)
6. Buchholz, P., Kemper, P.: Hierarchical reachability graph generation for Petri nets. Formal Methods in Systems Design 21(3), 281-315 (2002)
7. Miner, A.S., Ciardo, G.: Efficient Reachability Set Generation and Storage Using Decision Diagrams. In: Donatelli, S., Kleijn, J. (eds.) ICATPN 1999. LNCS, vol. 1639, pp. 6-25. Springer, Heidelberg (1999)
8. Jungblut-Hessel, R., Plateau, B., Stewart, W.J., Ycart, B.: Fast simulation for Road Traffic Network. RAIRO Operational Research 35, 229-250 (2001)
9. Häggström, O.: Finite Markov Chains and Algorithmic Applications. Based on lecture notes. Cambridge University Press, Cambridge (2002)
10. Propp, J.G., Wilson, D.B.: Exact Sampling with Coupled Markov Chains and Applications to Statistical Mechanics. Random Structures and Algorithms 9(1-2), 223-252 (1996)
11. Plateau, B., Atif, K.: Stochastic Automata Networks for modelling parallel systems. IEEE Transactions on Software Engineering 17(10), 1093-1108 (1991)
12. th Annual UK Performance Engineering Workshop, Bradford, UK, July 2004, pp. 48-60 (2004)
13. Glasserman, P., Yao, D.D.: Monotone structure in discrete-event systems. John Wiley & Sons, Inc., New York (1994)
14. Borovkov, A.A., Foss, S.G.: Two ergodicity criteria for stochastically recursive sequences. ACTA Applicande Math. 34, 125-134 (1994)
15. Stenflo, O.: Ergodic Theorems for Markov chains represented by Iterated Function Systems. Bull. Polish Acad. Sci. Math. 49(1), 27-43 (2001)
16. Benoit, A., Brenner, L., Fernandes, P., Plateau, B., Stewart, W.J.: The PEPS Software Tool. In: Kemper, P., Sanders, W.H. (eds.) TOOLS 2003. LNCS, vol. 2794, pp. 98-115. Springer, Heidelberg (2003)
17. Brenner, L., Fernandes, P., Plateau, B., Sbeity, I.: PEPS2007 - Stochastic Automata Networks Software Tool. In: QEST 2007, pp. 163-164. IEEE Press, Los Alamitos (2007)
18. Vincent, J.M.: Perfect simulation of monotone systems for rare event probability estimation. In: Winter Simulation Conference, pp. 528-537. ACM, New York (2005)
19. Vincent, J.M.: Perfect Simulation of Queueing Networks with Blocking and Rejection. In: International Symposium on Applications and the Internet Workshops: SAINT Workshops, pp. 268-271. IEEE Computer Society, Los Alamitos (2005)
20. Vincent, J.M., Vienne, J.: Perfect simulation of index based routing queueing networks. SIG-METRICS Performance Evaluation Review 34(2), 24-25 (2006)
21. Dimakos, X.K.: A Guide to Exact Simulation. International Statistical Review 69(1), 27-48 (2001)