You are here:
Home › CSI People ›
Benoit Gaudin

Benoit Gaudin

Biography

Research Interests:
General
My Photograph
Name and Title: 
Dr Benoit Gaudin B.Sc., M.Sc., Ph.D.
Position: 
Postdoctoral Researcher
Phone: 
+353 1 7165352
Email: 
Office: 
CASL / 3E
Address:
Complex & Adaptive Systems Laboratory
School of Computer Science & Informatics
Belfield Office Park,
Dublin 4

Biography

I have been a postdoctoral researcher in the System Research Group (CASL-UCD) since June 2006. I am also part of LERO (www.lero.ie). My research interests concern Autonomic Systems and more specifically formal methods, diagnostics and control of systems.

 I obtained a Ph.D from the University of Rennes1 in 2004, then held a teaching assistant position at the same university (www.irisa.fr). From September 2005 to May 2006, I held a postdoctoral position in the FOKUS lab (www.fokus.fraunhofer.de/en/fokus/index.html).


Finally, I am also interested in visualization of large data sets like social networks or protein-protein interaction networks. These sets are usually very large and classical visualization approaches do not scale to represent them in an informative  way. In order to tackle this problem, I investigate the use of several visualization and clustering techniques.

Publications

Peer Reviewed Journals:

  • Gaudin, B. and Marchand, H. (2007) 'An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-Based Approach'. Journal on Discrete Event Dynamic System, 17 (2):179-209. [Details]
  • Brendan Sheehan, Aaron Quigley, Benoit Gaudin and Simon Dobson (2008) 'A relation basedmeasure of semantic similarity for Gene Ontology annotations'. BMC Bioinformatics, 9 . [DOI Link] [Details]
  • J. Komenda, J.H. van Schuppen, B. Gaudin, H. Marchand (2008) 'Supervisory control of modular systems with global specification languages'. Automatica, 44 . [Details]
  • B. Gaudin, H. Marchand (2004) 'Supervisory Control of Product and Hierarchical Discrete Event Systems'. European Journal of Control, 10 :131-145. [Details]

Conference Publications:

  • Gaudin, B. and Deussen, P.H. (2007) Supervisory Control on Concurrent Discrete Event Systems with Variables 26th American Control Conference, ACC'07 [Details]
  • B. Gaudin, A.J. Quigley (2008) Interactive Structural Clustering of Graphs based on Multi- Representations Conference on Information Visualisation London, UK, [Details]
  • B. Gaudin, H. Marchand (2005) Supervisory Control and Deadlock Avoidance Control Problem for Concurrent Discrete Event Systems Conference on Decision and Control Sevilla, Spain, [Details]
  • J. Komenda, J.H. van Schuppen, B. Gaudin, H. Marchand (2005) Modular supervisory control with general indecomposable specification languages Conference on Decision and Control [Details]
  • B. Gaudin, H. Marchand (2005) Safety Control of Hierarchical Synchronous Discrete Event Systems: A State-Based Approach Mediterranean Control Conference [Details]
  • B. Gaudin, H. Marchand (2003) Modular Supervisory Control of Asynchronous and Hierarchical Finite State Machines European Control Conference [Details]
  • H. Marchand, B. Gaudin (2002) Supervisory Control Problems of Hierarchical Finite State Machines Conference on Decision and Control [Details]

Other Publications:

  • Bisht, Mukul and Swords, David and Quigley, Aaron.J and Gaudin, Benoit and bennett, Mike (2007) MeMos 2007: Supporting Human Memory with Interactive Systems. Workshop at the 2007 British HCI International Conference. Workshops [Details]
  • Bennett, M. and Gaudin, B. and Quigley, A.J. (2007) Information Visualisation in the Systems Research Group. First Irish Human-Computer Interaction Conference: Articles [Details]
  • Sheehan, B and Gaudin, B. and Quigley, A.J. (2007) 6th International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT'07. Workshops [Details]
  • B. Gaudin (2006) Efficient Solution for the State Avoidance Control Problem on Concurrent Systems using a Disjunctive Architecture. Workshop on Discrete Event Systems: Workshops [Details]
  • K. Schmidt, H. Marchand, B. Gaudin (2006) Modular and Decentralized Supervisory Control of Concurrent Discrete Event Systems Using Reduced System Models. Workshop on Discrete Event Systems: Workshops [Details]
  • B. Gaudin, H. Marchand (2005) Efficient Computation of supervisors for loosely synchronous Discrete Event Systems: A State-Based Approach. IFAC world Congress: Workshops [Details]
  • B. Gaudin, H. Marchand (2004) Modular Supervisory Control of a class of Concurrent Discrete Event Systems. Workshop on Discrete Event Systems: Workshops [Details]
  • B. Gaudin, H. Marchand (2005) Une approche modulaire pour le contrôle de systèmes a événements discrets concurrents. Colloques Francophone sur la Modélisation des Systèmes Réactifs: Workshops [Details]
  • B. Gaudin, H. Marchand (2003) Contrôle de systèmes à événements discrets hiérarchiques. Colloques Francophone sur la Modélisation des Systèmes Réactifs: Workshops [Details]

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.