Tightening state relaxations for global dynamic optimization using dynamic cuts. - Ye, Jason; Scott, Joseph K. (Journal of Global Optimization, 2025)