Compositional Neural Certificates for Networked Dynamical Systems.

Songyuan Zhang Yumeng Xiu Guannan Qu Chuchu Fan

Published in: L4DC (2023)

Keyphrases

dynamical systems
network architecture
dynamic systems
differential equations
nonlinear dynamics
control theory
nonlinear dynamical systems
neural network
phase space
state space
linear systems
access control
qualitative simulation
control law
partially observable
public key
agent environment
dynamical behavior