Nicola BERTOGLIO

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)

 
 

 

Curriculum: Computer Science/Engineering and Control Systems

Tutor e Relatore: Gian Franco LAMPERTI
Co-tutor: Marina ZANELLA

email: n.bertoglio001@unibs.it

 

Link to the research group web page

Link to publication list