Package jline.lang.processes

Class MarkedMarkovProcess

java.lang.Object

jline.lang.processes.Process

jline.lang.processes.MarkovProcess

jline.lang.processes.MarkedMarkovProcess

All Implemented Interfaces:

Serializable

public class MarkedMarkovProcess
extends MarkovProcess

A class for continuous time Markov chain where transitions are labeled

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
protected MatrixCell	eventFilt
protected List<Map<String,Object>>	eventList

Fields inherited from class jline.lang.processes.MarkovProcess

infGen, isfinite, stateSpace

Fields inherited from class jline.lang.processes.Process

name, params

Constructor Summary

Constructors

Constructor	Description
MarkedMarkovProcess(Matrix infGen, MatrixCell eventFilt, List<Map<String,Object>> evs)	Creates a MarkedCTMC with the specified generator, event filters, and events
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
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

Method Summary

Modifier and Type	Method	Description
MatrixCell	embeddedSolve()	Solve for embedded probabilities for all events
MatrixCell	embeddedSolve(int[] evset)	Solve for embedded probabilities for specified event set
static MarkedMarkovProcess	fromSampleSysAggr(Object sa)	Create MarkedCTMC from sample system aggregation.
MatrixCell	getEventFilt()	Get the event filter matrices
List<Map<String,Object>>	getEventList()	Get the event list
MAP	toMAP(EventType evtype, int node, int jobclass)	Convert to MAP for a specific event type, node, and class
MAP	toMAP(Event ev)	Convert to MAP for a specific event

Methods inherited from class jline.lang.processes.MarkovProcess

aggregate, fromSampleSysAggr, fromSampleSysAggr, fromSampleSysAggr, fromSampleSysAggr, getGenerator, getProbState, getProbState, getStateSpace, isFeasible, isFinite, rand, sample, sample, sample, sens, setStateSpace, solve, solveRelative, stochComp, stochCompFull, timeAverage, toDTMC, toDTMC, toEmbedded, toTimeReversed, transientProb, transientProb

Methods inherited from class jline.lang.processes.Process

getName, getNumParams, getParam, name, numParams, param, setParam

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

eventFilt

protected MatrixCell eventFilt

eventList

protected List<Map<String,Object>> eventList

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