Control Systems

Learning Control-Oriented Dynamical Structure from Data ICML 2023 MARCOL: A Maritime Collision Avoidance Decision-Making Testbed AAAI 2023 Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty AAAI 2023 Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers AAAI 2023 SoftZoo: A Soft Robot Co-design Benchmark For Locomotion In Diverse Environments ICLR 2023 SYNC: SAFETY-AWARE NEURAL CONTROL FOR STABILIZING STOCHASTIC DELAY-DIFFERENTIAL EQUATIONS ICLR 2023 Adaptive Manipulation of Conductive, Nonmagnetic Objects via a Continuous Model of Magnetically Induced Force and Torque RSS 2022 A Piecewise Learning Framework for Control of Unknown Nonlinear Systems with Stability Guarantees L4DC 2022 DeSKO: Stability-Assured Robust Control with a Deep Stochastic Koopman Operator ICLR 2022 HybVIO: Pushing the Limits of Real-Time Visual-Inertial Odometry WACV 2022 Joint Synthesis of Safety Certificate and Safe Control Policy Using Constrained Reinforcement Learning L4DC 2022 Learning-Enabled Robust Control with Noisy Measurements L4DC 2022 Learning to Reach, Swim, Walk and Fly in One Trial: Data-Driven Control with Scarce Data and Side Information L4DC 2022 Multi-Robot Adversarial Resilience using Control Barrier Functions RSS 2022 Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees NeurIPS 2022 On the Effectiveness of Iterative Learning Control L4DC 2022 PowerGym: A Reinforcement Learning Environment for Volt-Var Control in Power Distribution Systems L4DC 2022 Real-Time BDI Agents: A Model and Its Implementation IJCAI 2022 Recurrent Neural Network Controllers Synthesis with Stability Guarantees for Partially Observed Systems AAAI 2022 Safe Autonomous Navigation for Systems with Learned SE(3) Hamiltonian Dynamics L4DC 2022 Safe Reinforcement Learning with Chance-constrained Model Predictive Control L4DC 2022 Abstraction-based branch and bound approach to Q-learning for hybrid optimal control L4DC 2021 Accelerated Concurrent Learning Algorithms via Data-Driven Hybrid Dynamics and Nonsmooth ODEs L4DC 2021 Adaptive Risk Sensitive Model Predictive Control with Stochastic Search L4DC 2021 Analysis of the Optimization Landscape of Linear Quadratic Gaussian (LQG) Control L4DC 2021