Simulation Based Computation of Certificates for Safety of Dynamical Systems.
Stefan RatschanPublished in: CoRR (2017)
Keyphrases
- dynamical systems
- differential equations
- dynamic systems
- nonlinear dynamical systems
- phase space
- state space
- partially observable
- qualitative simulation
- agent environment
- control theory
- dynamical behavior
- dynamical models
- predictive state representations
- linear systems
- public key
- discrete dynamical systems
- learning algorithm
- nonlinear dynamics
- access control
- reinforcement learning