research
∙
06/08/2023
Combined Left and Right Temporal Robustness for Control under STL Specifications
Many modern autonomous systems, particularly multi-agent systems, are ti...
share
research
∙
01/27/2023
Certified Invertibility in Neural Networks via Mixed-Integer Programming
Neural networks are notoriously vulnerable to adversarial attacks – smal...
research
∙
05/27/2022
Learning to Control Linear Systems can be Hard
In this paper, we study the statistical difficulty of learning to contro...
research
∙
04/03/2022
Adaptive Stochastic MPC under Unknown Noise Distribution
In this paper, we address the stochastic MPC (SMPC) problem for linear s...
research
∙
11/15/2020
Stability Analysis of Complementarity Systems with Neural Network Controllers
Complementarity problems, a class of mathematical optimization problems ...
research
∙
05/10/2020
BayesRace: Learning to race autonomously using prior experience
Learning to race autonomously is a challenging problem. It requires perc...
research
∙
04/16/2020
Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming
There has been an increasing interest in using neural networks in closed...
research
∙
02/12/2020
Computing the racing line using Bayesian optimization
A good racing strategy and in particular the racing line is decisive to ...
research
∙
01/22/2020
NeurOpt: Neural network based optimization for building energy management and climate control
Model predictive control (MPC) can provide significant energy cost savin...
research
∙
10/23/2019
Large Scale Model Predictive Control with Neural Networks and Primal Active Sets
This work presents an explicit-implicit procedure that combines an offli...
research
∙
10/23/2019
Learning Q-network for Active Information Acquisition
In this paper, we propose a novel Reinforcement Learning approach for so...
research
∙
10/09/2019
Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming
Quantifying the robustness of neural networks or verifying their safety ...
research
∙
06/12/2019
Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks
Tight estimation of the Lipschitz constant for deep neural networks (DNN...
research
∙
03/04/2019
Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming
Analyzing the robustness of neural networks against norm-bounded uncerta...
research
∙
03/27/2018
Cloud-based MPC with Encrypted Data
This paper explores the privacy of cloud outsourced Model Predictive Con...
research
∙
11/20/2017