FN Archimer Export Format PT J TI Model of the leaky bucket ATM generic flow control mechanism: a case study on solving large cyclic models BT AF CARRASCO, JA SUNE, V MAHEVAS, Stephanie RUBINO, G AS 1:;2:;3:;4:; FF 1:;2:;3:PDG-DRV-RH-MAERHA;4:; C1 Univ Politecn Cataluna, Dept Engn Elect, E-08028 Barcelona, Spain. IFREMER, MAERHA Lab, F-44311 Nantes 03, France. IRISA, F-35042 Rennes, France. C2 UNIV POLITECN CATALUNA, SPAIN IFREMER, FRANCE IRISA, FRANCE SI NANTES SE PDG-DRV-RH-MAERHA IN WOS Ifremer jusqu'en 2018 copubli-europe IF 0.15 TC 0 UR https://archimer.ifremer.fr/doc/00000/10303/9659.pdf LA English DT Article AB The authors describe and solve a Markov model of the leaky bucket ATM generic now control mechanism. The model has a space cardinality which grows quickly with its parameters and is challenging to solve. Exploiting the cyclic nature of the model, the authors develop a methodology which allows them to efficiently solve instances of the model with 3 905 134 states and 53 869 532 transitions using 29.8Mbyte of memory and 222Mbyte of disc storage. The CPU utilisation is high (between 70% and 90%). The methodology is new and can be easily extended to any kind of finite cyclic Markov models. PY 2001 PD JUL SO Iee Proceedings Communications SN 1350-2425 PU Iee-inst Elec Eng VL 148 IS 3 UT 000169966000011 BP 188 EP 196 DI 10.1049/ip-com:20010285 ID 10303 ER EF