47 citations · 95 across the 15 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.OC2021
On a polynomial positivity question of Collins, Dykema, and Torres-Ayala related to the Bessis-Moussa-Villani Conjecture
Edward D. Kim, Joe Miller, Laura Zinnel
We construct sum of squares certificates of non-negativity for two families of polynomials appearing as a variant by Collins, Dykema, and Torres-Ayala to Häegele's reformulation of…
eess.SY2021
Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems
Edward Kim, Stanley Bak, Parasara Sridhar Duggirala
Reachable set computation is an important technique for the verification of safety properties of dynamical systems. In this paper, we investigate reachable set computation for disc…