English

Safe Dynamic Programming

Optimization and Control 2021-09-09 v1

Abstract

We incorporate safety specifications into dynamic programming. Explicitly, we address the minimization problem of a Markov decision process up to a stopping time with safety constraints. To incorporate safety into dynamic programming, we establish a formalism leaning upon the evolution equation. We show how to compute the safety function with the method of dynamic programming. In the last part of the paper, we develop several algorithms for safe dynamic programming.

Keywords

Cite

@article{arxiv.2109.03307,
  title  = {Safe Dynamic Programming},
  author = {Rafal Wisniewski and Manuela L. Bujorianu},
  journal= {arXiv preprint arXiv:2109.03307},
  year   = {2021}
}

Comments

11 pages, no figures, not published, a shorter version will be submitted to IEEE Transactions on Automatic Control