Publications
-
NCVX: A User-Friendly and Scalable Package for Nonconvex Optimization in Machine Learning
Buyun Liang,
Tim Mitchell,
and
Ju Sun
Submitted, 2022.
Preprint available on arXiv.
-
Root-max Problems, Hybrid Expansion-Contraction, and
Quadratically Convergent Optimization of Passive Systems
Tim Mitchell
and
Paul Van Dooren
Accepted December 2022, to appear in SIAM J. Matrix Anal. Appl.
Preprint available on arXiv.
-
On Properties of Univariate Max Functions at Local Maximizers
Tim Mitchell
and
Michael L. Overton
Optim. Lett., 16:2527-2541, 2022.
Preprint available on arXiv.
-
Fast optimization of viscosities for frequency-weighted damping of
second-order systems
Nevena Jakovčević Stor,
Tim Mitchell,
Zoran Tomljanović, and
Matea Ugrica
Accepted November 2022, to appear in Z. Angew. Math. Mech.
Preprint available on arXiv.
-
Optimization-based parametric model order reduction via
H2⊗L2 first-order necessary conditions
Manuela Hund,
Tim Mitchell,
Petar Mlinarić, and
Jens Saak
SIAM J. Sci. Comput., 44(3):A1554-A1578, 2022.
Preprint available on arXiv.
-
Convergence rate analysis and improved iterations for numerical radius computation
Tim Mitchell
Accepted October 2022, to appear in SIAM J. Sci. Comput.
Preprint available on arXiv.
-
Fast Computation of Sep-lambda via Interpolation-based Globality Certificates
Tim Mitchell
Accepted January 2023, to appear in Electron. Trans. Numer. Anal.
Preprint available on arXiv.
-
Fast Interpolation-based Globality Certificates for Computing Kreiss Constants and the Distance to Uncontrollability
Tim Mitchell
SIAM J. Matrix Anal. Appl., 42(2):578-607, 2021
Preprint available on arXiv.
-
Computing the Kreiss Constant of a Matrix
Tim Mitchell
SIAM J. Matrix Anal. Appl., 41(4):1944-1975, 2020
Preprint available on arXiv.
-
A Comparison of Nonsmooth, Nonconvex, Constrained Optimization Solvers for the Design of Time-Delay Compensators
Vyacheslav Kungurtsev, Tim Mitchell, and
Tomas Vyhlídal
Submitted, 2018.
Preprints available on arXiv and
Optimization Online.
-
Low-Order Control Design using a Reduced-Order Model with a Stability Constraint on the Full-Order Model
Peter Benner, Tim Mitchell, and
Michael L. Overton
IEEE 57th Annual Conference on Decision and Control (CDC), 3000-3005, 2018.
Preprint available on arXiv.
-
Extended and improved criss-cross algorithms for computing the spectral value set abscissa and radius
Peter Benner and Tim Mitchell
SIAM J. Matrix Anal. Appl., 40(4):1325-1352, 2019.
Preprint available on arXiv.
-
Faster and more accurate computation of the H∞ norm via optimization
Peter Benner and Tim Mitchell
SIAM J. Sci. Comput., 40(5):A3609–A3635, 2018.
Preprint available on arXiv.
-
On Reduced Input-Output Dynamic Mode Decomposition
Peter Benner,
Christian Himpe, and
Tim Mitchell
Advances in Computational Mathematics, 44(6):1751–1768, 2018.
Preprint available on arXiv.
-
Approximating the Real Structured Stability Radius with Frobenius Norm Bounded Perturbations
Nicola Guglielmi, Mert Gürbüzbalaban,
Tim Mitchell, and Michael L. Overton
SIAM J. Matrix Anal. Appl., 38(4):1323–1353, 2017.
Preprint available on arXiv.
-
A BFGS-SQP Method for Nonsmooth, Nonconvex, Constrained Optimization and its Evaluation using Relative Minimization Profiles
Frank E. Curtis, Tim Mitchell, and Michael L. Overton
Optimization Methods and Software, 32(1):148–181, 2017.
-
Hybrid Expansion-Contraction: a Robust Scaleable Method for Approximating the H∞ Norm
Tim Mitchell and Michael L. Overton
IMA J. Numer. Anal., 36(3):985–1014, 2016.
-
Fixed low-order controller design and H∞ optimization for large-scale dynamical systems
Tim Mitchell and Michael L. Overton
Proceedings of 8th IFAC Symposium on Robust Control Design, Bratislava, 8-11 July 2015 (ROCOND 2015), pp. 25-30.
PhD Thesis