Verification theorem and construction of $\epsilon$-optimal controls for control of abstract evolution equations
Abstract
We study several aspects of the dynamic programming approach to optimal control of abstract evolution equations, including a class of semilinear partial differential equations. We introduce and prove a verification theorem which provides a sufficient condition for optimality. Moreover we prove sub- and superoptimality principles of dynamic programming and give an explicit construction of $\epsilon$-optimal controls.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2007
- DOI:
- 10.48550/arXiv.0706.1339
- arXiv:
- arXiv:0706.1339
- Bibcode:
- 2007arXiv0706.1339F
- Keywords:
-
- Mathematics - Optimization and Control;
- 35R15;
- 49L20;
- 49L25;
- 49K20
- E-Print:
- 28 pages