---
author:
- 'Assalé Adjé[^1]'
- 'Pierre-Loïc Garoche'
- Victor Magron
bibliography:
- 'policySOSbib.bib'
title: 'A Sums-of-Squares Extension of Policy Iterations'
---

Introduction {#introSOS}
============

Constrained Piecewise Discrete-Time Polynomial Systems: Definition and Collecting Semantics {#sec:contextSOS}
===========================================================================================

Basic Semi-algebraic Inductive Invariants Set {#sec:basicinductive-domainsSOS}
=============================================

SOS-based Relaxed Semantics  {#sec:relaxedSOS}
============================

Policy Iteration in Polynomial Templates Abstract Domains {#sec:policySOS}
=========================================================

Experiments {#sec:exampleSOS}
===========

Conclusion {#sec:concluSOS}
==========

Acknowledgments {#acknowledgments .unnumbered}
===============

The research leading to these results has partly received funding from the European Research Council under the European Union’s Seventh Framework Programme (FP/2007-2013) / ERC Grant Agreement nr. 306595 “STATOR”, the LabEx PERSYVAL-Lab (ANR-11-LABX-0025-01) funded by the French program “Investissement d’avenir”, the RTRA/STAE BRIEFCASE project grant, the ANR projects INS-2012-007 CAFEIN, and ASTRID VORACE.

[^1]: The work was done when the author was at IRIT, Université Paul Sabatier at Toulouse and was supported by the CIMI (Centre International de Mathématiques et d’Informatique) Excellence program ANR-11-LABX-0040-CIMI within the program ANR-11-IDEX-0002-02 during a postdoctoral fellowship.
