Mostra el registre d'ítem simple
Two new algorithms to compute steady-state bounds for Markov models with slow forward and fast backward transitions
dc.contributor.author | Carrasco, Juan A. |
dc.contributor.author | Calderón, A |
dc.contributor.author | Escribà, J |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament d'Enginyeria Electrònica |
dc.date.accessioned | 2013-08-01T10:38:01Z |
dc.date.available | 2013-08-01T10:38:01Z |
dc.date.created | 1996 |
dc.date.issued | 1996 |
dc.identifier.citation | Carrasco, J.; Calderón, A.; Escribà, J. Two new algorithms to compute steady-state bounds for Markov models with slow forward and fast backward transitions. A: 4th IEEE Int. Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems. "Proc. 4th IEEE Int. Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems". 1996, p. 89-95. |
dc.identifier.uri | http://hdl.handle.net/2117/20065 |
dc.description.abstract | Two new algorithms are proposed for the computation of bounds for the steady-state reward rate of irreducible finite Markov models with slow forward and fast backward transitions. The algorithms use detailed knowledge of the model in a subset of generated states G and partial information about the model in the non-generated portion U of the state space. U is assumed partitioned into subsets U_k,1\leq k\leq N with a “nearest neighbor” structure. The algorithms involve the solution of, respectively, |M| + 2 and 4 linear systems of size |G|, where M is the set of values of k corresponding to the subsets U_k through which the model can jump from G to U. Previously proposed algorithms for the same type of models required the solution of |S| linear systems of size |G| + N , where S is the subset of G through which the model can enter G from U, to achieve the same bounds as our algorithms, or gave less tighter bounds if state cloning techniques were used to reduce the number of solved linear systems. An availability model with system state dependent repair rates is used to illustrate the application and performance of the algorithms. |
dc.format.extent | 7 p. |
dc.language.iso | eng |
dc.rights | Attribution-NonCommercial-NoDerivs 3.0 Spain |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
dc.subject | Àrees temàtiques de la UPC::Matemàtiques i estadística::Estadística matemàtica |
dc.subject.lcsh | Markov processes |
dc.title | Two new algorithms to compute steady-state bounds for Markov models with slow forward and fast backward transitions |
dc.type | Conference report |
dc.subject.lemac | Markov, Processos de |
dc.contributor.group | Universitat Politècnica de Catalunya. QINE - Disseny de Baix Consum, Test, Verificació i Circuits Integrats de Seguretat |
dc.rights.access | Open Access |
local.identifier.drac | 2441217 |
dc.description.version | Postprint (published version) |
local.citation.author | Carrasco, J.; Calderón, A.; Escribà, J. |
local.citation.contributor | 4th IEEE Int. Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems |
local.citation.publicationName | Proc. 4th IEEE Int. Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems |
local.citation.startingPage | 89 |
local.citation.endingPage | 95 |