119 citations · 355 across the 60 of their papers we have counts for
3 papers · 2 filters
Using Spectral Submanifolds for Nonlinear Periodic Control
Florian Mahlknecht, John Irvin Alora, Shobhit Jain +4
Very high dimensional nonlinear systems arise in many engineering problems due to semi-discretization of the governing partial differential equations, e.g. through finite element m…
Second-Order Sensitivity Analysis for Bilevel Optimization
Robert Dyro, Edward Schmerling, Nikos Arechiga +1
In this work we derive a second-order approach to bilevel optimization, a type of mathematical programming in which the solution to a parameterized optimization problem (the "lower…
A Unified View of SDP-based Neural Network Verification through Completely Positive Programming
Robin Brown, Edward Schmerling, Navid Azizan +1
Verifying that input-output relationships of a neural network conform to prescribed operational specifications is a key enabler towards deploying these networks in safety-critical…