Anzeige
Erschienen in:
2015 | OriginalPaper | Buchkapitel
Timed Symbolic Dynamics
verfasst von : Nicolas Basset
Erschienen in: Formal Modeling and Analysis of Timed Systems
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We introduce a theory of timed symbolic dynamics unifying results from timed automata theory and symbolic dynamics. The timed sofic shift spaces we define are a way of seeing timed regular languages as shift spaces on general alphabets (in classical symbolic dynamics, sofic shift spaces correspond to regular languages). We show that morphisms of shift spaces on general alphabets can be approximated by sliding block codes resulting in a generalised version of the so-called Curtis-Hedlund-Lyndon Theorem. We provide a new measure for timed languages by characterising the Gromov-Lindenstrauss-Weiss metric mean dimension for timed shift spaces and illustrate it on several examples. We revisit recent results on volumetry of timed languages in terms of timed symbolic dynamics. In particular we explain the discretisation of timed shift spaces and their entropy.