Package org.oristool.models.stpn.trees

Class TransientStochasticStateFeature

java.lang.Object
org.oristool.models.stpn.trees.TransientStochasticStateFeature
All Implemented Interfaces:
StateFeature, Feature
public class TransientStochasticStateFeature extends Object implements StateFeature
State feature including the entering time distribution and reaching probability of a state.

  • Constructor Details

    • TransientStochasticStateFeature

      public TransientStochasticStateFeature()
      Builds an empty state feature.

    • TransientStochasticStateFeature

      public TransientStochasticStateFeature(TransientStochasticStateFeature other)
      Builds the copy of a state feature.
      Parameters:
      other - another state feature

  • Method Details

    • setEnteringTimeDensity

      public void setEnteringTimeDensity(StateDensityFunction enteringTimeDensity)

    • getReachingProbability

      public BigDecimal getReachingProbability()

    • setReachingProbability

      public void setReachingProbability(BigDecimal p)

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • getEnteringTimeDensity

      public StateDensityFunction getEnteringTimeDensity(StochasticStateFeature s)
      Returns the entering time density of a given instance.
      Parameters:
      s - stochastic state feature
      Returns:
      entering time density

    • getEnteringTimeUpperBound

      public OmegaBigDecimal getEnteringTimeUpperBound(StochasticStateFeature s)
      Returns the upper bound on the entering time for this transient state class.
      Parameters:
      s - stochastic state feature
      Returns:
      OmegaBigDecimal upper time bound

    • getEnteringTimeLowerBound

      public OmegaBigDecimal getEnteringTimeLowerBound(StochasticStateFeature s)
      Returns the lower bound on the entering time for this transient state class.
      Parameters:
      s - stochastic state feature
      Returns:
      OmegaBigDecimal upper time bound

    • getTimeUpperBound

      public OmegaBigDecimal getTimeUpperBound(StochasticStateFeature s)
      After timeUpperBound the probability of being in this class is zero.
      Parameters:
      s - stochastic state feature
      Returns:
      OmegaBigDecimal upper bound

    • computeTransientClassProbability

      public BigDecimal computeTransientClassProbability(OmegaBigDecimal time, StochasticStateFeature s)
      Computes the probability of being in this class at the specified time.
      Parameters:
      time - time point
      s - stochastic state feature
      Returns:
      BigDecimal probability value

    • computeVisitedProbability

      public BigDecimal computeVisitedProbability(OmegaBigDecimal alpha, OmegaBigDecimal beta, StochasticStateFeature s)
      Computes the probability of reaching this class at a time within the given interval [alpha,beta].
      Parameters:
      alpha - lower bound
      beta - upper bound
      s - stochastic state feature
      Returns:
      BigDecimal probability value