Product interval automata: A subclass of timed automata

DOI10.1007/3-540-46691-6_5MaRDI QIDQ4501664zbMATH OpenFDO

Authors Deepak D'Souza, P. S. Thiagarajan

Publication date 4 September 2000

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

Full work available at URL https://doi.org/10.1007/3-540-46691-6_5

zbMATH Keywords

product interval automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Product interval automata
• A theory of timed automata
• scientific article; zbMATH DE number 1231685
• Timed automata

Cited in

(6)

• Product interval automata
• Event clock message passing automata: a logical characterization and an emptiness checking algorithm
• A survey of timed automata for the development of real-time systems
• Automata and Logics for Timed Message Sequence Charts
• Diagnosis of timed patterns for discrete event systems by means of state isolation
• On clock interval automata for a class of time PNs

This page was built for publication: Product interval automata: A subclass of timed automata

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