Systems

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 Lyapunov Density Models: Constraining Distribution Shift in Learning-Based Control ICML 2022 Multi-Robot Adversarial Resilience using Control Barrier Functions RSS 2022 MyoSuite: A Contact-rich Simulation Suite for Musculoskeletal Motor Control L4DC 2022 Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees NeurIPS 2022 On the Effectiveness of Iterative Learning Control L4DC 2022 Optimal thyroplasty implant shape and stiffness for treatment of acute unilateral vocal fold paralysis: Evidence from a canine in vivo phonation model Interspeech 2022 PowerGym: A Reinforcement Learning Environment for Volt-Var Control in Power Distribution Systems L4DC 2022 Reachability Constrained Reinforcement Learning ICML 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 Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions NeurIPS 2022 Stability Verification in Stochastic Control Systems via Neural Network Supermartingales AAAI 2022 ValueNetQP: Learned One-step Optimal Control for Legged Locomotion L4DC 2022 Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes AAAI 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 An End-to-End Differentiable Framework for Contact-Aware Robot Design RSS 2021