%0 Book Section
%A Rubagotti, Matteo
%A Zaccarian, Luca
%A Bemporad, Alberto
%B Proceedings of the IEEE 51st Annual Conference on Decision and Control (CDC), 2012
%D 2012
%F eprints:1472
%I IEEE
%K Closed loop systems; Control theory; Lyapunov methods; Reachability analysis; Stability analysis; Vectors; Xenon
%P 4235 -4240
%T Stability analysis of discrete-time piecewise-affine systems over non-invariant domains
%U http://eprints.imtlucca.it/1472/
%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.
%Z 51st IEEE Conference on Decision and Control December 10-13, 2012. Maui, Hawaii, USA