PEPS Project
User's Guide
Contact Us

Normalize DSC

In this step, the Sparse Markovian Descriptor is converted to a Continuous Normalized Descriptor. This convertion  consists in two parts, to normalize all Sparse Markovian Descriptor matrices and to remove all diagonal elements.  In the second part, we remove the diagonal elements of the local matrices and all synchronizing adjust matrices to generate a diagonal vector with all theses elements.  This technique improves the perfomance of the solutions methods developed in PEPS.

Theses modules also make some model analysis like the reachablility space state analysis, replacement of the functions with constant value by constant (reduce functions evaluations in solution time), normal factors multiplication order generation, etc.

The Section 5.1.2 in PEPS2007 manual descrives theses modules.

PEPS2007 implements two versions of this module.  One uses extended vectors and other uses sparse vectors.

Modules Download:

  • norm_dsc_ex - Sparse Markovian Descriptor normalizer (extended vectors)
  • norm_dsc_sp - Sparse Markovian Descriptor normalizer (sparse vectors)