Layered composition for timed automata

DOI10.1007/978-3-642-15297-9_18zbMATH Open1290.68078OpenAlexW1601331371MaRDI QIDQ3588097FDOQ3588097

Authors: Mani Swaminathan, Ernst-Rüdiger Olderog 

Publication date: 10 September 2010

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-15297-9_18

Recommendations

• Timed automata with disjoint activity
• Structural transformations for data-enriched real-time systems
• A theory of timed automata
• Compositional design of stochastic timed automata
• scientific article; zbMATH DE number 1507209

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited In (4)

• Layered reasoning for randomized distributed algorithms
• An alternative definition for timed automata composition
• Structural transformations for data-enriched real-time systems
• Algebraic state space approach to model and control combined automata

This page was built for publication: Layered composition for timed automata

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