
Marina Zanella
University of Brescia
discrete-event systems
model-based diagnosis
temporal fault
temporal diagnosis
temporal diagnoser
1
presentations
SHORT BIO
Marina Zanella is an associate professor of Computer Science at the University of Brescia (Italy). Her research interests include model-based reasoning for monitoring and diagnosis of static systems and discrete-event systems; diagnosability analysis; uncertain-knowledge modeling. She is the co-author of three books, two of which are focused on model-based diagnosis of DESs.
Presentations

Diagnosis of Temporal Faults in Discrete-Event Systems
Marina Zanella