Class CTMCStationary<M,S extends CTMCState<M>>

java.lang.Object
org.oristool.models.gspn.chains.CTMCStationary<M,S>
Type Parameters:
M - type of logic state
S - type of CTMC states (including a logic state and an exit rate)
All Implemented Interfaces:
Function<DTMC<S>,Map<M,Double>>

public abstract class CTMCStationary<M,S extends CTMCState<M>> extends Object implements Function<DTMC<S>,Map<M,Double>>
Computation of the stationary distribution of a CTMC.

LU factorization is used to solve the linear system of stationary probabilities for the embedded DTMC. Exit rates are then used to obtain stationary probabilities of the CTMC from those of the DTMC.

This analysis can be applied to CTMCs with reducible state space and multiple BSCCs. In this case, the stationary probabilities within each BSCC are weighted according to its absorption probability from the initial distribution of the CTMC.

  • Method Details

    • epsilon

      public abstract double epsilon()
      Returns the threshold used to decide whether a probability value should be considered equal to 0.0.

      By default, it is equal to 1e-9.

      Returns:
      the threshold used in comparisons to 0.0
    • monitor

      public abstract AnalysisMonitor monitor()
      Returns the monitor used by this analysis. It is used to stop the analysis early and to notify messages to the user.

      By default, an always-false, message-discarding monitor is used.

      Returns:
      the monitor used by this analysis
    • logger

      public abstract AnalysisLogger logger()
      Returns the logger used by this analysis. It is used to print progress information.

      By default, logs are discarded.

      Returns:
      the logger used by this analysis
    • builder

      public static <M, S extends CTMCState<M>> CTMCStationary.Builder<M,S> builder()
      Creates a builder for analysis configurations (with default values).
      Type Parameters:
      M - type of logic state
      S - type of CTMC states (including a logic state and an exit rate)
      Returns:
      a builder of TimedAnalysis instances.
    • apply

      public Map<M,Double> apply(DTMC<S> dtmc)
      Runs this analysis on a CTMC.
      Specified by:
      apply in interface Function<M,S extends CTMCState<M>>
      Parameters:
      dtmc - the embedded DTMC of the input CTMC
      Returns:
      a distribution over the states of the CTMC