The bandwidth of a timed language characterizes the quantity of information per time unit (with a finite observation precision \(\varepsilon \) ). Obese timed automata have an unbounded frequency of events and produce information at the maximal possible rate. In this article, we compute the bandwidth of any such automaton in the form \(\approx \alpha /\varepsilon \) . Our approach reduces the problem to computing the best reward-to-time ratio in a weighted timed graph constructed from the given timed automaton, with weights corresponding to the entropy of auxiliary finite automata.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Weighing Obese Timed Languages

  • Eugene Asarin,
  • Aldric Degorre,
  • Cătălin Dima,
  • Bernardo Jacobo Inclán

摘要

The bandwidth of a timed language characterizes the quantity of information per time unit (with a finite observation precision \(\varepsilon \) ). Obese timed automata have an unbounded frequency of events and produce information at the maximal possible rate. In this article, we compute the bandwidth of any such automaton in the form \(\approx \alpha /\varepsilon \) . Our approach reduces the problem to computing the best reward-to-time ratio in a weighted timed graph constructed from the given timed automaton, with weights corresponding to the entropy of auxiliary finite automata.