:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Hu, Songqiao, Liu, Zeyi, He, Xiao
Formato:	Preprint
Publicado:	2025
Materias:	Machine Learning Systems and Control
Acceso en línea:	https://arxiv.org/abs/2506.08063
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Performance-bounded Online Ensemble Learning Method Based on Multi-armed bandits and Its Applications in Real-time Safety Assessment
por: Hu, Songqiao, et al.
Publicado: (2025)

SafeLink: Safety-Critical Control Under Dynamic and Irregular Unsafe Regions
por: Hu, Songqiao, et al.
Publicado: (2025)

Asymmetric Adaptation-based Real-time Fault Diagnosis Under Transitional Operating Conditions
por: Zhao, Hongshuo, et al.
Publicado: (2026)

LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction
por: Liu, Jun, et al.
Publicado: (2024)

VLSA: Vision-Language-Action Models with Plug-and-Play Safety Constraint Layer
por: Hu, Songqiao, et al.
Publicado: (2025)

Adapting to Change: A Comparison of Continual and Transfer Learning for Modeling Building Thermal Dynamics under Concept Drifts
por: Raisch, Fabian, et al.
Publicado: (2025)

Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
por: Liu, Jun, et al.
Publicado: (2023)

Drift Control of High-Dimensional RBM: A Computational Method Based on Neural Networks
por: Ata, Baris, et al.
Publicado: (2023)

Awesome-OL: An Extensible Toolkit for Online Learning
por: Liu, Zeyi, et al.
Publicado: (2025)

Wave-RVFL: A Randomized Neural Network Based on Wave Loss Function
por: Sajid, M., et al.
Publicado: (2024)

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
por: Hu, Hanjiang, et al.
Publicado: (2024)

Improved Scalable Lipschitz Bounds for Deep Neural Networks
por: Syed, Usman, et al.
Publicado: (2025)

Constructive Lyapunov Functions via Topology-Preserving Neural Networks
por: Oh, Jaehong
Publicado: (2025)

Modeling Electromagnetic Navigation Systems for Medical Applications using Random Forests and Artificial Neural Networks
por: Yu, Ruoxi, et al.
Publicado: (2019)

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

Exploring Lightweight Federated Learning for Distributed Load Forecasting
por: Duttagupta, Abhishek, et al.
Publicado: (2024)

Real-Time Safe Control of Neural Network Dynamic Models with Sound Approximation
por: Hu, Hanjiang, et al.
Publicado: (2024)

Formally Verified Physics-Informed Neural Control Lyapunov Functions
por: Liu, Jun, et al.
Publicado: (2024)

Learning Performance-Oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuation
por: Manda, Lakshmideepakreddy, et al.
Publicado: (2024)

Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers
por: Ajeyemi, Damola, et al.
Publicado: (2025)

Function Gradient Approximation with Random Shallow ReLU Networks with Control Applications
por: Lamperski, Andrew, et al.
Publicado: (2024)

Stability and Performance Analysis of Discrete-Time ReLU Recurrent Neural Networks
por: Noori, Sahel Vahedi, et al.
Publicado: (2024)

Peer-to-Peer Learning Dynamics of Wide Neural Networks
por: Chaudhari, Shreyas, et al.
Publicado: (2024)

Structured Cooperative Multi-Agent Reinforcement Learning: a Bayesian Network Perspective
por: Syed, Shahbaz P Qadri, et al.
Publicado: (2025)

A Nonlinear Separation Principle via Contraction Theory: Applications to Neural Networks, Control, and Learning
por: Gokhale, Anand, et al.
Publicado: (2026)

Imitation Learning of MPC with Neural Networks: Error Guarantees and Sparsification
por: Alsmeier, Hendrik, et al.
Publicado: (2025)

Integrating Lagrangian Neural Networks into the Dyna Framework for Reinforcement Learning
por: Das, Shreya, et al.
Publicado: (2026)

Safe Neural Control for Non-Affine Control Systems with Differentiable Control Barrier Functions
por: Xiao, Wei, et al.
Publicado: (2023)

A Lightweight Transmission Parameter Selection Scheme Using Reinforcement Learning for LoRaWAN
por: Li, Aohan, et al.
Publicado: (2022)

Safe and Robust Domains of Attraction for Discrete-Time Systems: A Set-Based Characterization and Certifiable Neural Network Estimation
por: Serry, Mohamed, et al.
Publicado: (2026)

A Graph Neural Network with Auxiliary Task Learning for Missing PMU Data Reconstruction
por: Li, Bo, et al.
Publicado: (2025)

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

Reinforcement Learning-based Control via Y-wise Affine Neural Networks (YANNs)
por: Braniff, Austin, et al.
Publicado: (2025)

HyperController: A Hyperparameter Controller for Fast and Stable Training of Reinforcement Learning Neural Networks
por: Gornet, Jonathan, et al.
Publicado: (2025)

Linearization of ReLU Activation Function for Neural Network-Embedded Optimization: Optimal Day-Ahead Energy Scheduling
por: Zhao, Cunzhi, et al.
Publicado: (2023)

Verifiable Error Bounds for Physics-Informed Neural Network Solutions of Lyapunov and Hamilton-Jacobi-Bellman Equations
por: Liu, Jun
Publicado: (2026)

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

Learning Subsystem Dynamics in Nonlinear Systems via Port-Hamiltonian Neural Networks
por: van Otterdijk, G. J. E., et al.
Publicado: (2024)

System-level Safety Guard: Safe Tracking Control through Uncertain Neural Network Dynamics Models
por: Li, Xiao, et al.
Publicado: (2023)

Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions
por: Vaisi, Goli, et al.
Publicado: (2025)