Package jline.api.mc

Class Ctmc_solve_reducible_blkdecomp

java.lang.Object
jline.api.mc.Ctmc_solve_reducible_blkdecomp

public final class Ctmc_solve_reducible_blkdecomp extends Object
Solve reducible CTMCs via direct block decomposition on the generator matrix. Algorithm (based on SMART's computeInfinityDistribution): 1. Decompose states into transient and recurrent classes via SCC detection 2. For transient states: solve n * Q_tt = -p0_t for expected sojourn 3. Compute hitting probabilities: h = n * Q_ta + p0_r 4. For each recurrent class: solve pi_c * Q_cc = 0, scale by hitting prob