mpt_transmap

MPT_TRANSMAP Computes transition map

 ---------------------------------------------------------------------------
 DESCRIPTION
 ---------------------------------------------------------------------------
 Prunes infeasible transitions. Specifically:
   domain(P2(j), A{i}, f{i}, P1(i)) is NOT feasible if tmap(i, j) is 0

 NOTE! If the function complains that extreme point enumeration failed, try to
 change the vertex enumeration method by:
   mpt_options('extreme_solver', 'matlab')
 or
   mpt_options('extreme_solver', 'cdd')

 ---------------------------------------------------------------------------
 INPUT
 ---------------------------------------------------------------------------
 Pn          - polytope array
 A, f        - cells containing affine map: x(k+1) = A{i}*x + f{i}
 Options.maxsph   - maximum number of separating hyperplnaes to compute
                    (default is Inf, i.e. no limit)
 Options.targetPn - optional target partition if it is different from Pn
 Options.lpsolver - LP solver to use
 Options.abs_tol  - absolute tolerance

 ---------------------------------------------------------------------------
 OUTPUT                                                                                                    
 ---------------------------------------------------------------------------
 tmap        - sparse matrix with non-zero elements on indexes which correspond
               to transitions whiche are POSSIBLY feasible.
 Pn          - input polyarray P1 with extreme points stored inside for each
               polytope
 ex          - extreme points of Pn as a cell array
 explus      - extreme points of the affine transformation A*x+f