A generic ellipsoid abstract domain for linear time invariant systems
Pierre Le Roux, Romain Jobredeaux, Pierre-Loïc Garoche, Éric Féron · 2012
Embedded system control often relies on linear systems, which admit quadratic invariants. The parts of the code that host linear system implementations need dedicated analysis tools, since intervals or linear abstract domains will give imprecise results, if any at all, on these systems. Previous work by FERET proposes a specific abstraction for digital filters that addresses this issue on a specific class of controllers.