Control of probabilistic systems under dynamic, partially known environments with temporal logic specifications
Control of probabilistic systems under dynamic, partially known environments with temporal logic specifications
复制标题
使用时序逻辑规范在动态、部分已知环境下控制概率系统
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Emilio Frazzoli
中科院分区：
文献类型：
--
作者：
T. Wongpiromsarn;Emilio Frazzoli
我们考虑由马尔可夫决策过程建模的概率系统的控制策略的综合，这些系统在部分已知的具有时间逻辑规范的环境中运行。环境由一组马尔可夫链来建模。每个马尔可夫链描述了环境在每种模式下的行为。然而，系统并不知道环境的模式。考虑两个控制目标：最大化期望概率和最大化系统满足给定规范的最坏情况概率。
We consider the synthesis of control policies for probabilistic systems, modeled by Markov decision processes, operating in partially known environments with temporal logic specifications. The environment is modeled by a set of Markov chains. Each Markov chain describes the behavior of the environment in each mode. The mode of the environment, however, is not known to the system. Two control objectives are considered: maximizing the expected probability and maximizing the worst-case probability that the system satisfies a given specification.