Sciweavers

EPEW
2008
Springer

Towards State Space Reduction Based on T-Lumpability-Consistent Relations

13 years 5 months ago
Towards State Space Reduction Based on T-Lumpability-Consistent Relations
Markovian behavioral equivalences can be exploited for state space reduction before performance evaluation takes place. It is known that Markovian bisimilarity corresponds to ordinary lumpability and that Markovian testing and trace equivalences correspond to a coarser exact relation we call T-lumpability. While there exists an ordinarylumpability-consistent aggregation algorithm, this is not the case with T-lumpability. Based on the axiomatization of Markovian testing and trace equivalences, we provide a sufficient condition for T-lumpability that can easily be embedded in the aggregation algorithm for ordinary lumpability, thus enhancing the potential for exact state space reduction. We also identify a class of systems
Marco Bernardo
Added 19 Oct 2010
Updated 19 Oct 2010
Type Conference
Year 2008
Where EPEW
Authors Marco Bernardo
Comments (0)