Heuristic Optimizaton and Dynamical System Safety Verification.
Todd W. NellerPublished in: Hybrid Systems (1997)
Keyphrases
- dynamical systems
- dynamic systems
- differential equations
- nonlinear dynamical systems
- linear systems
- phase space
- dynamical behavior
- dynamic programming
- state space
- model checking
- search algorithm
- simulated annealing
- dynamical models
- optimal solution
- predictive state representations
- connectionist networks
- discrete event
- job shop scheduling problem
- nonlinear dynamics
- partially observable markov decision processes
- agent environment
- spatio temporal
- reinforcement learning
- lyapunov exponents