-
Physics-informed Graph Neural Networks for Dynamical Systems
The dataset used in this paper is a collection of simulated trajectories of physical systems, including n-pendulum, n-spring, 4-body gravitational system, and rigid-body system. -
Discovery of Dynamics via Deep Learning
The dataset used in the paper is a collection of time series data from a dynamical system, which is used to test the performance of the network-based LMMs for discovering... -
Synthesis of Neural Barrier Certiļ¬cates
The dataset used in the paper is a set of polynomial and non-polynomial dynamical models, including the Darboux model, the exponential model, the obstacle avoidance problem, the...
