Robust and Efficient Methods for Approximation and Optimization of Stability Measures. - Tim Mitchell (2014)

A BFGS-SQP method for nonsmooth, nonconvex, constrained optimization and its evaluation using relative minimization profiles. - Frank E. Curtis; Tim Mitchell; Michael L. Overton (Optim. Methods Softw., 2017)

Approximating the Real Structured Stability Radius with Frobenius-Norm Bounded Perturbations. - Nicola Guglielmi; Mert Gürbüzbalaban; Tim Mitchell; Michael L. Overton (SIAM J. Matrix Anal. Appl., 2017)

Low-Order Control Design using a Reduced-Order Model with a Stability Constraint on the Full-Order Model. - Peter Benner; Tim Mitchell; Michael L. Overton (CDC, 2018)

On reduced input-output dynamic mode decomposition. - Peter Benner; Christian Himpe; Tim Mitchell (Adv. Comput. Math., 2018)

Faster and More Accurate Computation of the ℋ∞ Norm via Optimization. - Peter Benner; Tim Mitchell (SIAM J. Sci. Comput., 2018)

Fast Computation of Sepλ via Interpolation-based Globality Certificates. - Tim Mitchell (CoRR, 2019)

Extended and Improved Criss-Cross Algorithms for Computing the Spectral Value Set Abscissa and Radius. - Peter Benner; Tim Mitchell (SIAM J. Matrix Anal. Appl., 2019)

Computing the Kreiss Constant of a Matrix. - Tim Mitchell (SIAM J. Matrix Anal. Appl., 2020)

Numerical Modelling of Electron Beam Welding of Pure Niobium with Beam Oscillation: Towards Industry 4.0. - Yi Yin; Vitalijs Jefimovs; Tim Mitchell; Andrew Kennedy; Darren Williams; Yingtao Tian (ICAC, 2021)

Optimization-based parametric model order reduction via H2⊗L2 first-order necessary conditions. - Manuela Hund; Tim Mitchell; Petar Mlinaric; Jens Saak (CoRR, 2021)

Fast optimization of viscosities for frequency-weighted damping of second-order systems. - Nevena Jakovcevic Stor; Tim Mitchell; Zoran Tomljanovic; Matea Ugrica (CoRR, 2021)

Fast Interpolation-Based Globality Certificates for Computing Kreiss Constants and the Distance to Uncontrollability. - Tim Mitchell (SIAM J. Matrix Anal. Appl., 2021)

Optimization for Robustness Evaluation beyond 𝓁p Metrics. - Hengyue Liang; Buyun Liang 001; Ying Cui; Tim Mitchell; Ju Sun (CoRR, 2022)

NCVX: A General-Purpose Optimization Solver for Constrained Machine and Deep Learning. - Buyun Liang 001; Tim Mitchell; Ju Sun (CoRR, 2022)

On properties of univariate max functions at local maximizers. - Tim Mitchell; Michael L. Overton (Optim. Lett., 2022)

Optimization-based Parametric Model Order Reduction via ${{ mathcal{H}_2} otimes { mathcal{L}_2}}$ First-order Necessary Conditions. - Manuela Hund; Tim Mitchell; Petar Mlinaric; Jens Saak (SIAM J. Sci. Comput., 2022)

Implications of Solution Patterns on Adversarial Robustness. - Hengyue Liang; Buyun Liang 001; Ju Sun; Ying Cui; Tim Mitchell (CVPR Workshops, 2023)

Optimization for Robustness Evaluation Beyond ℓp Metrics. - Hengyue Liang; Buyun Liang 001; Ying Cui; Tim Mitchell; Ju Sun (ICASSP, 2023)

Optimization and Optimizers for Adversarial Robustness. - Hengyue Liang; Buyun Liang 001; Le Peng; Ying Cui; Tim Mitchell; Ju Sun (CoRR, 2023)

An Experimental Comparison of Methods for Computing the Numerical Radius. - Tim Mitchell; Michael L. Overton (CoRR, 2023)

Convergence Rate Analysis and Improved Iterations for Numerical Radius Computation. - Tim Mitchell (SIAM J. Sci. Comput., 2023)

Root-Max Problems, Hybrid Expansion-Contraction, and Quadratically Convergent Optimization of Passive Systems. - Tim Mitchell; Paul Van Dooren (SIAM J. Matrix Anal. Appl., 2023)

Prediction of Electron Beam Welding Penetration Depth Using Machine Learning-Enhanced Computational Fluid Dynamics Modelling. - Yi Yin; Yingtao Tian; Jialuo Ding; Tim Mitchell; Jian Qin 002 (Sensors, 2023)