activity
20102026
most citedEvaluating Robustness of Neural Networks with Mixed Integer Programming

327 citations · 1.3k across the 66 of their papers we have counts for

collaborators
Showing math.OCShow all

5 papers · 1 filter

math.OC2022★ 5 cited

Globally Convergent Policy Search over Dynamic Filters for Output Estimation

Jack Umenberger, Max Simchowitz, Juan C. Perdomo +2

We introduce the first direct policy search algorithm which provably converges to the globally optimal filter for the classical problem of predicting the outputs…

math.OC2019

Linear Encodings for Polytope Containment Problems

Sadra Sadraddini, Russ Tedrake

The polytope containment problem is deciding whether a polytope is a contained within another polytope. This problem is rooted in computational convexity, and arises in application…

math.OC2012★ 3 cited

Complexity of Ten Decision Problems in Continuous Time Dynamical Systems

Amir Ali Ahmadi, Anirudha Majumdar, Russ Tedrake

We show that for continuous time dynamical systems described by polynomial differential equations of modest degree (typically equal to three), the following decision problems which…

math.OC2010

Regions of Attraction for Hybrid Limit Cycles of Walking Robots

Ian R. Manchester, Mark M. Tobenkin, Michael Levashov +1

This paper illustrates the application of recent research in region-of-attraction analysis for nonlinear hybrid limit cycles. Three example systems are analyzed in detail: the van…

math.OC2010★ 27 cited

Convex Optimization In Identification Of Stable Non-Linear State Space Models

Mark M. Tobenkin, Ian R. Manchester, Jennifer Wang +2

A new framework for nonlinear system identification is presented in terms of optimal fitting of stable nonlinear state space equations to input/output/state data, with a performanc…