From MITL to timed automata
Maler O, Nickovic D, Pnueli A. 2006. From MITL to timed automata. 4th International Conference on Formal Modeling and Analysis of Timed Systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 4202, 274–289.
Download
No fulltext has been uploaded. References only!
Conference Paper
| Published
| English
Author
Maler, Oded;
Nickovic, DejanISTA;
Pnueli, Amir
Series Title
LNCS
Abstract
We show how to transform formulae written in the real-time temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction is much simpler than previously known and can be easily implemented.
Publishing Year
Date Published
2006-10-19
Proceedings Title
4th International Conference on Formal Modeling and Analysis of Timed Systems
Publisher
Springer
Volume
4202
Page
274 - 289
Conference
FORMATS: Formal Modeling and Analysis of Timed Systems
Conference Location
Paris, France
Conference Date
2006-09-25 – 2006-09-27
IST-REx-ID
Cite this
Maler O, Nickovic D, Pnueli A. From MITL to timed automata. In: 4th International Conference on Formal Modeling and Analysis of Timed Systems. Vol 4202. Springer; 2006:274-289. doi:10.1007/11867340_20
Maler, O., Nickovic, D., & Pnueli, A. (2006). From MITL to timed automata. In 4th International Conference on Formal Modeling and Analysis of Timed Systems (Vol. 4202, pp. 274–289). Paris, France: Springer. https://doi.org/10.1007/11867340_20
Maler, Oded, Dejan Nickovic, and Amir Pnueli. “From MITL to Timed Automata.” In 4th International Conference on Formal Modeling and Analysis of Timed Systems, 4202:274–89. Springer, 2006. https://doi.org/10.1007/11867340_20.
O. Maler, D. Nickovic, and A. Pnueli, “From MITL to timed automata,” in 4th International Conference on Formal Modeling and Analysis of Timed Systems, Paris, France, 2006, vol. 4202, pp. 274–289.
Maler O, Nickovic D, Pnueli A. 2006. From MITL to timed automata. 4th International Conference on Formal Modeling and Analysis of Timed Systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 4202, 274–289.
Maler, Oded, et al. “From MITL to Timed Automata.” 4th International Conference on Formal Modeling and Analysis of Timed Systems, vol. 4202, Springer, 2006, pp. 274–89, doi:10.1007/11867340_20.
Google Scholar