Ctmc_stmonotoneKt

All Implemented Interfaces:


public final class Ctmc_stmonotoneKt

Nested Class Summary

Nested Classes
Modifier and Type	Class	Description

Field Summary

Fields
Modifier and Type	Field	Description

Constructor Summary

Constructors
Constructor	Description

Enum Constant Summary

Enum Constants
Enum Constant	Description

Method Summary

Modifier and Type	Method	Description
`final static Matrix`	`ctmc_stmonotone(Matrix Q)`	Computes the stochastically monotone upper bound for a CTMC Based on Forneau, Pekergin - An Algorithmic Approach to Stochastic Bounds, Performance 2002
`final static Matrix`	`dtmc_stmonotone(Matrix P)`	Implementation of the dtmc_stmonotone algorithm Forneau, Pekergin - An Algorithmic Approach to Stochastic Bounds, Performance 2002 Algorithm 1

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

- Constructor Detail
- Method Detail
  - ctmc_stmonotone
```
 final static Matrix ctmc_stmonotone(Matrix Q)
```
    Computes the stochastically monotone upper bound for a CTMC Based on Forneau, Pekergin - An Algorithmic Approach to Stochastic Bounds, Performance 2002
    
    Parameters:
    
    Q - infinitesimal generator matrix
    
    Returns:
    
    Qub stochastically monotone upper bound infinitesimal generator
  - dtmc_stmonotone
```
 final static Matrix dtmc_stmonotone(Matrix P)
```
    Implementation of the dtmc_stmonotone algorithm Forneau, Pekergin - An Algorithmic Approach to Stochastic Bounds, Performance 2002 Algorithm 1
    
    Parameters:
    
    P - transition probability matrix
    
    Returns:
    
    Q stochastically monotone upper bound matrix