51 citations · 196 across the 44 of their papers we have counts for
4 papers · 1 filter
Realistic Extreme Behavior Generation for Improved AV Testing
Robert Dyro, Matthew Foutter, Ruolin Li +4
This work introduces a framework to diagnose the strengths and shortcomings of Autonomous Vehicle (AV) collision avoidance technology with synthetic yet realistic potential collisi…
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…