Skip to Main content
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.


Nicolas Berthier   

Conference papers5 documents

  • Nicolas Berthier, Hervé Marchand, Eric Rutten. Symbolic Limited Lookahead Control for Best-effort Dynamic Computing Resource Management. WODES 2018 - 14th Workshop on Discrete Event Systems, May 2018, Sorrento Coast, Italy. pp.1-8, ⟨10.1016/j.ifacol.2018.06.288⟩. ⟨hal-01807284⟩
  • Nicolas Berthier, Frederico Alvares, Hervé Marchand, Gwenaël Delaval, Eric Rutten. Logico-numerical Control for Software Components Reconfiguration. CCTA 2017 - IEEE Conference on Control Technology and Applications, Aug 2017, Mauna Lani, HI, United States. pp.1599 - 1606, ⟨10.1109/CCTA.2017.8062685⟩. ⟨hal-01644754⟩
  • Nicolas Berthier, Hervé Marchand. Deadlock-free Discrete Controller Synthesis for Infinite State Systems. 54th IEEE Conference on Decision and Control, Dec 2015, Osaka, Japan. ⟨hal-01200976⟩
  • Nicolas Berthier, Xin An, Hervé Marchand. Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures. 5th IFAC International Workshop On Dependable Control of Discrete Systems - DCDS'15, May 2015, Cancun, Mexico. pp.132-138. ⟨hal-01187745⟩
  • Nicolas Berthier, Hervé Marchand. Discrete Controller Synthesis for Infinite State Systems with ReaX. IEEE International Workshop on Discrete Event Systems, May 2014, Cachan, France. pp.420-427. ⟨hal-00974553⟩