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

• Type: Conference
• Year: 2008
• Where: EPEW
• Authors: Marco Bernardo
• Keywords: Aggregation Algorithm, EPEW 2008, Internet Technology, Markovian, Markovian Testing