35 citations · 46 across the 6 of their papers we have counts for
Showing math.OCShow all
2 papers · 1 filter
math.OC2023
Initial Application of SONC to Lyapunov Stability of Dynamical Systems
Janin Heuer, Timo de Wolff
Certifying the stability of dynamical systems is a central and challenging task in control theory and systems analysis. To tackle these problems we present an algorithmic approach…
math.OC2020★ 11 cited
Global Optimization via the Dual SONC Cone and Linear Programming
Mareike Dressler, Janin Heuer, Helen Naumann +1
Using the dual cone of sums of nonnegative circuits (SONC), we provide a relaxation of the global optimization problem to minimize an exponential sum and, as a special case, a mult…