6 citations · 14 across the 3 of their papers we have counts for
3 papers
eess.SY2019★ 2 cited
Backward Reachability for Polynomial Systems on A Finite Horizon
He Yin, Murat Arcak, Andrew Packard +1
A method is presented to obtain an inner-approximation of the backward reachable set (BRS) of a given target tube, along with an admissible controller that maintains trajectories i…
stat.ML2017★ 6 cited
A Unified Analysis of Stochastic Optimization Methods Using Jump System Theory and Quadratic Constraints
Bin Hu, Peter Seiler, Anders Rantzer
We develop a simple routine unifying the analysis of several important recently-developed stochastic optimization methods including SAGA, Finito, and stochastic dual coordinate asc…
math.OC2013★ 6 cited
Simplification Methods for Sum-of-Squares Programs
Peter Seiler, Qian Zheng, Gary Balas
A sum-of-squares is a polynomial that can be expressed as a sum of squares of other polynomials. Determining if a sum-of-squares decomposition exists for a given polynomial is equi…