Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions
Assalé Adjé · 2017
We recently constructed piecewise quadratic Lyapunov functions to compute overapproximations over the reachable values set of piecewise affine discrete-time systems. The overapproximations can be viewed as the solutions of an inverse problem. However these overapproximations can be loose. In this paper, we refine the latter overapproximations extending previous works combining policy iterations with quadratic Lyapunov functions.