Background
Infinite-dimensional optimization (InfiniteOpt) problems contain variables that are defined over continuous spaces such as states over a space-time field or states under uncertainty. This classification of problems commonly embed complex modeling elements that include: measures (e.g., multi-dimensional integrals), differential algebraic equations (DAEs), and partial differential equations (PDEs). InfiniteOpt problems encompass a wide breadth of optimization fields that include stochastic optimization, dynamic optimization, PDE-constrained optimization, and combinations (e.g., stochastic PDEs). Applications pertaining to these optimization fields include model predictive control, process design, parameter estimation, reliability analysis, design of dynamic experiments, and more. Moreover, although problems in the aforementioned optimization fields are often identified as InfiniteOpt problems, there exists a conceptual gap in abstracting these problems rigorously through a common lens. Coherent abstractions play a key role in accelerating discovery and enabling general modeling languages.
Unifying Abstraction
To address the above gap, I developed a unifying abstraction for infinite-dimensional optimization problems. This abstraction enables us to navigate the complexity in modeling/optimizing systems involving continuous domains (e.g., space-time, uncertainty). This integrates a number of distinct optimization fields to facilitate theoretical crossover that has led to several scientific discoveries such as highly accurate model identification for dynamic systems, new risk assessment metrics for decision-making, characterizing uncertainty via random field theory, the incorporation of neural operator surrogates into decision-making, and event-constrained optimization; all of which have inspired a significant number of publications. Moreover, I implemented the abstraction in the Julia software package InfiniteOpt.jl which has amassed a large number of users across a wide breadth of application areas. This software package has also helped accelerate scientific discoveries and ensure these are accessible to individuals in diverse disciplines. For instance, InfiniteOpt.jl recently enabled evolutionary biologists to compare the paths chosen by mice against rigorous path planning determined by advanced decision-making techniques.