research
∙
03/31/2022
Synthesis of Stabilizing Recurrent Equilibrium Network Controllers
We propose a parameterization of a nonlinear dynamic controller based on...
share
research
∙
02/23/2022
Learning Neural Networks under Input-Output Specifications
In this paper, we examine an important problem of learning neural networ...
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
∙
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