Package jline.lib.butools.ph

Class CheckRAPRepresentationKt

    • 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 Boolean checkRAPRepresentation(Matrix H0, Matrix H1, Double prec) Checks if the given matrices define a valid Rational Arrival Process (RAP) representation.

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

    • Method Detail

      • checkRAPRepresentation

         final static Boolean checkRAPRepresentation(Matrix H0, Matrix H1, Double prec)

        Checks if the given matrices define a valid Rational Arrival Process (RAP) representation.

        A RAP is valid if:

        • H0 and H1 are square matrices of the same size

        • H0 + H1 forms a valid infinitesimal generator (row sums = 0)

        • All eigenvalues of H0 have negative real parts

        • Dominant eigenvalue of H0 is negative and real

        Parameters:
        H0 - The H0 matrix of the RAP (hidden transition rates)
        H1 - The H1 matrix of the RAP (visible transition rates)
        prec - Numerical precision.
        Returns:

        True if the representation is valid, false otherwise

        Note: RAP is a generalization of MAP. Unlike MAP, RAP allows H1 to have negative entries, but H0 + H1 must still form a valid generator.