13 citations · 31 across the 7 of their papers we have counts for
Showing math.OCShow all
3 papers · 1 filter
math.OC2023★ 6 cited
Optimizing over trained GNNs via symmetry breaking
Shiqiang Zhang, Juan S. Campos, Christian Feldmann +5
Optimization over trained machine learning models has applications including: verification, minimizing neural acquisition functions, and integrating a trained surrogate into a larg…
math.OC2020
Torsion Discriminance for Stability of Linear Time-Invariant Systems
Yuxin Wang, Huafei Sun, Yueqi Cao +1
This paper proposes a new approach to describe the stability of linear time-invariant systems via the torsion of the state trajectory. For a system where…
math.OC2018★ 2 cited
Description of Stability for Two and Three-Dimensional Linear Time-Invariant Systems Based on Curvature and Torsion
Yuxin Wang, Huafei Sun, Yang Song +2
This paper focuses on using curvature and torsion to describe the stability of linear time-invariant system. We prove that for a two-dimensional system , (i) if…