%N 9 %V 58 %L eprints1811 %X This note proposes a method to analyze uniform asymptotic stability and uniform ultimate boundedness of uncertain piecewise affine systems whose dynamics are only defined in a bounded and possibly non-invariant set X of states. The approach relies on introducing fake dynamics outside X and on synthesizing a piecewise affine and possibly discontinuous Lyapunov function via linear programming. The existence of such a function proves stability properties of the original system and allows the determination of a region of attraction contained in X. The procedure is particularly useful in practical applications for analyzing the stability of piecewise affine control systems that are only defined over a bounded subset X of the state space, and to determine whether for a given set of initial conditions the trajectories of the state vector remain within the domain X. %K Model predictive control (MPC); piecewise affine (PWA); piecewise quadratic (PWQ) %I IEEE %D 2013 %A Matteo Rubagotti %A Sergio Trimboli %A Alberto Bemporad %J IEEE Transactions on Automatic Control %P 2359-2365 %T Stability and Invariance Analysis of Uncertain Discrete-Time Piecewise Affine Systems %R 10.1109/TAC.2013.2251774