Model Based Reasoning
Coordinatore/i: Luca Console
Model based reasoning has been the main area of investigation of our group in recent years. Several aspects have been explored. From a methodological point of view, the recent contributions can be grouped as follows: ? Analysis of the problems arising when modeling and diagnosing complex dynamic systems. In particular, we focused on the study of the problem that have to be faced when modeling complex real world system with controlled dynamic behavior. ? Integration of diagnosis in the design process of physical devices. If one analyses the design process of any significant complex systems, it is very common to see that diagnostic issues are usually taken into account only at the end of the process and are not integrated with the rest of the process. In particular, during the critical phases of the design process, when the actual architecture of the system is conceptualized, the control strategies are defined and models or prototypes of the system are simulated, diagnostic issues are not taken into account. Not only does this mean that the diagnostic software is not developed together with the control software, but, more critically, that issues such as the diagnosability of the system being designed or the analysis of the FMEA (Failure Modes Effect Analysis, which is very useful to discover safety critical faults or failures) are seldom and only partially considered. The goal of our work is to define defining a new process in which these issues are integrated within the design of a system and of its control strategies. The project also aims at defining and implementing a software toolkit supporting the new process. The toolkit integrates applications for design and simulation (e.g., Matlab Simulink) and model-based reasoning systems for diagnosis-related tasks.....