Class MarkedMarkovProcess

All Implemented Interfaces:
Serializable

public class MarkedMarkovProcess extends MarkovProcess
A class for continuous time Markov chain where transitions are labeled
See Also:
  • Field Details

  • Constructor Details

    • MarkedMarkovProcess

      public 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

      public 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

      public 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 Details

    • toMAP

      public MAP toMAP(Event ev)
      Convert to MAP for a specific event
      Parameters:
      ev - the event to convert to MAP
      Returns:
      the MAP representation
    • toMAP

      public 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

      public MatrixCell embeddedSolve(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

      public MatrixCell embeddedSolve()
      Solve for embedded probabilities for all events
      Returns:
      the embedded probabilities for each event
    • getEventFilt

      public MatrixCell getEventFilt()
      Get the event filter matrices
      Returns:
      the event filter matrices
    • getEventList

      public List<Map<String,Object>> getEventList()
      Get the event list
      Returns:
      the event list
    • fromSampleSysAggr

      public static MarkedMarkovProcess fromSampleSysAggr(Object sa)
      Create MarkedCTMC from sample system aggregation. Matches MATLAB MarkedMarkovProcess.fromSampleSysAggr(). Constructs a MarkedMarkovProcess from sampled state trajectories by: 1. Computing the Cartesian product of per-node states to get system states 2. Building a DTMC from transition counts 3. Computing holding times 4. Creating the infinitesimal generator 5. Building event filter matrices from the event list
      Parameters:
      sa - the sample aggregation (SampleSysState from SSA/CTMC solver)
      Returns:
      MarkedCTMC constructed from samples