ctmc Directory Reference

Directory dependency graph for ctmc:

Files
	ctmc_stationary.h
	Port of matlab/src/solvers/CTMC/ctmc_stationary.m: the single entry point for the stationary distribution of a CTMC generated from a NetworkStruct.
	solver_ctmc.h
	Port of solver_ctmc.m: the infinitesimal generator of a queueing network, assembled from the enumerated state space and the synchronization list.
	solver_ctmc_analyzer.h
	Port of solver_ctmc_analyzer.m and the parts of @@SolverCTMC/runAnalyzer.m that surround one solve: the method gate, the open-model CUTOFF, the state space and synchronization construction, the stationary solve with its reducible-generator handling, and the mapping onto the AvgTable columns.
	solver_ctmc_cdf.h
	Port of @@SolverCTMC/getCdfRespT.m and @@SolverCTMC/getCdfSysRespT.m: the exact distribution of the response time, not just its mean.
	solver_ctmc_cftp.h
	The cftp and cftp.approx methods of SolverCTMC: stationary analysis of a closed single-class product-form network by PERFECT SAMPLING rather than state-space enumeration.
	solver_ctmc_chain.h
	Port of matlab/src/solvers/CTMC/solver_ctmc_chain.m and solver_ctmc_chain_transient.m: SolverCTMC applied to a USER-SUPPLIED Markov chain rather than to a queueing network.
	solver_ctmc_fcr.h
	Finite Capacity Regions in SolverCTMC: the DROP rule, as a filter on the enumerated state space, and the gate that refuses WAITQ.
	solver_ctmc_getters.h
	The remaining @@SolverCTMC accessors: getGenerator / getInfGen, getStateSpace / getStateSpaceAggr and the getTranProb* family.
	solver_ctmc_mdd_analyzer.h
	The mdd method of SolverCTMC: stationary analysis of a closed single-class network whose state space is held in a decision diagram and solved by level aggregation.
	solver_ctmc_prob.h
	The SolverCTMC probability family: solver_ctmc_joint, _jointaggr, _marg, _margaggr, and the gate @@SolverCTMC/assertPhaseTypeStates puts in front of all four.
	solver_ctmc_reward.h
	Port of solver_ctmc_reward.m and the @@SolverCTMC reward surface (runRewardAnalyzer, getAvgReward, getTranReward).
	solver_ctmc_sample.h
	Port of the @@SolverCTMC sampling surface: sample, sampleAggr, sampleSys, sampleSysAggr.
	solver_ctmc_sens.h
	Port of @@SolverCTMC/getSensitivity and getSensitivityRanking: the parametric sensitivity of a steady-state reward to a scalar model parameter, following Trivedi and Bobbio (2017), Sec.
	solver_ctmc_symbolic.h
	Port of @@SolverCTMC/getSymbolicGenerator and getSymbolicSolution.
	solver_ctmc_transient.h
	Port of solver_ctmc_transient_analyzer.m: the time-dependent counterpart of solver_ctmc_analyzer, integrating dpi/dt = pi Q from a point mass on the initial state instead of solving pi Q = 0.
	solver_ctmc_waitq.h
	Port of solver_ctmc_fcr_waitq.m: the reachability-built generator of a model whose finite capacity region applies WAITQ.