Optimization-based convex relaxations for nonconvex parametric systems of ordinary differential equations
Novel convex and concave relaxations are proposed for the solutions of parametric ordinary
differential equations (ODEs), to aid in furnishing bounding information for deterministic …
differential equations (ODEs), to aid in furnishing bounding information for deterministic …
Semidefinite approximations of reachable sets for discrete-time polynomial systems
We consider the problem of approximating the reachable set of a discrete-time polynomial
system from a semialgebraic set of initial conditions under general semialgebraic set …
system from a semialgebraic set of initial conditions under general semialgebraic set …