Contact information

  • Mail Herve.Marchand@irisa.fr
  • Address INRIA, centre Rennes - Bretagne Atlantique

    Campus Universitaire de Beaulieu, 35042 Rennes cedex - France
  • Tel. +33 (0)2 99 84 75 09
  • Fax +33 (0)2 99 84 71 71

Background and Position

I received a Ph.D degree in computer science from "Université de Rennes 1" in 1997 under the supervision of Michel Le Borgne and Paul Le Guernic. I spent one year as a Postdoctoral Associate in the Systems Science and Engineering Division of the Dept. of Electrical Engineering and Computer Science at the University of Michigan.

Since 1998, I am an INRIA research scientist (Chargé de recherche) at INRIA, centre Rennes - Bretagne Atlantique. I am a member of the VerTeCs project.

Research Topics

My currents interests are the control synthesis of discrete events systems. I am also interested in automatic test generation as well as in Diagnosis of discrete event systems. Within these areas, I concentrate on
  • Supervisory Control problem (SCP)
    • Control of Hierarchical and Structured Discrete Event systems
    • Control Theory (under full or partial observation)
    • Optimal Control for synchronous and asynchronous model
    • SCP and game theory
  • Model-Based Testing:
    • models and theory for conformance testing of reactive systems,
    • automated test case synthesis with enumerated or symbolic approximate techniques.
  • Diagnosis of Discrete Event Systems by means of Supervision Patterns
  • Security: security testing, diagnosis for intrusion detection.
  • Synchronous languages (among them the Signal Language)
  • Model checking, symbolic bisimulation, reduction model

I have served in the program committee of several conferences : Vecos'08 (International Workshop on Verification and Evaluation of Computer and Communication Systems), ICINCO'07, ICINCO'08 ICINCO'09 (International Conference on Informatics in Control, Automation and Robotics), Wodes'06, Wodes'08, Wodes'10 (International Workshop on Discrete Event Systems), MSR'05, MSR'07, MSR'09 (Modélisation de systèmes réactifs) and SCODES'01 (symposium on the Supervisory Control of Discrete Event Systems 2001). Member of the IFAC Technical Committees (TC 1.3 on Discrete Event and Hybrid Systems) since 2005. Since October 2009, I'm Associate Editor of the IEEE Transactions on Automatic Control.

Some publications

can be found here sorted by category. The full list, sorted by type, is available here.

Software

  • Sigali : a Design Environment for Discrete-Event Controllers Synthesis.

    Sigali is a model-checking tool-based which manipulates ILTS: Implicit Labeled Transition Systems (which can be seen as an equational representation of an automaton) as intermediate models for discrete event systems. It offers functionalities for verification of reactive systems and discrete controller synthesis. It is developed jointly by Espresso and Vertecs (more details).