Efficient Timed Diagnosis Using Automata with Timed Domains-Reference-Cited by-同舟云学术

Efficient Timed Diagnosis Using Automata with Timed Domains

Published:2018 Issue: Volume: Page:205-221
ISSN:0302-9743
Container-title:Runtime Verification
language:
Short-container-title:

Author:

Bouyer Patricia,Jaziri Samy,Markey Nicolas

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-03769-7_12

Reference28 articles.

1. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)

2. Behrmann, G., et al.: Uppaal 4.0. In: Proceedings of the 3rd International Conference on Quantitative Evaluation of Systems (QEST 2006), pp. 125–126. IEEE Computer Society Press, September 2006

3. Lecture Notes in Computer Science;J Bengtsson,2004

4. Benveniste, A., Fabre, É., Haar, S., Jard, C.: Diagnosis of asynchronous discrete event systems: a net-unfolding approach. IEEE Trans. Autom. Control. 48(5), 714–727 (2003)

5. Bertrand, N., Haddad, S., Lefaucheux, E.: Foundation of diagnosis and predictability in probabilistic systems. In: Raman, V., Suresh, S.P. (eds.) Proceedings of the 34th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2014). Leibniz International Proceedings in Informatics, vol. 29, pp. 417–429. Leibniz-Zentrum für Informatik, December 2014

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Diagnosis of timed patterns for discrete event systems by means of state isolation;Automatica;2023-07

2. Fault Diagnosis of Timed Discrete Event Systems;IFAC-PapersOnLine;2023

3. Dynamic Data Structures for Timed Automata Acceptance;Algorithmica;2022-09-05

4. Failure detection and localization for timed event graphs in $(\max \limits ,+)$-algebra;Discrete Event Dynamic Systems;2021-07-23

5. Formal Verification of a Mixed-Trust Synchronization Protocol;29th International Conference on Real-Time Networks and Systems;2021-04-07