%P 4235 -4240 %R 10.1109/CDC.2012.6426761 %T Stability analysis of discrete-time piecewise-affine systems over non-invariant domains %L eprints1472 %I IEEE %X This paper analyzes stability of discrete-time piecewise-affine systems defined on non-invariant domains. An algorithm based on linear programming is proposed, in order to prove the exponential stability of the origin and to find a positively invariant estimate of the region of attraction. The theoretical results are based on the definition of a piecewise-affine, possibly discontinuous, Lyapunov function. The proposed method presents a relatively low computational burden, and is proven to lead to feasible solutions in a broader range of cases with respect to a previously proposed approach. %K Closed loop systems; Control theory; Lyapunov methods; Reachability analysis; Stability analysis; Vectors; Xenon %A Matteo Rubagotti %A Luca Zaccarian %A Alberto Bemporad %D 2012 %B Proceedings of the IEEE 51st Annual Conference on Decision and Control (CDC), 2012 %O 51st IEEE Conference on Decision and Control December 10-13, 2012. Maui, Hawaii, USA