Skip to Main content

Production year

Export Publications

Export the displayed publications:

External widget

Researcher identifiers

Number of documents


Hervé Marchand's home page

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

  • the control of discrete event systems
    • control of Modular and hierarchical discrete event systems avoiding state space exploration
    • control under partial observation
    • Control within the synchronous paradigm and its application to the control of fault tolerant systems and multi-task systems
    • control of infinite systems using symbolic approximate techniques
  • the Model-Based Testing:
    • models and theory for conformance testing of reactive systems,
    • automated test case synthesis with enumerated or symbolic approximate techniques.
    • combination between verification and test
  • the diagnosis and prognosis (predictability) of Discrete Event Systems by means of Supervision Patterns
  • the security of information systems: security testing, diagnosis for intrusion detection and automatic synthesis of access-control.
  • Model checking, symbolic bisimulation, reduction model

Since October 2009, I'm member of the IFAC Technical Committees (TC 1.3 on Discrete Event and Hybrid Systems) since 2005 and member of the steering committee of MSR (Modélisation des Systhèmes Réactifs) since 2011. I was Associate Editor of the IEEE Transactions on Automatic Control between 2009 and 2013. I have served in the program committee of several conferences : IFAC World Congress'11, DCDS'11, DCDS'13 (International Workshop on Dependable Control of Discrete Systems), Vecos'08 (International Workshop on Verification and Evaluation of Computer and Communication Systems), ICINCO'07, ICINCO'08 ICINCO'09, INCINCO'10, INCINCO'11 (International Conference on Informatics in Control, Automation and Robotics), Wodes'06, Wodes'08, Wodes'10, Wodes 2012 (International Workshop on Discrete Event Systems), SCODES'01 (symposium on the Supervisory Control of Discrete Event Systems 2001), MSR'05, MSR'07, MSR'09, MSR'11 (Modélisation des Systhèmes Réactifs). I co-organized with Loïc Hélouët MSR'13 in Rennes.


François Chaumette   

Journal articles1 document

  • E. Marchand, Eric Rutten, Hervé Marchand, François Chaumette. Specifying and verifying active vision-based robotic systems with the Signal environment. The International Journal of Robotics Research, SAGE Publications, 1998, 17 (4), pp.418-432. ⟨inria-00352559⟩