Verification theorem and construction of $ε$-optimal controls for control of abstract evolution equations

Fabbri, G.; Gozzi, F.; Swiech, A.

Verification theorem and construction of $ε$-optimal controls for control of abstract evolution equations

Authors

Fabbri, G.

Gozzi, F.

Swiech, A.

Description

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 $ε$-optimal controls.
28 pages