mpt_reachXU

MPT_REACHXU One-step reachability computation for an affine system

 Xn = mpt_reachXU(X0, U0, A, B);
 Xn = mpt_reachXU(X0, U0, A, B, f);
 [Xn, V] = mpt_reachXU(X0, U0, A, B);

 ---------------------------------------------------------------------------
 DESCRIPTION
 ---------------------------------------------------------------------------
 Computes set Xn such that

  Xn = { xn | xn = A*x + B*u + f, x \in X0, u \in U0}

 ---------------------------------------------------------------------------
 INPUT
 ---------------------------------------------------------------------------
 X0       - set of initial conditions on states
 U0       - set of initial conditions on inputs
 A, B, f  - state update matrices

 ---------------------------------------------------------------------------
 OUTPUT                                                                                                    
 ---------------------------------------------------------------------------
 Xn       - polytope Xn (may be not full dimensional)
 V        - vertices of Xn

 see also POLYTOPE/RANGE, MPT_REACHSETS