Cover Image

A Transition System Abstraction Framework for Neural Network Dynamical System Models

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Yang, Yejiang, Mo, Zihao, Tran, Hoang-Dung, Xiang, Weiming
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

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

Compression Repair for Feedforward Neural Networks Based on Model Equivalence Evaluation
by: Mo, Zihao, et al.
Published: (2024)

Observer-Based Safety Monitoring of Nonlinear Dynamical Systems with Neural Networks via Quadratic Constraint Approach
by: Wang, Tao, et al.
Published: (2024)

Incremental Correction in Dynamic Systems Modelled with Neural Networks for Constraint Satisfaction
by: Cho, Namhoon, et al.
Published: (2022)

Graph Neural Network-Based Distributed Optimal Control for Linear Networked Systems: An Online Distributed Training Approach
by: Song, Zihao, et al.
Published: (2025)

Physics-Informed Graph Neural Network for Dynamic Reconfiguration of Power Systems
by: Authier, Jules, et al.
Published: (2023)

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

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

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

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

An Exploration-free Method for a Linear Stochastic Bandit Driven by a Linear Gaussian Dynamical System
by: Gornet, Jonathan, et al.
Published: (2025)

Domain-decoupled Physics-informed Neural Networks with Closed-form Gradients for Fast Model Learning of Dynamical Systems
by: Krauss, Henrik, et al.
Published: (2024)

Distributed Control of Network Systems in the Space of Stabilizing Graph Neural Network Policies
by: Cao, John, et al.
Published: (2025)

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

Online Planning of Power Flows for Power Systems Against Bushfires Using Spatial Context
by: Xu, Jianyu, et al.
Published: (2024)

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

Breaking Free: Decoupling Forced Systems with Laplace Neural Networks
by: Zimmering, Bernd, et al.
Published: (2025)

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

A Data-Integrated Framework for Learning Fractional-Order Nonlinear Dynamical Systems
by: Yaghooti, Bahram, et al.
Published: (2025)

Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
by: Badings, Thom, et al.
Published: (2024)

PINNSim: A Simulator for Power System Dynamics based on Physics-Informed Neural Networks
by: Stiasny, Jochen, et al.
Published: (2023)

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

Frequency-Separable Hamiltonian Neural Network for Multi-Timescale Dynamics
by: Li, Yaojun, et al.
Published: (2026)

Beyond Prediction: Interval Neural Networks for Uncertainty-Aware System Identification
by: Ferah, Mehmet Ali, et al.
Published: (2026)

Physics-Informed Neural Networks for Accelerating Power System State Estimation
by: Falas, Solon, et al.
Published: (2023)

Improving Spatial Allocation for Energy System Coupling with Graph Neural Networks
by: Mu, Xuanhao, et al.
Published: (2026)

FedECADO: A Dynamical System Model of Federated Learning
by: Agarwal, Aayushya, et al.
Published: (2024)

Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems
by: Harapanahalli, Akash, et al.
Published: (2023)

Distributed Management of Fluctuating Energy Resources in Dynamic Networked Systems
by: Cheng, Xiaotong, et al.
Published: (2024)

Robust Power System State Estimation using Physics-Informed Neural Networks
by: Falas, Solon, et al.
Published: (2025)

Identifiable Representation and Model Learning for Latent Dynamic Systems
by: Zhang, Congxi, et al.
Published: (2024)

Adaptive Federated Learning via Dynamical System Model
by: Agarwal, Aayushya, et al.
Published: (2025)

Safely Learning Dynamical Systems
by: Ahmadi, Amir Ali, et al.
Published: (2023)

ControlSynth Neural ODEs: Modeling Dynamical Systems with Guaranteed Convergence
by: Mei, Wenjie, et al.
Published: (2024)

Collision Avoidance Verification of Multiagent Systems with Learned Policies
by: Dong, Zihao, et al.
Published: (2024)

SPP-CNN: An Efficient Framework for Network Robustness Prediction
by: Wu, Chengpei, et al.
Published: (2023)

System Identification for Continuous-time Linear Dynamical Systems
by: Halmos, Peter, et al.
Published: (2023)

A Dynamic Recurrent Adjacency Memory Network for Mixed-Generation Power System Stability Forecasting
by: Ooi, Guang An, et al.
Published: (2025)

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

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