Class MarkedMarkovProcess

  • All Implemented Interfaces:
    java.io.Serializable

    
    public class MarkedMarkovProcess
    extends MarkovProcess
                        

    A class for continuous time Markov chain where transitions are labeled

    • Constructor Detail

      • MarkedMarkovProcess

        MarkedMarkovProcess(Matrix infGen, MatrixCell eventFilt, List<Map<String, Object>> evs)
        Creates a MarkedCTMC with the specified generator, event filters, and events
        Parameters:
        infGen - the infinitesimal generator matrix
        eventFilt - the event filter matrices
        evs - the event list
      • MarkedMarkovProcess

        MarkedMarkovProcess(Matrix infGen, MatrixCell eventFilt, List<Map<String, Object>> evs, boolean isFinite)
        Creates a MarkedCTMC with the specified generator, event filters, events, and finite flag
        Parameters:
        infGen - the infinitesimal generator matrix
        eventFilt - the event filter matrices
        evs - the event list
        isFinite - whether the CTMC is finite
      • MarkedMarkovProcess

        MarkedMarkovProcess(Matrix infGen, MatrixCell eventFilt, List<Map<String, Object>> evs, boolean isFinite, Matrix stateSpace)
        Creates a MarkedCTMC with the specified generator, event filters, events, finite flag, and state space
        Parameters:
        infGen - the infinitesimal generator matrix
        eventFilt - the event filter matrices
        evs - the event list
        isFinite - whether the CTMC is finite
        stateSpace - the state space representation
    • Method Detail

      • toMAP

         MAP toMAP(Event ev)

        Convert to MAP for a specific event

        Parameters:
        ev - the event to convert to MAP
        Returns:

        the MAP representation

      • toMAP

         MAP toMAP(EventType evtype, int node, int jobclass)

        Convert to MAP for a specific event type, node, and class

        Parameters:
        evtype - the event type
        node - the node index
        jobclass - the job class index
        Returns:

        the MAP representation

      • embeddedSolve

         MatrixCell embeddedSolve(Array<int> evset)

        Solve for embedded probabilities for specified event set

        Parameters:
        evset - the set of event indices to solve for (null for all events)
        Returns:

        the embedded probabilities for each event

      • embeddedSolve

         MatrixCell embeddedSolve()

        Solve for embedded probabilities for all events

        Returns:

        the embedded probabilities for each event

      • fromSampleSysAggr

         static MarkedMarkovProcess fromSampleSysAggr(Object sa)

        Create MarkedCTMC from sample system aggregation

        Parameters:
        sa - the sample aggregation
        Returns:

        MarkedCTMC constructed from samples