Timed Symbolic Dynamics
From MaRDI portal
Publication:2945581
DOI10.1007/978-3-319-22975-1_4zbMath1465.68131MaRDI QIDQ2945581
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
Related Items
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
