文章基本信息

标题：Two Size Measures for Timed Languages
本地全文：下载
作者：Eugene Asarin ; Aldric Degorre
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2010
卷号：8
页码：376-387
DOI：10.4230/LIPIcs.FSTTCS.2010.376
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：Quantitative properties of timed regular languages, such as information content (growth rate, entropy) are explored. The approach suggested by the same authors is extended to languages of timed automata with punctual (equalities) and non-punctual (non-equalities) transition guards. Two size measures for such languages are identified: mean dimension and volumetric entropy. The former is the linear growth rate of the dimension of the language; it is characterized as the spectral radius of a max-plus matrix associated to the automaton. The latter is the exponential growth rate of the volume of the language; it is characterized as the logarithm of the spectral radius of a matrix integral operator on some Banach space associated to the automaton. Relation of the two size measures to classical information-theoretic concepts is explored.
关键词：timed automata; entropy; mean dimension