Formal Entropy-Regularized Control of Stochastic Systems
Este artículo presenta un marco teórico para la síntesis de controladores en sistemas estocásticos continuos que garantiza formalmente la optimización de una combinación lineal entre la divergencia KL (como métrica de entropía) y el costo de control, mediante el establecimiento de cotas rigurosas sobre la diferencia de entropía entre el sistema original y sus abstracciones discretas.