Cover Image

Transfer Learning for Control Systems via Neural Simulation Relations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Nadali, Alireza, Zhong, Bingzhuo, Trivedi, Ashutosh, Zamani, Majid
Format:	Preprint
Published:	2024
Subjects:	Systems and Control Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Monotone Neural Barrier Certificates
by: Jafarpour, Saber, et al.
Published: (2025)

Hierarchical Control for Continuous-time Systems via General Approximate Alternating Simulation Relations
by: Huang, Zhiyuan, et al.
Published: (2026)

Secure-by-Construction Synthesis for Control Systems
by: Zhong, Bingzhuo, et al.
Published: (2023)

Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach
by: Zhong, Bingzhuo, et al.
Published: (2024)

Controlled Invariant Sets for Gaussian Process State Space Models
by: Griffioen, Paul, et al.
Published: (2024)

Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems
by: Murali, Vishnu, et al.
Published: (2023)

Robustness Certificates for Neural Networks against Adversarial Attacks
by: Taheri, Sara, et al.
Published: (2025)

Closure Certificates
by: Murali, Vishnu, et al.
Published: (2023)

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
by: Murali, Vishnu, et al.
Published: (2026)

Neural Approximators for Low-Thrust Trajectory Transfer Cost and Reachability
by: Zhang, Zhong, et al.
Published: (2025)

Symbolic Control for Autonomous Docking of Marine Surface Vessels
by: Dietrich, Elizabeth, et al.
Published: (2025)

Two-Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansion
by: Li, Haoyu, et al.
Published: (2025)

Physics-Informed Reward Machines
by: Ajeleye, Daniel, et al.
Published: (2025)

Communication-Aware Synthesis of Safety Controller for Networked Control Systems
by: Liu, Yihan, et al.
Published: (2026)

Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes
by: Oumer, Mohammed Adib, et al.
Published: (2025)

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

Forward Invariance in Neural Network Controlled Systems
by: Harapanahalli, Akash, et al.
Published: (2023)

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

Learning Dissipative Neural Dynamical Systems
by: Xu, Yuezhu, et al.
Published: (2023)

RL-TIME: Reinforcement Learning-based Task Replication in Multicore Embedded Systems
by: Siyadatzadeh, Roozbeh, et al.
Published: (2025)

Unifying Goal-Conditioned RL and Unsupervised Skill Learning via Control-Maximization
by: Modirshanechi, Alireza, et al.
Published: (2026)

Transfer Learning for Neural Parameter Estimation applied to Building RC Models
by: Raisch, Fabian, et al.
Published: (2026)

Neural Operators for Predictor Feedback Control of Nonlinear Delay Systems
by: Bhan, Luke, et al.
Published: (2024)

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

Pontryagin Optimal Control via Neural Networks
by: Gu, Chengyang, et al.
Published: (2022)

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

Continual Reinforcement Learning for HVAC Systems Control: Integrating Hypernetworks and Transfer Learning
by: Bekal, Gautham Udayakumar, et al.
Published: (2025)

Controller Design for Structured State-space Models via Contraction Theory
by: Zakwan, Muhammad, et al.
Published: (2026)

Provably-Stable Neural Network-Based Control of Nonlinear Systems
by: Li, Anran, et al.
Published: (2025)

RHYME-XT: A Neural Operator for Spatiotemporal Control Systems
by: Ruiter, Marijn, et al.
Published: (2026)

Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems
by: Li, Haoyu, et al.
Published: (2025)

Runtime Monitoring and Fault Detection for Neural Network-Controlled Systems
by: Lan, Jianglin, et al.
Published: (2024)

Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
by: Hafez, Ahmad, et al.
Published: (2025)

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

Lure-and-Reveal: An Exposure Framework for Stealthy Deception Attack in Multi-sensor Uncertain Systems
by: Tian, Meiqi, et al.
Published: (2026)

Efficient Neural Hybrid System Learning and Transition System Abstraction for Dynamical Systems
by: Yang, Yejiang, et al.
Published: (2024)

Transferable Deployment of Semantic Edge Inference Systems via Unsupervised Domain Adaption
by: Jiao, Weiqiang, et al.
Published: (2025)

Meta-Learning for Physically-Constrained Neural System Identification
by: Chakrabarty, Ankush, et al.
Published: (2025)

Reinforcement Learning-based Control via Y-wise Affine Neural Networks: Comparative Case Studies for Chemical Processes
by: Braniff, Austin, et al.
Published: (2026)