Solving Composed First-Order Constraints from Discrete-Time Robust Control

Stefan Ratschan, Luc Jaulin

This paper deals with a problem from discrete-time robust control which requires the solution of constraints over the reals that contain both universal and existential quantifiers.…