Multi-weighted Automata and MSO Logic
Multi-weighted Automata and MSO Logic
复制标题
多重加权自动机和 MSO 逻辑
DOI：
10.1007/s00224-015-9658-9
复制
发表时间：
2016
影响因子：
0.5
通讯作者：
V. Perevoshchikov
中科院分区：
文献类型：
--
作者：
M. Droste;V. Perevoshchikov
加权自动机是一种非确定性自动机，其中的转换都带有权值。它们可以模拟系统的定量方面，如成本或能耗。行程的值可以被计算为例如转变权重的最大值、平均值或折扣总和。在多重加权自动机中，转换带有多个权重，并且可以模拟例如奖励和成本之间的比率，或者在二级资源上的某个上限约束下的主要资源的使用效率。在这里，我们介绍了一个一般模型的多加权自动机以及多加权MSO逻辑。在我们的主要结果中，我们表明，这种多加权MSO逻辑和多加权自动矩阵是表示等价的有限和无限的话。翻译过程是有效的，导致我们的多加权MSO逻辑的可判定性结果。
Weighted automata are non-deterministic automata where the transitions are equipped with weights. They can model quantitative aspects of systems like costs or energy consumption. The value of a run can be computed, for example, as the maximum, average, or discounted sum of transition weights. In multi-weighted automata, transitions carry several weights and can model, for example, the ratio between rewards and costs, or the efficiency of use of a primary resource under some upper bound constraint on a secondary resource. Here, we introduce a general model for multi-weighted automata as well as a multi-weighted MSO logic. In our main results, we show that this multi-weighted MSO logic and multi-weighted auto-mata are expressively equivalent both for finite and infinite words. The translation process is effective, leading to decidability results for our multi-weighted MSO logic.
登录
查看更多内容
尽可能便宜地维持生命
DOI：
--
发表时间：
2004
期刊：
International Conference on Hybrid Systems: Computation and Control
影响因子：
--
作者：
P. Bouyer;E. Brinksma;K. Larsen
通讯作者：
K. Larsen
DOI：
10.1007/978-3-642-73235-5
发表时间：
1988-11
期刊：
--
影响因子：
--
作者：
J. Berstel;C. Reutenauer
通讯作者：
J. Berstel;C. Reutenauer
实时系统基于模型的验证和分析
DOI：
--
发表时间：
2011
期刊：
Software and Systems Safety - Specification and Verification
影响因子：
--
作者：
U. Fahrenberg;K. Larsen;C. Thrane
通讯作者：
C. Thrane
有理且可识别的幂级数
影响因子：
1.3
作者：
J. Sakarovitch
通讯作者：
J. Sakarovitch
重新审视多价定时自动机的可判定性和最佳可达性
DOI：
--
发表时间：
2009
期刊：
International Conference on Formal Modeling and Analysis of Timed Systems
影响因子：
--
作者：
M. Fränzle;M. Swaminathan
通讯作者：
M. Swaminathan