Skip to content
conftrace_

control system

34 papers

Explore in graph

Co-occurring keywords · papers mentioning both

reinforcement learning (8) neural network (4) regret bound (3) formal verification (3) stability analysis (3) policy gradient (3) deep reinforcement learning (3) infinite dimensional system (2) perturbation bound (2) reachability analysis (2)

Papers

Energy Waveify and Redistribution for Test-Time Adaptation: A Control System Perspective CVPR 2026 Learning-enabled Polynomial Lyapunov Function Synthesis via High-Accuracy Counterexample-Guided Framework CVPR 2025 MamKO: Mamba-based Koopman operator for modeling and predictive control ICLR 2025 Reinforcement Learning for Infinite-Dimensional Systems JMLR 2025 Controlgym: Large-scale control environments for benchmarking reinforcement learning algorithms L4DC 2024 NeuralFluid: Nueral Fluidic System Design and Control with Differentiable Simulation NeurIPS 2024 Reinforcement Learning for Athletic Intelligence: Lessons from the 1st “AI Olympics with RealAIGym” Competition IJCAI 2024 Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales AAAI 2024 Stealthy Imitation: Reward-guided Environment-free Policy Stealing ICML 2024 Data-Driven Machine Learning Models for a Multi-Objective Flapping Fin Unmanned Underwater Vehicle Control System AAAI 2023 Online switching control with stability and regret guarantees L4DC 2023 Predefined-Time Convergent Motion Control for Heterogeneous Continuum Robots RSS 2023 Reachability Analysis of Neural Network Control Systems AAAI 2023 Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers AAAI 2023 Demystifying the Chinese Social Credit System: A Case Study on AI-Powered Control Systems in China AAAI 2022 On the Effectiveness of Iterative Learning Control L4DC 2022 Recurrent Neural Network Controllers Synthesis with Stability Guarantees for Partially Observed Systems AAAI 2022 Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes AAAI 2022 Generating Adversarial Disturbances for Controller Verification L4DC 2021 Perturbation-based Regret Analysis of Predictive Control in Linear Time Varying Systems NeurIPS 2021 Stabilizing Dynamical Systems via Policy Gradient Methods NeurIPS 2021 A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits ICML 2020 Bandit Linear Control NeurIPS 2020 Robust Regression for Safe Exploration in Control L4DC 2020 Idiothetic Verticality Estimation through Head Stabilization Strategy RSS 2019