Thin and thick timed regular languages

DOI10.1007/978-3-642-24310-3_9MaRDI QIDQ3172847zbMATH OpenOpenAlexFDO

Authors Nicolas Basset, Eugene Asarin

Publication date 7 October 2011

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

Full work available at URL https://hal-upec-upem.archives-ouvertes.fr/hal-00793583/file/FORMATS11.pdf

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Entropy of regular timed languages
• Volume and Entropy of Regular Timed Languages: Discretization Approach
• Volume and entropy of regular timed languages: analytic approach
• A nonarchimedian discretization for timed languages
• Formal Modeling and Analysis of Timed Systems

Cites work

• scientific article; zbMATH DE number 1189294 (Why is no real title available?)
• scientific article; zbMATH DE number 1304998 (Why is no real title available?)
• scientific article; zbMATH DE number 1361127 (Why is no real title available?)
• scientific article; zbMATH DE number 1444348 (Why is no real title available?)
• A theory of timed automata
• Almost ASAP semantics: from timed models to timed implementations
• Computing the Continuous Discretely
• Dynamical properties of timed automata
• Efficient Detection of Zeno Runs in Timed Automata
• Factorization forests of finite height
• Foundations of Software Science and Computation Structures
• Mean topological dimension
• Robust safety of timed automata
• Sampled semantics of timed automata
• 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

(6)

• Entropy of regular timed languages
• Two size measures for timed languages
• Timed symbolic dynamics
• A maximal entropy stochastic process for a timed automaton
• Volume and Entropy of Regular Timed Languages: Discretization Approach
• Generating Functions of Timed Languages

This page was built for publication: Thin and thick timed regular languages

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