org.ginsim.service.tool.avatar.simulation.others

Class AvatarMDDSimulation

java.lang.Object

org.ginsim.service.tool.avatar.simulation.Simulation

org.ginsim.service.tool.avatar.simulation.AvatarSimulation

org.ginsim.service.tool.avatar.simulation.others.AvatarMDDSimulation

public class AvatarMDDSimulation
extends AvatarSimulation

Avatar simulation for the discovery of point and complex attractors.
Class providing all the functionalities to explore STGs, extend and rewire cycles.

Version:

1.0

Author:

Rui Henriques, Pedro T. Monteiro, Nuno Mendes

Nested Class Summary

Nested classes/interfaces inherited from class org.ginsim.service.tool.avatar.simulation.AvatarSimulation

AvatarSimulation.AvatarStrategy

Field Summary

Fields inherited from class org.ginsim.service.tool.avatar.simulation.AvatarSimulation

approxDepth, exhaustiveUpdater, keepOracle, keepTransients, maxPSize, maxRewiringSize, maxSteps, minCSize, minTransientSize, runs, smallStateSpace, strategy, tauInit

Fields inherited from class org.ginsim.service.tool.avatar.simulation.Simulation

chart, exit, isGUI, memory, model, oracle, outputDir, quiet, resultLog, t1

Constructor Summary

Constructors

Constructor and Description
AvatarMDDSimulation() Instantiates an Avatar simulation based on a logical model

Method Summary

Modifier and Type	Method and Description
MDDStateSet	calculateComplexAttractor(List<MDDStateSet> C, int t) Calculates a complex attractor based on the knowledge of previous incarnations
void	extendCycle(State v, MDDStateSet cycle, MDDStateSet result, int i, int tau, Map<String,Integer> time, int originalTime) Method for extending cycles before rewiring
void	rewriteGraph(MDDStateSet cycle, MDDStateSet out, FinalPaths pi) Method for rewiring a cycle
Result	runSimulation() Performs the simulation

Methods inherited from class org.ginsim.service.tool.avatar.simulation.AvatarSimulation

addModel, calculateComplexAttractor, dynamicUpdateValues, extendCycle, getName, parametersToString, rewriteGraph, runSim

Methods inherited from class org.ginsim.service.tool.avatar.simulation.Simulation

exit, output, publish, run, saveOutput, setComponents

Methods inherited from class java.lang.Object

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

Constructor Detail

AvatarMDDSimulation

public AvatarMDDSimulation()

Instantiates an Avatar simulation based on a logical model

Parameters:

_model - a stateful logical model possibly defining a set of initial states and oracles

Method Detail

runSimulation

public Result runSimulation()
                     throws Exception

Description copied from class: Simulation

Performs the simulation

Overrides:

runSimulation in class Simulation

Returns:

the discovered attractors, their reachability, and remaining contextual information

Throws:

Exception

calculateComplexAttractor

public MDDStateSet calculateComplexAttractor(List<MDDStateSet> C,
                                             int t)

Calculates a complex attractor based on the knowledge of previous incarnations

Parameters:

C - terminal cycles from all incarnations

t - the current time

Returns:

the revised complex attractor

rewriteGraph

public void rewriteGraph(MDDStateSet cycle,
                         MDDStateSet out,
                         FinalPaths pi)
                  throws Exception

Method for rewiring a cycle

Parameters:

cycle - the cycle (state-set) to be rewired

out - the exit states

pi - the transitions between cycle and exit states whose probability is to be adjusted

Throws:

Exception

extendCycle

public void extendCycle(State v,
                        MDDStateSet cycle,
                        MDDStateSet result,
                        int i,
                        int tau,
                        Map<String,Integer> time,
                        int originalTime)

Method for extending cycles before rewiring

Parameters:

v - the state being expanded (null at the start)

cycle - the state-set representing the initial cycle

result - the extended cycle

i - the current time

tau - the expansion rate

time - structure maintaining the time/depth of the included states

originalTime - the original time