|DISCRETE-EVENT SYSTEMS: MODEL-BASED REASONING AND DIAGNOSIS
Diagnosis is the task of explaining the abnormal behavior of a system based on the observed symptoms. Discrete event systems (DESs) are models of dynamical systems, i.e. systems whose behavior changes over time, represented by finite automata possibly communicating with each other by means of links. In a DES, the symptom is a temporal sequence of observations that have been perceived from outside. The challenge of such a task, which is computationally hard, is to finding out the internal behavior of the DES that has caused the given symptom. The research on model-based reasoning for DESs monitoring and diagnosis, includes investigating uncertain-knowledge modeling, and compilation.
Presentation of the first-year research activities (November 25, 2019)
Presentation of the second-year research activities (November 25, 2020)
Nicola Bertoglio took his master degree in Computer Science and Engineering in 2018 at University of Brescia with a thesis on topological diagnosis. In the same year he enrolled in the PhD program.
Curriculum: Computer Science/Engineering and Control Systems