Compositional Neural Certificates for Networked Dynamical Systems.
Songyuan ZhangYumeng XiuGuannan QuChuchu FanPublished in: CoRR (2023)
Keyphrases
- dynamical systems
- network architecture
- dynamic systems
- neural network
- nonlinear dynamical systems
- control theory
- nonlinear dynamics
- phase space
- access control
- differential equations
- state space
- qualitative simulation
- public key
- dynamical models
- partially observable
- dynamical behavior
- linear systems
- machine learning
- partially observable markov decision processes
- control law
- agent environment
- linear quadratic
- cellular automata
- level set
- discrete dynamical systems