Timed symbolic dynamics

DOI10.1007/978-3-319-22975-1_4MaRDI QIDQ2945581zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Volume and entropy of regular timed languages: analytic approach
• Volume and Entropy of Regular Timed Languages: Discretization Approach
• Entropy of regular timed languages
• Two size measures for timed languages
• Generating Functions of Timed Languages

Cites work

• scientific article; zbMATH DE number 3147888 (Why is no real title available?)
• scientific article; zbMATH DE number 1461253 (Why is no real title available?)
• A Mathematical Theory of Communication
• A Maximal Entropy Stochastic Process for a Timed Automaton,
• A maximal entropy stochastic process for a timed automaton
• A theory of timed automata
• An Introduction to Symbolic Dynamics and Coding
• Dynamical analysis of a class of Euclidean algorithms.
• Entropy for Group Endomorphisms and Homogeneous Spaces
• Entropy of regular timed languages
• Intrinsic Markov Chains
• Introduction to Dynamical Systems
• Mean topological dimension
• Probabilistic and Topological Semantics for Timed Automata
• Probabilistic robust timed games
• Robust Controller Synthesis in Timed Automata
• Spectral gap in timed automata
• Symbolic dynamics
• Thin and thick timed regular languages
• Timed symbolic dynamics
• Toward a timed theory of channel coding
• Two size measures for timed languages
• Volume and Entropy of Regular Timed Languages: Discretization Approach
• Volume and entropy of regular timed languages: analytic approach

Cited in

(3)

• Toward a timed theory of channel coding
• Timed symbolic dynamics
• Symbolic timed trace equivalence

This page was built for publication: Timed symbolic dynamics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2945581)