From MITL to Timed Automata
作者： Oded Maler , Dejan Nickovic , Amir Pnueli
DOI: 10.1007/11867340_20
关键词:
摘要: 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.
springer.com
core.ac.uk
acm.org 
sci-hub.st 参考文章(45)
John Sullivan, Gregory Macdonald, Brocard Sewell, Peter Hunt, J. M. Purcell, Another Look at ,(1979)
Zohar Manna, Amir Pnueli, Temporal Verification of Reactive Systems Springer New York. ,(1995) , 10.1007/978-1-4612-4222-2
Fabio Somenzi, Roderick Bloem, Efficient Büchi Automata from LTL Formulae computer aided verification. pp. 248- 263 ,(2000) , 10.1007/10722167_21
Thomas A. Henzinger, It's About Time: Real-Time Logics Reviewed international conference on concurrency theory. pp. 439- 454 ,(1998) , 10.1007/BFB0055640
Zohar Manna, Amir Pnueli, Temporal Verification of Reactive Systems: Safety ,(1995)
E. Clarke, O. Grumberg, K. Hamaguchi, Another Look at LTL Model Checking computer aided verification. pp. 415- 427 ,(1994) , 10.1007/3-540-58179-0_72
Deepak D’Souza, Nicolas Tabareau, On Timed Automata with Input-Determined Guards Lecture Notes in Computer Science. pp. 68- 83 ,(2004) , 10.1007/978-3-540-30206-3_7
Oded Maler, Dejan Nickovic, Monitoring Temporal Properties of Continuous Signals Lecture Notes in Computer Science. pp. 152- 166 ,(2004) , 10.1007/978-3-540-30206-3_12
Rajeev Alur, Kousha Etessami, P. Madhusudan, A Temporal Logic of Nested Calls and Returns tools and algorithms for construction and analysis of systems. ,vol. 2988, pp. 467- 481 ,(2004) , 10.1007/978-3-540-24730-2_35
Real-Time: Theory in Practice: Rex Workshop, Mook, the Netherlands, June 3-7, 1991: Proceedings Lecture Notes in Computer Science. ,vol. 600, ,(1992) , 10.1007/BFB0031984