21 citations · 29 across the 8 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
math.OC2015
Overapproximating the Reachable Values Set of Piecewise Affine Systems Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions
Assalé Adjé
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 deve…
cs.LO2015
Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization
Assalé Adjé, Pierre-Loïc Garoche, Victor Magron
While abstract interpretation is not theoretically restricted to specific kinds of properties, it is, in practice, mainly developed to compute linear over-approximations of reachab…
cs.LO2015
A Sums-of-Squares Extension of Policy Iterations
Assalé Adjé, Pierre-Loïc Garoche, Victor Magron
In order to address the imprecision often introduced by widening operators in static analysis, policy iteration based on min-computations amounts to considering the characterizatio…