selected scholarly activity
-
conferences
- Enclosing Reachable Sets for Nonlinear Control Systems using Complementarity-Based Intervals. IFAC-PapersOnLine. 590-595. 2021
- Enclosing Reachable Sets for Nonlinear Control Systems using Complementarity-Based Intervals. IFAC-PapersOnLine. 590-595. 2021
- Whitney differentiability of optimal-value functions for bound-constrained convex programming problems. Optimization. 691-711. 2019
- Subtangent-based approaches for dynamic set propagation. Proceedings of the IEEE Conference on Decision and Control. 3050-3055. 2018
- Generalized gradient elements for nonsmooth optimal control problems. Proceedings of the IEEE Conference on Decision and Control. 1887-1892. 2014
- Evaluating an Element of the Clarke Generalized Jacobian of a Piecewise Differentiable Function. Lecture Notes in Computational Science and Engineering. 115-125. 2012
- Global optimization of nonsmooth dynamic systems. Computing and Systems Technology Division - Core Programming Topic at the 2011 AIChE Annual Meeting. 1120-1121. 2011
-
journal articles
- Evaluating subgradients for convex relaxations of dynamic process models by adapting current tools. Computers and Chemical Engineering. 180:108462-108462. 2024
- General convex relaxations of implicit functions and inverse functions. Journal of Global Optimization. 86:545-572. 2023
- Automatic differentiation rules for Tsoukalas–Mitsos convex relaxations in global process optimization. Digital Chemical Engineering. 7:100097-100097. 2023
- Optimization-based convex relaxations for nonconvex parametric systems of ordinary differential equations. Mathematical programming. 196:521-565. 2022
- Solving Nonograms Using Integer Programming Without Coloring. IEEE Transactions on Games. 14:56-63. 2022
- Bounding convex relaxations of process models from below by tractable black-box sampling. Computers and Chemical Engineering. 153:107413-107413. 2021
- Constructing a subgradient from directional derivatives for functions of two variables. Journal of Nonsmooth Analysis and Optimization. Volume 1:2020. 2020
- Convergence of Subtangent-Based Relaxations of Nonlinear Programs. Processes. 7:221-221. 2019
- Branch-locking AD techniques for nonsmooth composite functions and nonsmooth implicit functions. Optimization Methods and Software. 33:1127-1155. 2018
- Computationally relevant generalized derivatives: theory, evaluation and applications. Optimization Methods and Software. 33:1030-1072. 2018
- Generalized Derivatives of Lexicographic Linear Programs. Journal of Optimization Theory and Applications. 178:477-501. 2018
- Corrections to: Differentiable McCormick relaxations. Journal of Global Optimization. 70:705-706. 2018
- Generalized Sensitivity Analysis of Nonlinear Programs. SIAM Journal on Optimization. 28:272-301. 2018
- Manifold Sampling for Optimization of Nonconvex Functions That Are Piecewise Linear Compositions of Smooth Components. SIAM Journal on Optimization. 28:3001-3024. 2018
- Generalized Derivatives for Hybrid Systems. IEEE Transactions on Automatic Control. 62:3193-3208. 2017
- Relating Lexicographic Smoothness and Directed Subdifferentiability. Set-Valued and Variational Analysis. 25:233-244. 2017
- Differentiable McCormick relaxations. Journal of Global Optimization. 67:687-729. 2017
- Generalized derivatives of dynamic systems with a linear program embedded. Automatica. 63:198-208. 2016
- A vector forward mode of automatic differentiation for generalized derivative evaluation. Optimization Methods and Software. 30:1185-1212. 2015
- Multistream heat exchanger modeling and design. AIChE Journal. 61:3390-3403. 2015
- Switching behavior of solutions of ordinary differential equations with abs-factorable right-hand sides. Systems & control letters (Print). 84:27-34. 2015
- Generalized Derivatives for Solutions of Parametric Ordinary Differential Equations with Non-differentiable Right-Hand Sides. Journal of Optimization Theory and Applications. 163:355-386. 2014
- Evaluating an element of the Clarke generalized Jacobian of a composite piecewise differentiable function. ACM Transactions on Mathematical Software. 39:1-28. 2013
- Sensitivity Analysis of Limit-Cycle Oscillating Hybrid Systems. SIAM Journal on Scientific Computing. 33:1475-1504. 2011