TY - RPRT TI - Overapproximating the Reachable Values Set of Piecewise Affine Systems Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions AU - Assalé Adjé PY - 2016 UR - https://arxiv.org/abs/1506.02857 ID - 1506.02857 ER -