Benoit Gaudin
Biography
- Research Interests:
Research
Research Interests
-
My research interests concern Autonomic Systems and more specifically automating diagnostics and control.
Autonomic Systems are systems managing themselves depending on environmental changes, without any external intervention. In order to achieve these goals, formal methods can be applied on models of the system.
Supervisory Control is a theory that makes it possible to automatically compute models of the system so that they fulfill a given property. Part of my research is in the development of this theory where the system under consideration are composed of a large number of sub-systems.
Formal models of systems are rarely available for large systems. It is then crucial to find ways to automatically generate some. Part of my research intents to achieve this for system diagnostics. Machine learning techniques are investigated in order to automatically generate models from information collected from the system to be diagnose.
-

