On discretization of delays in timed automata and digital circuits

DOI10.1007/BFB0055642MaRDI QIDQ4251920zbMATH OpenFDO

Authors Eugene Asarin, Oded Maler, Amir Pnueli

Publication date 23 September 1999

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

Full work available at URL https://doi.org/10.1007/BFB0055642

zbMATH Keywords

digital circuitreal-valued delaystimed automata

Mathematics Subject Classification ID

Recommendations

• What good are digital clocks?
• Formal Modeling and Analysis of Timed Systems
• A nonarchimedian discretization for timed languages
• scientific article; zbMATH DE number 2080039
• Formal Modeling and Analysis of Timed Systems

Cited in

(23)

• Robust safety of timed automata
• Model checking for probabilistic timed automata
• Entropy of regular timed languages
• Shrinking timed automata
• Verification of asynchronous circuits using timed automata
• Timed CSP = closed timed automata
• A note on the verification of automata specifications of probabilistic real-time systems
• Timed Automata Can Always Be Made Implementable
• Thin and thick timed regular languages
• Model Checking Real-Time Systems
• Volume and Entropy of Regular Timed Languages: Discretization Approach
• Improvements for the Symbolic Verification of Timed Automata
• A survey of timed automata for the development of real-time systems
• scientific article; zbMATH DE number 2112987 (Why is no real title available?)
• Parameter synthesis for hierarchical concurrent real-time systems
• Formal Modeling and Analysis of Timed Systems
• Abstract State Machines 2004. Advances in Theory and Practice
• Weak bisimulation for probabilistic timed automata
• On specifications and proofs of timed circuits
• Temporal Robustness of Stochastic Signals
• Specifications for decidable hybrid games
• Tweaking the odds in probabilistic timed automata
• Performance analysis of probabilistic timed automata using digital clocks

This page was built for publication: On discretization of delays in timed automata and digital circuits

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