40 citations · 84 across the 14 of their papers we have counts for
3 papers · 1 filter
Solving quantified constraint satisfaction problems with applications to control
Éric Goubault, Nuwan Herath Mudiyanselage, Sylvie Putot
Many problems in control can be expressed as quantified constraints, such as robust forward and backward reachability, synthesis of controllers, solutions to motion planning proble…
A Logical Product Approach to Zonotope Intersection
Khalil Ghorbal, Eric Goubault, Sylvie Putot
We define and study a new abstract domain which is a fine-grained combination of zonotopes with polyhedric domains such as the interval, octagon, linear templates or polyhedron dom…
A zonotopic framework for functional abstractions
Eric Goubault, Sylvie Putot
This article formalizes an abstraction of input/output relations, based on parameterized zonotopes, which we call affine sets. We describe the abstract transfer functions and prove…