Timed Symbolic Dynamics

DOI10.1007/978-3-319-22975-1_4zbMath1465.68131OpenAlexW2186814695MaRDI QIDQ2945581

Nicolas Basset

Publication date: 14 September 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-22975-1_4

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Symbolic dynamics (37B10)

Related Items (1)

Timed Symbolic Dynamics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A Mathematical Theory of Communication
• A theory of timed automata
• Dynamical analysis of a class of Euclidean algorithms.
• Mean topological dimension
• Symbolic dynamics
• Entropy of regular timed languages
• A maximal entropy stochastic process for a timed automaton
• Robust Controller Synthesis in Timed Automata
• Spectral Gap in Timed Automata
• Timed Symbolic Dynamics
• Thin and Thick Timed Regular Languages
• Volume and Entropy of Regular Timed Languages: Discretization Approach
• Probabilistic Robust Timed Games
• Volume and Entropy of Regular Timed Languages: Analytic Approach
• Toward a Timed Theory of Channel Coding
• Introduction to Dynamical Systems
• An Introduction to Symbolic Dynamics and Coding
• A Maximal Entropy Stochastic Process for a Timed Automaton,
• Intrinsic Markov Chains
• Probabilistic and Topological Semantics for Timed Automata
• Entropy for Group Endomorphisms and Homogeneous Spaces

This page was built for publication: Timed Symbolic Dynamics