连续时间随机系统的性能优化：超时合成
摘要：固定延迟连续时间马尔可夫链的参数化版本（或等价的确定性和随机Petri网，DSPN）考虑到固定延迟转换是由参数而不是具体值指定的。我们的目标是综合这些参数的值，对于给定的成本函数，使得在到达给定的目标状态集之前，最小化所产生的预期总成本。我们证明，在温和的假设下，可以通过将其转化为一个马尔可夫决策过程（MDP）来有效地逼近参数的最优值，其中动作对应于这些参数的离散化值。
作者：Tom''av{s} Br''azdil, v{L}ubov{s} Korenv{c}iak, Jan Krv{c}''al, Petr Novotn''y, Vojtv{e}ch v{R}eh''ak
论文ID：1407.4777
分类：Performance
分类简称：cs.PF
提交时间：2016-04-18