  We have recently constructed a piecewise quadratic Lyapunov function to prove
the boundedness of the reachable values set of piecewise affine discrete-time
systems. The method developed also provided an overapproximation of the
reachable values set. In this paper, we refine the latter overapproximation
extending previous works combining policy iterations with quadratic Lyapunov
functions.
