Certified policy synthesis for general Markov decision processes: An application in building automation systems
In this paper, we present an industrial application of new approximate similarity relations for Markov models, and show that they are key for the synthesis of control strategies. Typically, modern engineering systems are modelled using complex and high-order models which make the correct-by-design c...
| Main Authors: | , , |
|---|---|
| Format: | Journal article |
| Published: |
Elsevier
2017
|