毛罗·加拉维洛 Hamilton–Jacobi–Bellman方程的验证定理。 （英语） Zbl 1048.49014号 SIAM J.控制优化 42，第5期，1623-1642（2003）. 摘要：我们研究了一个Bolza形式的最优控制问题，并考虑了与此问题相关的值函数。我们证明了两个证明定理，如果函数W满足一些适当的弱连续性假设和可数（mathcal H^n）-可校正集外的Hamilton-Jacobi-Bellman不等式，则它小于或等于值函数。这些结果可用于优化综合方法。 引用于1文件 MSC公司： 49公里15 常微分方程问题的最优性条件 93立方厘米 由常微分方程控制的控制/观测系统 49升25 最优控制和微分对策中Hamilton-Jacobi方程的粘性解 关键词：验证定理;最优控制;HJB方程;价值函数;粘度溶液 PDF格式BibTeX公司 XML格式引用 \textit{M.Garavello}，SIAM J.控制优化。42，第5号，1623-1642（2003；Zbl 1048.49014） 全文： 内政部 arXiv公司