@incollection{eprints1472,
           month = {December},
           pages = {4235 --4240},
       publisher = {IEEE},
          author = {Matteo Rubagotti and Luca Zaccarian and Alberto Bemporad},
            year = {2012},
           title = {Stability analysis of discrete-time piecewise-affine systems over non-invariant domains},
            note = {51st IEEE Conference on Decision and Control December 10-13, 2012. Maui, Hawaii, USA},
       booktitle = {Proceedings of the IEEE 51st Annual Conference on Decision and Control (CDC), 2012},
             url = {http://eprints.imtlucca.it/1472/},
        abstract = {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.},
        keywords = {Closed loop systems; Control theory; Lyapunov methods; Reachability analysis; Stability analysis; Vectors; Xenon}
}