Systems

Safe Control using Learned Safety Filters and Adaptive Conformal Inference L4DC 2026 Safety Beyond the Training Data: Robust Out-of-Distribution MPC via Conformalized System Level Synthesis L4DC 2026 Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees L4DC 2026 Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation L4DC 2026 Stability of Certainty-Equivalent Adaptive LQR for Linear Systems with Unknown Time-Varying Parameters L4DC 2026 Subgradient Method for System Identification with Non-Smooth Objectives L4DC 2026 Zero-Shot Function Encoder-Based Differentiable Predictive Control L4DC 2026 Abstraction-Based Control of Unknown Continuous-Space Models with Just Two Trajectories L4DC 2025 Adaptive Control of Positive Systems with Application to Learning SSP L4DC 2025 Agreement Volatility: A Second-Order Metric for Uncertainty Quantification in Surgical Robot Learning CoRL 2025 A Physics-Informed Machine Learning Framework for Safe and Optimal Control of Autonomous Systems ICML 2025 ASTRID: A Robotic Tutor for Nurse Training to Reduce Healthcare-Associated Infections RSS 2025 Back to Base: Towards Hands-Off Learning via Safe Resets with Reach-Avoid Safety Filters L4DC 2025 BeSimulator: A Large Language Model Powered Text-based Behavior Simulator EMNLP 2025 Bipedal Balance Control with Whole-body Musculoskeletal Standing and Falling Simulations CoRL 2025 Bootstrapped Model Predictive Control ICLR 2025 Bridging Adaptivity and Safety: Learning Agile Collision-Free Locomotion Across Varied Physics L4DC 2025 CIKAN: Constraint Informed Kolmogorov-Arnold Networks for Autonomous Spacecraft Rendezvous using Time Shift Governor L4DC 2025 CLONE: Closed-Loop Whole-Body Humanoid Teleoperation for Long-Horizon Tasks CoRL 2025 Co-Design of Soft Gripper with Neural Physics CoRL 2025 Complementarity-Free Multi-Contact Modeling and Optimization for Dexterous Manipulation RSS 2025 Continual Learning and Lifting of Koopman Dynamics for Linear Control of Legged Robots L4DC 2025 Data-Driven and Stealthy Deactivation of Safety Filters L4DC 2025 Data-Driven Near-Optimal Control of Nonlinear Systems Over Finite Horizon L4DC 2025 Data-driven optimal control of unknown nonlinear dynamical systems using the Koopman operator L4DC 2025