research
∙
05/17/2023
Exact Recovery for System Identification with More Corrupt Data than Clean Data
In this paper, we study the system identification problem for linear dis...
share
research
∙
03/31/2022
Synthesis of Stabilizing Recurrent Equilibrium Network Controllers
We propose a parameterization of a nonlinear dynamic controller based on...
research
∙
12/18/2021
Data-Driven Reachability analysis and Support set Estimation with Christoffel Functions
We present algorithms for estimating the forward reachable set of a dyna...
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
∙
07/18/2021
Detecting Braess Routes: an Algorithm Accounting for Queuing Delays With an Extended Graph
The Braess paradox is a counter-intuitive phenomenon whereby adding road...
research
∙
04/28/2021
Symbolic Abstractions From Data: A PAC Learning Approach
Symbolic control techniques aim to satisfy complex logic specifications....
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
∙
09/30/2020
Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications
Urban Air Mobility (UAM), or the scenario where multiple manned and Unma...
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
∙
05/25/2020
Passivity-based distributed acquisition and station-keeping control of a satellite constellation in areostationary orbit
We present a distributed control law to assemble a cluster of satellites...
research
∙
04/12/2018