Construction of parametric barrier functions for dynamical systems using interval analysis

Semidefinite programming relaxations for semialgebraic problems

Pablo A. Parrilo · Mathematical Programming · 2003 · 1.6K citations

Natural Sciences, Computer Science, Mathematics +12

Applied interval analysis

Choice Reviews Online · 2002 · 1.3K citations

Logic in computer science: modelling and reasoning about systems

Choice Reviews Online · 2005 · 875 citations

Computing, Computer Science, Knowledge Representation +11

Partial Cylindrical Algebraic Decomposition for quantifier elimination

George E. Collins, Hoon Hong · Journal of Symbolic Computation · 1991 · 532 citations

Natural Sciences, Computer Science, Mathematics +8

Controllability and reachability criteria for switched linear systems

Zhendong Sun, Shuzhi Sam Ge, T. H. Lee · Automatica · 2002 · 475 citations

Engineering, Systems Engineering, Dynamical Systems +12