Spectral gap in timed automata

DOI10.1007/978-3-642-40229-6_2MaRDI QIDQ2842656zbMATH OpenOpenAlexFDO

Authors Eugene Asarin, Nicolas Basset, Aldric Degorre

Publication date 16 August 2013

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

Full work available at URL https://doi.org/10.1007/978-3-642-40229-6_2

zbMATH Keywords

entropy of timed regular languagesiteration of linear operators in Banach spacestimed automata

Mathematics Subject Classification ID

Spectrum, resolvent (47A10) Positive linear operators and order-bounded operators (47B65) Formal languages and automata (68Q45) Measures of information, entropy (94A17)

Recommendations

• Entropy of regular timed languages
• Volume and entropy of regular timed languages: analytic approach
• A Maximal Entropy Stochastic Process for a Timed Automaton,
• Volume and Entropy of Regular Timed Languages: Discretization Approach
• A theory of timed automata

Cited in

(4)

• Entropy of regular timed languages
• A maximal entropy stochastic process for a timed automaton
• Timed symbolic dynamics
• Volume and entropy of regular timed languages: analytic approach

This page was built for publication: Spectral gap in timed automata

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