research
∙
03/31/2022
Synthesis of Stabilizing Recurrent Equilibrium Network Controllers
We propose a parameterization of a nonlinear dynamic controller based on...
share
research
∙
03/03/2022
Efficient Data Structures for Exploiting Sparsity and Structure in Representation of Polynomial Optimization Problems: Implementation in SOSTOOLS
We present a new data structure for representation of polynomial variabl...
research
∙
01/03/2022
Revisiting PGD Attacks for Stability Analysis of Large-Scale Nonlinear Systems and Perception-Based Control
Many existing region-of-attraction (ROA) analysis tools find difficulty ...
research
∙
11/30/2021
Model-Free μ Synthesis via Adversarial Reinforcement Learning
Motivated by the recent empirical success of policy-based reinforcement ...
research
∙
11/25/2021
Robustness against Adversarial Attacks in Neural Networks using Incremental Dissipativity
Adversarial examples can easily degrade the classification performance i...
research
∙
09/08/2021
Recurrent Neural Network Controllers Synthesis with Stability Guarantees for Partially Observed Systems
Neural network controllers have become popular in control tasks thanks t...
research
∙
11/03/2020
Iterative Best Response for Multi-Body Asset-Guarding Games
We present a numerical approach to finding optimal trajectories for play...
research
∙
05/25/2020
Optimal assignment of collaborating agents in multi-body asset-guarding games
We study a multi-body asset-guarding game in missile defense where teams...
research
∙
01/26/2020
Tractable Reinforcement Learning of Signal Temporal Logic Objectives
Signal temporal logic (STL) is an expressive language to specify time-bo...
research
∙
11/03/2017
Analysis of Approximate Stochastic Gradient Using Quadratic Constraints and Sequential Semidefinite Programs
We present convergence rate analysis for the approximate stochastic grad...
research
∙
06/25/2017