Temporal Diagnosis of Discrete-Event Systems with Dual Knowledge Compilation-Reference-Cited by-同舟云学术

Temporal Diagnosis of Discrete-Event Systems with Dual Knowledge Compilation

Published:2019 Issue: Volume: Page:333-352
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bertoglio Nicola^ORCID,Lamperti Gianfranco^ORCID,Zanella Marina^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-29726-8_21

Reference30 articles.

1. Baroni, P., Lamperti, G., Pogliano, P., Zanella, M.: Diagnosis of large active systems. Artif. Intell. 110(1), 135–183 (1999). https://doi.org/10.1016/S0004-3702(99)00019-3

2. Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM 30(2), 323–342 (1983). https://doi.org/10.1145/322374.322380

3. Cassandras, C., Lafortune, S.: Introduction to Discrete Event Systems. The Kluwer International Series in Discrete Event Dynamic Systems, vol. 11. Kluwer Academic, Boston (1999). https://doi.org/10.1007/978-0-387-68612-7

4. Cimatti, A., Pecheur, C., Cavada, R.: Formal verification of diagnosability via symbolic model checking. In: 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), pp. 363–369 (2003)

5. Console, L., Picardi, C., Ribaudo, M.: Diagnosis and diagnosability using PEPA. In: 14th European Conference on Artificial Intelligence (ECAI 2000), pp. 131–135. IOS Press, Amsterdam (2000)

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

1. On the Power of Automata Minimization in Reactive Synthesis;Electronic Proceedings in Theoretical Computer Science;2021-09-17

2. Diagnosis of Temporal Faults in Discrete-Event Systems;FRONT ARTIF INTEL AP;2020

3. Explanatory Monitoring of Discrete-Event Systems;Intelligent Decision Technologies;2020

4. Twin‐engined diagnosis of discrete‐event systems;Engineering Reports;2019-11