:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Mei, Wenjie, Zheng, Dongzhe, Li, Shihua
Format:	Preprint
Published:	2024
Subjects:	Machine Learning Artificial Intelligence Systems and Control
Online Access:	https://arxiv.org/abs/2411.02292
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Learning Dynamics under Environmental Constraints via Measurement-Induced Bundle Structures
by: Zheng, Dongzhe, et al.
Published: (2025)

A Posteriori Second-Order Guarantees for Bolza Problems via Collocation
by: Zheng, Dongzhe, et al.
Published: (2026)

Negative Imaginary Neural ODEs: Learning to Control Mechanical Systems with Stability Guarantees
by: Shi, Kanghong, et al.
Published: (2025)

Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees
by: Chen, Shaoru, et al.
Published: (2024)

Learning and Current Prediction of PMSM Drive via Differential Neural Networks
by: Mei, Wenjie, et al.
Published: (2024)

On the Convergence of Overparameterized Problems: Inherent Properties of the Compositional Structure of Neural Networks
by: de Oliveira, Arthur Castello Branco, et al.
Published: (2025)

Neural Horizon Model Predictive Control -- Increasing Computational Efficiency with Neural Networks
by: Alsmeier, Hendrik, et al.
Published: (2024)

Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers
by: Shen, Keyi, et al.
Published: (2026)

Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees
by: Nath, Devesh, et al.
Published: (2026)

Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model
by: Nadali, Alireza, et al.
Published: (2024)

Dropout MPC: An Ensemble Neural MPC Approach for Systems with Learned Dynamics
by: Syntakas, Spyridon, et al.
Published: (2024)

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial
by: Li, Haoyu, et al.
Published: (2026)

RL in Latent MDPs is Tractable: Online Guarantees via Off-Policy Evaluation
by: Kwon, Jeongyeol, et al.
Published: (2024)

Stable-by-Design Neural Network-Based LPV State-Space Models for System Identification
by: Sertbaş, Ahmet Eren, et al.
Published: (2025)

What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems
by: Bensalem, Saddek, et al.
Published: (2023)

SCI: A Metacognitive Control for Signal Dynamics
by: Meesala, Vishal Joshua
Published: (2025)

An Optimal Policy for Learning Controllable Dynamics by Exploration
by: Loxley, Peter N.
Published: (2025)

Sample-Efficient Diffusion-based Control of Complex Physics Systems
by: Chen, Hongyi, et al.
Published: (2025)

Multi-CALF: A Policy Combination Approach with Statistical Guarantees
by: Malaniya, Georgiy, et al.
Published: (2025)

Adaptive Neural-Operator Backstepping Control of a Benchmark Hyperbolic PDE
by: Lamarque, Maxence, et al.
Published: (2024)

Receding Hamiltonian-Informed Optimal Neural Control and State Estimation for Closed-Loop Dynamical Systems
by: Rivera, Josue N., et al.
Published: (2024)

Optimal Control Operator Perspective and a Neural Adaptive Spectral Method
by: Feng, Mingquan, et al.
Published: (2024)

Learning System Dynamics without Forgetting
by: Zhang, Xikun, et al.
Published: (2024)

Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control
by: Shi, Zhouxing, et al.
Published: (2024)

MAGICS: Adversarial RL with Minimax Actors Guided by Implicit Critic Stackelberg for Convergent Neural Synthesis of Robot Safety
by: Wang, Justin, et al.
Published: (2024)

From Black-Box to White-Box: Control-Theoretic Neural Network Interpretability
by: Moon, Jihoon
Published: (2025)

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles
by: Parameshwaran, Aditya, et al.
Published: (2025)

Real-Time Decision-Making for Digital Twin in Additive Manufacturing with Model Predictive Control using Time-Series Deep Neural Networks
by: Chen, Yi-Ping, et al.
Published: (2025)

Federated Dynamical Low-Rank Training with Global Loss Convergence Guarantees
by: Schotthöfer, Steffen, et al.
Published: (2024)

Superior Computer Chess with Model Predictive Control, Reinforcement Learning, and Rollout
by: Gundawar, Atharva, et al.
Published: (2024)

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision
by: Teuber, Samuel, et al.
Published: (2025)

Efficient Policy Optimization in Robust Constrained MDPs with Iteration Complexity Guarantees
by: Ganguly, Sourav, et al.
Published: (2025)

PID-controlled Langevin Dynamics for Faster Sampling of Generative Models
by: Chen, Hongyi, et al.
Published: (2025)

SOLIS: Physics-Informed Learning of Interpretable Neural Surrogates for Nonlinear Systems
by: Mansur, Murat Furkan, et al.
Published: (2026)

From Model-Based and Adaptive Control to Evolving Fuzzy Control
by: Leite, Daniel, et al.
Published: (2025)

Neural Control System for Continuous Glucose Monitoring and Maintenance
by: Wasi, Azmine Toushik
Published: (2024)

Neural Proofs for Sound Verification and Control of Complex Systems
by: Abate, Alessandro
Published: (2025)

Co-Learning Port-Hamiltonian Systems and Optimal Energy-Shaping Control
by: Kamboj, Ankur, et al.
Published: (2026)

Convergence and sample complexity of natural policy gradient primal-dual methods for constrained MDPs
by: Ding, Dongsheng, et al.
Published: (2022)

Adaptive Event-triggered Reinforcement Learning Control for Complex Nonlinear Systems
by: Siddique, Umer, et al.
Published: (2024)