Uses of Class
jline.solvers.ctmc.SolverCTMC.FirstPassageResult
Packages that use SolverCTMC.FirstPassageResult
Package
Description
Automatic solver selection and configuration for queueing networks.
This package provides an implementation of SolverCTMC.
-
Uses of SolverCTMC.FirstPassageResult in jline.solvers.auto
Methods in jline.solvers.auto that return SolverCTMC.FirstPassageResultModifier and TypeMethodDescriptionSolverAUTO.getCdfFirstPassT(Matrix A, Matrix B) First-passage-time distribution from state set A to state set B, always from SolverCTMC. -
Uses of SolverCTMC.FirstPassageResult in jline.solvers.ctmc
Methods in jline.solvers.ctmc that return SolverCTMC.FirstPassageResultModifier and TypeMethodDescriptionSolverCTMC.getCdfFirstPassT(Predicate<Matrix> A, Predicate<Matrix> B, Predicate<Matrix> C, double[] tset) AsSolverCTMC.getCdfFirstPassT(Matrix, Matrix, Matrix, double[])with each state set given as a PREDICATE over the rows ofSolverCTMC.getStateSpaceAggr(), which index the same states as the generator.SolverCTMC.getCdfFirstPassT(Matrix A, Matrix B) Distribution of the FIRST PASSAGE TIME from state set A into state set B, on the CTMC underlying this model.SolverCTMC.getCdfFirstPassT(Matrix A, Matrix B, Matrix C) First passage from A into B under the TABOO set C: a passage that enters C before B is lost, so F becomes the DEFECTIVE law Pr{B entered by t, and C not entered before B}, which tends toreachProb< 1.SolverCTMC.getCdfFirstPassT(Matrix A, Matrix B, Matrix C, double[] tset) AsSolverCTMC.getCdfFirstPassT(Matrix, Matrix, Matrix)on the time grid TSET, which may be short and non-uniform; a +Inf entry returns the probability of ever entering B (before C), and a null or empty TSET selects the default horizon.