arrow
返回

Weighing Obese Timed Languages

delete2026-01-01
delete0
PRE
AI
E
Eugène Asarin *
A
Aldric Degorre
C
Cătălin Dima
B
Bernardo Jacobo Inclán
DOI:10.1007/978-3-032-09524-4_8delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
时序语言的带宽表征单位时间内的信息量(具有有限观测精度epsilon)。超重时序自动机具有无界事件频率,并以最大可能速率产生信息。在本文中,我们计算此类自动机的带宽,形式约为alpha/epsilon。我们的方法将问题简化为计算从给定时序自动机构造的加权时序图中的最佳奖励-时间比率,其中权重对应于辅助有限自动机的熵。
Keyword:
GROWTH

期刊

R
REACHABILITY PROBLEMS, RP 2025
IF:
0
论文数:
18
被引数:
0

机构

C
centre national de la recherche scientifique (cnrs)
学者数:
24.5W
论文数: 18.2W
被引数: 279
U
Universite Paris Cite
学者数:
8.9W
论文数: 6.3W
被引数: 604
引用论文

引用论文

Optimal infinite scheduling for multi-priced timed automata
err2007-12-05
err0
PREAI
errPatricia Bouyer; Ed Brinksma; Kim G. Larsen
err分享
err收藏
Entropy of regular timed languages
err2015-04-01
err0
errOAAI
errEugene Asarin; Nicolas Basset; Aldric Degorre
err分享
err收藏
A theory of timed automata
err1994-04-01
err0
errOAAI
errRajeev Alur; David L. Dill
err分享
err收藏
err
IF0
err
err0
PREAI
err
err分享
err收藏
Twelve Papers on Algebra and Real Functions十二篇关于代数与实函数的论文
err1961-12-31
err0
PREAI
errS. Černikov; N. Černikova; A. Kolmogorov; A. Mal′cev; B. Plotkin; B. Rimskiĭ-Korsakov; V. Tihomirov; Yu. Trohimčuk; N. Vilenkin; A. Vituškin
err分享
err收藏
学者 查看更多内容