Opened 10 years ago

Last modified 8 years ago

#32 new enhancement

The probabilities comparison in the Bisimulation engine.

Reported by: Dr. Ivan S. Zapreev Owned by: Christina Jansen
Priority: major Milestone: MRMC future
Component: Bisimulation Engine Version: 1.3
Keywords: Cc: Viet Yen Nguyen

Description

Somewhere in probabilistic bisimulation we test that probability values are equal. At present this is done up to some error margin, smth like 1e-6. I believe that this parameter has to be available for the user to manage. At least it should be clearly visible that we do probability comparison up to certain error. Also this has to be states in the manual. I suggest:

  1. make this parameter a manageable MRMC runtime option
  2. Update the MRMC manual correspondingly.

Change History (1)

comment:1 Changed 8 years ago by davidjansen

The file src/lumping/sort.c currently contains the relevant constant EPSILON, which is #defined to be 3e-12.

Note: See TracTickets for help on using tickets.