Abstract
The solution of non-ergodic Markov Renewal Processes may be reduced to the solution of multiple smaller sub-processes (components), as proposed inĀ [4]. This technique exhibits a good saving in time in many practical cases, since components solution may reduce to the transient solution of a Markov chain. Indeed the choice of the components might significantly influence the solution time, and this choice is demanded in [4] to a greedy algorithm. This paper presents a computation of an optimal set of components through a translation into an integer linear programming problem (ILP). A comparison of the optimal method with the greedy one is then presented.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
This logic implication is not in standard ILP form. It can be transformed [10] in ILP form as follows. Let U be a constant greater than |V|. Add a new variable \(k_{v,w}\) subject to these constraints: \(0 \le k_{v,w} \le 1\),Ā \(U k_{v,w} - U < x_v -x_w \le U k_{v,w}\) and \(\forall D' \in \varvec{\mathcal {D}}\setminus \{D\}\) add \(y^{D'}_v \le y^{D'}_w + U k_{v,w}\).
References
Amparore, E.G.: A new GreatSPN GUI for GSPN editing and CSL\(^{\!\text{TA}}\) model checking. In: Norman, G., Sanders, W. (eds.) QEST 2014. LNCS, vol. 8657, pp. 170ā173. Springer, Heidelberg (2014)
Amparore, E.G., Donatelli, S.: A component-based solution method for non-ergodic Markov regenerative processes. In: Aldini, A., Bernardo, M., Bononi, L., Cortellessa, V. (eds.) EPEW 2010. LNCS, vol. 6342, pp. 236ā251. Springer, Heidelberg (2010)
Amparore, E.G., Donatelli, S.: MC4CSL\(^{\rm TA}\): an efficient model checking tool for CSL\(^{\rm TA}\). In: International Conference on Quantitative Evaluation of Systems, pp. 153ā154. IEEE Computer Society, Los Alamitos (2010)
Amparore, E.G., Donatelli, S.: A component-based solution for reducible Markov regenerative processes. Perform. Eval. 70(6), 400ā422 (2013)
Amparore, E.G., Donatelli, S.: Improving and assessing the efficiency of the MC4CSL\(^{\rm TA}\) model checker. In: Balsamo, M.S., Knottenbelt, W.J., Marin, A. (eds.) EPEW 2013. LNCS, vol. 8168, pp. 206ā220. Springer, Heidelberg (2013)
Baarir, S., Beccuti, M., Cerotti, D., Pierro, M.D., Donatelli, S., Franceschinis, G.: The GreatSPN tool: recent enhancements. SIGMETRICS Perform. Eval. Rev. 36(4), 4ā9 (2009)
Baier, C., Haverkort, B., Hermanns, H., Katoen, J.P.: Model-checking algorithms for continuous-time Markov chains. IEEE Trans. Softw. Eng. 29(6), 524ā541 (2003)
Bondavalli, A., Mura, I.: High-level Petri net modelling of phased mission systems. In: 10th European Workshop on Dependable Computing, pp. 91ā95, Vienna (1999)
Bondavalli, A., Filippini, R.: Modeling and analysis of a scheduled maintenance system: a DSPN approach. Comput. J. 47(6), 634ā650 (2004)
Brown, G.G., Dell, R.F.: Formulating integer linear programs: a roguesā gallery. INFORMS Trans. Educ. 7(2), 153ā159 (2007)
Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Springer, Secaucus (2006)
Donatelli, S., Haddad, S., Sproston, J.: Model checking timed and stochastic properties with CSL\(^{\rm TA}\). IEEE Trans. Softw. Eng. 35(2), 224ā240 (2009)
German, R.: Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets. Wiley, New York (2000)
German, R.: Iterative analysis of Markov regenerative models. Perform. Eval. 44, 51ā72 (2001)
Mura, I., Bondavalli, A.: Markov regenerative stochastic petri nets to model and evaluate phased mission systems dependability. IEEE Trans. Comput. 50(12), 1337ā1351 (2001)
Stewart, W.J.: Probability, Markov Chains, Queues, and Simulation: The Mathematical Basis of Performance Modeling. Princeton University Press, Princeton (2009)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
Ā© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Amparore, E.G., Donatelli, S. (2016). Optimal Aggregation of Components for the Solution of Markov Regenerative Processes. In: Agha, G., Van Houdt, B. (eds) Quantitative Evaluation of Systems. QEST 2016. Lecture Notes in Computer Science(), vol 9826. Springer, Cham. https://doi.org/10.1007/978-3-319-43425-4_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-43425-4_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-43424-7
Online ISBN: 978-3-319-43425-4
eBook Packages: Computer ScienceComputer Science (R0)