Verification of stationary action trajectories via optimal control.
Peter M. DowerWilliam M. McEneaneyPublished in: ACC (2020)
Keyphrases
- optimal control
- control problems
- dynamic programming
- feedback control
- non stationary
- risk sensitive
- control strategy
- infinite horizon
- brownian motion
- model checking
- class of nonlinear systems
- optimal control problems
- moving objects
- control law
- real valued
- policy iteration
- lyapunov function
- particle swarm optimization
- reinforcement learning
- continuous stirred tank reactor