Proofs for an Abstraction of Continuous Dynamical Systems Utilizing Lyapunov Functions
Christoffer SlothRafael WisniewskiPublished in: CoRR (2010)
Keyphrases
- dynamical systems
- control theory
- dynamic systems
- differential equations
- state space
- qualitative simulation
- phase space
- nonlinear dynamical systems
- control law
- partially observable
- linear systems
- nonlinear dynamics
- discrete dynamical systems
- neural network
- predictive state representations
- decision problems
- multi agent