Research Article
A Multistep Extending Truncation Method towards Model Construction of Infinite-State Markov Chains
Table 4
Experiment data under different extending solutions.
| Time bound | Advanced (one step per extending) | Two-step per extending | Three-step per extending | Depth | Time (s) | | Depth | Time (s) | | Depth | Time (s) | |
| 5.0 | 18 | 6.6 | 4071 | 20 | 8.9 | 4756 | 33 | 15.0 | 7895 | 10.0 | 25 | 23.3 | 7118 | 29 | 26.5 | 8027 | 38 | 41.3 | 11849 | 20.0 | 38 | 105.2 | 14434 | 42 | 115.3 | 16315 | 52 | 174.0 | 20816 | 30.0 | 50 | 271.6 | 22426 | 54 | 327.6 | 25308 | 64 | 456.0 | 30785 | 50.0 | 69 | 1491.5 | 38448 | 72 | 1006.5 | 43824 | 82 | 1572.6 | 50942 |
| | Synthesis solution 1 | Synthesis solution 2 | Solution D |
| 5.0 | 35 | 11.9 | 6539 | 20 | 9.6 | 4564 | 20 | 8.6 | 4459 | 10.0 | 42 | 35.4 | 9772 | 26 | 29.7 | 7646 | 26 | 24.9 | 7383 | 20.0 | 53 | 131.2 | 17777 | 41 | 111.7 | 15621 | 39 | 91.1 | 15170 | 30.0 | 61 | 367.4 | 26362 | 53 | 279.7 | 24239 | 50 | 250.9 | 23063 | 50.0 | 74 | 1349.6 | 45170 | 71 | 989.1 | 42703 | 71 | 791 | 40403 |
|
|