A new method for transforming timed automata

MaRDI QIDQ2848435zbMATH OpenFDO

Authors Ahmed Khoumsi, Lucien Ouedraogo

Publication date 26 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105002173

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• SetExp: a method of transformation of timed automata into finite state automata
• A Method for Testing the Conformance of Real Time Systems
• scientific article; zbMATH DE number 1507209
• scientific article; zbMATH DE number 2102690
• A new method for centralised and modular supervisory control of real-time discrete event systems

Cited in

(5)

• SetExp: a method of transformation of timed automata into finite state automata
• A supervisory control method for ensuring the conformance of real-time discrete event systems
• AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
• scientific article; zbMATH DE number 5499354 (Why is no real title available?)
• Towards an Efficient Tree Automata based technique for Timed Systems

This page was built for publication: A new method for transforming timed automata

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