Antonante, Pasquale; Nilsen, Heath G.; Carlone, Luca Monitoring of perception systems: deterministic, probabilistic, and learning-based fault detection and identification. (English) Zbl 07777840 Artif. Intell. 325, Article ID 103998, 35 p. (2023). MSC: 93C85 68Q60 PDFBibTeX XMLCite \textit{P. Antonante} et al., Artif. Intell. 325, Article ID 103998, 35 p. (2023; Zbl 07777840) Full Text: DOI arXiv
Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco; Tonetta, Stefano; Vozarova, Viktoria Diagnosability of fair transition systems. (English) Zbl 1491.68107 Artif. Intell. 309, Article ID 103725, 39 p. (2022). MSC: 68Q60 90B25 93B07 PDFBibTeX XMLCite \textit{B. Bittner} et al., Artif. Intell. 309, Article ID 103725, 39 p. (2022; Zbl 1491.68107) Full Text: DOI
Bregon, Anibal; Daigle, Matthew; Roychoudhury, Indranil; Biswas, Gautam; Koutsoukos, Xenofon; Pulido, Belarmino An event-based distributed diagnosis framework using structural model decomposition. (English) Zbl 1334.68294 Artif. Intell. 210, 1-35 (2014). MSC: 68W15 68M15 68T40 PDFBibTeX XMLCite \textit{A. Bregon} et al., Artif. Intell. 210, 1--35 (2014; Zbl 1334.68294) Full Text: DOI
Lamperti, Gianfranco; Zanella, Marina Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques. (English) Zbl 1131.93352 Artif. Intell. 170, No. 3, 232-297 (2006). MSC: 93C65 68T99 90B25 PDFBibTeX XMLCite \textit{G. Lamperti} and \textit{M. Zanella}, Artif. Intell. 170, No. 3, 232--297 (2006; Zbl 1131.93352) Full Text: DOI
Pencolé, Yannick; Cordier, Marie-Odile A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. (English) Zbl 1132.93336 Artif. Intell. 164, No. 1-2, 121-170 (2005). MSC: 93C65 93A15 90B18 90B25 68T99 PDFBibTeX XMLCite \textit{Y. Pencolé} and \textit{M.-O. Cordier}, Artif. Intell. 164, No. 1--2, 121--170 (2005; Zbl 1132.93336) Full Text: DOI
Console, Luca; Picardi, Claudia; Ribaudo, Marina Process algebras for systems diagnosis. (English) Zbl 1043.68076 Artif. Intell. 142, No. 1, 19-51 (2002). MSC: 68Q85 PDFBibTeX XMLCite \textit{L. Console} et al., Artif. Intell. 142, No. 1, 19--51 (2002; Zbl 1043.68076) Full Text: DOI
Lamperti, Gianfranco; Zanella, Marina Diagnosis of discrete-event systems from uncertain temporal observations. (English) Zbl 0995.68103 Artif. Intell. 137, No. 1-2, 91-163 (2002). MSC: 68T20 PDFBibTeX XMLCite \textit{G. Lamperti} and \textit{M. Zanella}, Artif. Intell. 137, No. 1--2, 91--163 (2002; Zbl 0995.68103) Full Text: DOI