Publications

Opportunities for Price Manipulation by Aggregators in Electricity Markets

DOI

Real-time Optimal Power Flow

DOI

A Deterministic Method to Identify Multiple Local Extrema for the AC Optimal Power Flow Problem

DOI

Solvability regions of affinely parameterized quadratic equations

Constructing Convex Inner Approximations of Steady-State Security Regions

A Framework for Robust Long-Term Voltage Stability of Distribution Systems

DOI

Learning Optimal Conformal Classifiers

URL

(Certified!!) Adversarial Robustness for Free!

DOI URL

Role of Human-AI Interaction in Selective Prediction

URL

A Fine-Grained Analysis on Distribution Shift

URL

Robust optimization for electricity generation

Overcoming the Convex Barrier for Simplex Inputs

Overcoming the Convex Barrier for Simplex Inputs

Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications

URL

Fixed-point Theorem-based Voltage Stability Margin Estimation Techniques for Distribution Systems with Renewables

A fine-grained analysis of robustness to distribution shifts

Towards Verified Robustness under Text Deletion Interventions

The NodeHopper: Enabling Low Latency Ranking with Constraints via a Fast Dual Solver

The Autoencoding Variational Autoencoder

Optimal pricing in markets with nonconvex costs

Lagrangian decomposition for neural network verification

Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming

Efficient neural network verification with exactness characterization

Convergence of incentive-driven dynamics in Fisher markets

An efficient nonconvex reformulation of stagewise convex optimization problems

Achieving robustness in the wild via adversarial mixing with disentangled representations

A framework for robustness certification of smoothed classifiers using f-divergences

Verification of non-linear specifications for neural networks

Toward evaluating robustness of deep reinforcement learning with continuous control

Scalable verified training for provably robust image classification

Knowing when to stop: Evaluation and verification of conformity to output-size specifications

Convex restriction of power flow feasibility sets

Adversarially robust representations with smooth encoders

Adversarial robustness through local linearization

Achieving verified robustness to symbol substitutions via interval bound propagation

A sufficient condition for small-signal stability and construction of robust stability region

A Dual Approach to Verify and Train Deep Networks.

A dual approach to scalable verification of deep networks

URL

Optimal Adaptive Linearizations of the AC Power Flow Equations

DOI

Learning Fast Optimizers for Contextual Stochastic Integer Programs

PDF

High-Voltage Solution in Radial Power Networks: Existence, Properties, and Equivalent Algorithms

DOI

Convergence of incentive-driven dynamics in Fisher markets

Error bounds on the DC power flow approximation: A convex relaxation approach

Graphical models for optimal power flow

A differential analysis of the power flow equations

DOI

Convexity of structure preserving energy functions in power transmission: Novel results and applications

DOI

Systems of quadratic equations: Efficient solution algorithms and conditions for solvability

Convex Structured Controller Design in Finite Horizon

Universal Convexification via Risk-Aversion

Storage sizing and placement through operational and uncertainty-aware simulations

Convex risk averse control design

Automating Stochastic Optimal Control

Battery life estimation in a real-time energy management system

DOI

Time varying nonlinear Policy Gradients.

Linearly Solvable Optimal Control

DOI URL

From information theoretic dualities to path integral and kullback-leibler control: Continuous and discrete time formulations

Convexity of Optimal Linear Controller Design

Convex Control Design via Covariance Minimization

Linearly solvable Markov games

Distributed control of generation in a transmission grid with a high penetration of renewables

A Unifying Framework for Linearly Solvable Control

Inverse optimal control with linearly-solvable MDPs

A nullspace analysis of the nuclear norm heuristic for rank minimization

New Closed-Form Bounds on the Partition Function