Temporal Diagnosis of Discrete-Event Systems with Dual Knowledge Compilation. - Nicola Bertoglio; Gianfranco Lamperti; Marina Zanella (CD-MAKE, 2019)

A Posteriori Diagnosis of Discrete-Event Systems with Symptom Dictionary and Scenarios. - Nicola Bertoglio; Gianfranco Lamperti; Marina Zanella (IEA/AIE, 2019)

Escaping Diagnosability and Entering Uncertainty in Temporal Diagnosis of Discrete-Event Systems. - Nicola Bertoglio; Gianfranco Lamperti; Marina Zanella; Xiangfu Zhao (IntelliSys (2), 2019)

Intelligent Diagnosis of Discrete-Event Systems with Preprocessing of Critical Scenarios. - Nicola Bertoglio; Gianfranco Lamperti; Marina Zanella (KES-IDT (1), 2019)

Diagnosis of Temporal Faults in Discrete-Event Systems. - Nicola Bertoglio; Gianfranco Lamperti; Marina Zanella; Xiangfu Zhao (ECAI, 2020)

Temporal-Fault Diagnosis for Critical-Decision Making in Discrete-Event Systems. - Nicola Bertoglio; Gianfranco Lamperti; Marina Zanella; Xiangfu Zhao (KES, 2020)

Explanatory Monitoring of Discrete-Event Systems. - Nicola Bertoglio; Gianfranco Lamperti; Marina Zanella; Xiangfu Zhao (KES-IDT, 2020)

Explanatory Diagnosis of Discrete-Event Systems with Temporal Information and Smart Knowledge-Compilation. - Nicola Bertoglio; Gianfranco Lamperti; Marina Zanella; Xiangfu Zhao (KR, 2020)