conftrace_
← Systems
Robotics › Systems ›

Control Theory

85 papers

Papers per year

3
1
13
1
'10
'15
'20
'25

Papers

Learning-enabled Polynomial Lyapunov Function Synthesis via High-Accuracy Counterexample-Guided Framework CVPR 2025
Provably Safe Neural Network Controllers via Differential Dynamic Logic NIPS 2024
C-GAIL: Stabilizing Generative Adversarial Imitation Learning with Control Theory NIPS 2024
Online Control with Adversarial Disturbance for Continuous-time Linear Systems NIPS 2024
Performative Control for Linear Dynamical Systems NIPS 2024
Input-to-State Stable Coupled Oscillator Networks for Closed-form Model-based Control in Latent Space NIPS 2024
NeuralFluid: Nueral Fluidic System Design and Control with Differentiable Simulation NIPS 2024
Disentangling Linear Quadratic Control with Untrusted ML Predictions NIPS 2024
A New, Physics-Informed Continuous-Time Reinforcement Learning Algorithm with Performance Guarantees JMLR 2024
Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers AAAI 2023
Online Nonstochastic Control with Adversarial and Static Constraints ICML 2023
Augmented RBMLE-UCB Approach for Adaptive Control of Linear Quadratic Systems NIPS 2022
Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions NIPS 2022
Global Convergence of Direct Policy Search for State-Feedback $\mathcal{H}_\infty$ Robust Control: A Revisit of Nonsmooth Synthesis with Goldstein Subdifferential NIPS 2022
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales AAAI 2022
Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes AAAI 2022
Lyapunov Density Models: Constraining Distribution Shift in Learning-Based Control ICML 2022
Reachability Constrained Reinforcement Learning ICML 2022
Learning-Enabled Robust Control with Noisy Measurements L4DC 2022
Data-driven Control of Unknown Linear Systems via Quantized Feedback L4DC 2022
Perturbation-based Regret Analysis of Predictive Control in Linear Time Varying Systems NIPS 2021
Neural optimal feedback control with local learning rules NIPS 2021
Online Robust Control of Nonlinear Systems with Large Uncertainty AISTATS 2021
PID Accelerated Value Iteration Algorithm ICML 2021
Graph Neural Networks for Distributed Linear-Quadratic Control L4DC 2021