Quantified Set Inversion Algorithm with Applications to Control

Aircraft Control and Simulation

Brian Stevens, Frank L. Lewis · Aircraft Engineering and Aerospace Technology · 2004 · 3.1K citations

Engineering, Aerospace Engineering, Systems Engineering +17

Quantifier elimination for real closed fields by cylindrical algebraic decomposition

Gary S. Collins · Medical Entomology and Zoology · 1975 · 902 citations

Natural Sciences, Computer Science, Mathematics +9

Set inversion via interval analysis for nonlinear bounded-error estimation

Luc Jaulin, Éric Walter · Automatica · 1993 · 431 citations

Natural Sciences, Computer Science, Mathematics +12

A New Technique in Systems Analysis Under Interval Uncertainty and Ambiguity

Sergey P. Shary · Reliable Computing · 2002 · 191 citations

Computing, Mathematics, Systems Engineering +15

Model Intervals

Ernest Gardeñes, Miguel Saínz, Lambert Jorba et al. · Reliable Computing · 2001 · 85 citations