Package jline.api.mc

Class Ctmc_randomizationKt

    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description

    • Field Summary

      Fields 
      Modifier and Type Field Description

    • Constructor Summary

      Constructors 
      Constructor Description

    • Enum Constant Summary

      Enum Constants 
      Enum Constant Description

    • Method Summary

      Modifier and Type Method Description
      final static Pair<Matrix, Double> ctmc_randomization(Matrix Q, Double q) Convert a CTMC to a DTMC using randomization technique

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

    • Method Detail

      • ctmc_randomization

         final static Pair<Matrix, Double> ctmc_randomization(Matrix Q, Double q)

        Convert a CTMC to a DTMC using randomization technique

        Parameters:
        Q - Infinitesimal generator matrix of the CTMC
        q - Optional uniformization rate.
        Returns:

        Pair containing the transition matrix P and the uniformization rate q