DTMC (LINE Solver Java API)

java.lang.Object

jline.lib.kpctoolbox.mc.DTMC

public final class DTMC extends Object

Discrete-Time Markov Chain (DTMC) analysis functions.

Method Summary

Modifier and Type

Method

Description

static int

dtmc_isfeasible(Matrix P)

static Matrix

dtmc_makestochastic(Matrix P)

static Matrix

dtmc_rand(int n)

static int[]

dtmc_simulate(Matrix P, double[] pi0, int nSteps)

static double[]

dtmc_solve(Matrix P)

static Matrix

dtmc_stochcomp(Matrix P)

static Matrix

dtmc_stochcomp(Matrix P, int[] I)

static Matrix

dtmc_timereverse(Matrix P)

static Pair<double[],Integer>

dtmc_uniformization(double[] pi0, Matrix P)

static Pair<double[],Integer>

dtmc_uniformization(double[] pi0, Matrix P, double t)

static Pair<double[],Integer>

dtmc_uniformization(double[] pi0, Matrix P, double t, double tol)

static Pair<double[],Integer>

dtmc_uniformization(double[] pi0, Matrix P, double t, double tol, int maxiter)

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details
- dtmc_makestochastic
  
  public static Matrix dtmc_makestochastic(Matrix P)
- dtmc_isfeasible
  
  public static int dtmc_isfeasible(Matrix P)
- dtmc_solve
  
  public static double[] dtmc_solve(Matrix P)
- dtmc_rand
  
  public static Matrix dtmc_rand(int n)
- dtmc_simulate
  
  public static int[] dtmc_simulate(Matrix P, double[] pi0, int nSteps)
- dtmc_stochcomp
  
  public static Matrix dtmc_stochcomp(Matrix P)
- dtmc_stochcomp
  
  public static Matrix dtmc_stochcomp(Matrix P, int[] I)
- dtmc_timereverse
  
  public static Matrix dtmc_timereverse(Matrix P)
- dtmc_uniformization
  
  public static Pair<double[],Integer> dtmc_uniformization(double[] pi0, Matrix P)
- dtmc_uniformization
  
  public static Pair<double[],Integer> dtmc_uniformization(double[] pi0, Matrix P, double t)
- dtmc_uniformization
  
  public static Pair<double[],Integer> dtmc_uniformization(double[] pi0, Matrix P, double t, double tol)
- dtmc_uniformization
  
  public static Pair<double[],Integer> dtmc_uniformization(double[] pi0, Matrix P, double t, double tol, int maxiter)