97 citations · 403 across the 15 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.DS2018
Semidefinite Approximations of Invariant Measures for Polynomial Systems
Victor Magron, Marcelo Forets, Didier Henrion
We consider the problem of approximating numerically the moments and the supports of measures which are invariant with respect to the dynamics of continuous- and discrete-time poly…
eess.SY2018★ 62 cited
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices
Sergiy Bogomolov, Marcelo Forets, Goran Frehse +3
Approximating the set of reachable states of a dynamical system is an algorithmic yet mathematically rigorous way to reason about its safety. Although progress has been made in the…