Hervé Marchand

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](http://people.rennes.inria.fr/Herve.Marchand/) 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](http://control.bu.edu/ieee/) between 2009 and 2013. I have served in the program committee of several conferences : [ IFAC World Congress'11](http://www.ifac2011.org/), [ DCDS'11](http://www.dcds11.uni-saarland.de/), [DCDS'13](http://dcds13.net.dcs.hull.ac.uk/) *(International Workshop on Dependable Control of Discrete Systems)*, [Vecos'08](http://www.comp.leeds.ac.uk/vecos08/) (*International Workshop on Verification and Evaluation of Computer and Communication Systems*), [ICINCO'07](http://www.icinco.org/icinco2007/index.htm), [ICINCO'08](http://www.icinco.org/icinco2008/index.htm) [ICINCO'09](http://www.icinco.org/ICINCO2009/index.htm), [INCINCO'10](http://www.icinco.org/ICINCO2010/), [INCINCO'11](http://www.icinco.org/) (*International Conference on Informatics in Control, Automation and Robotics*), [ Wodes'06](http://www.eecs.umich.edu/wodes2006/), [Wodes'08](http://www.wodes2008.org/), [Wodes'10](http://www.wodes2010.org/), [Wodes 2012](http://www.gdl.cinvestav.mx/wodes-12/) (*International Workshop on Discrete Event Systems*), SCODES'01 (*symposium on the Supervisory Control of Discrete Event Systems 2001*), MSR'05, MSR'07, [MSR'09](http://msr09.irccyn.ec-nantes.fr/), [MSR'11](http://www.lifl.fr/msr11/pages/venir.html) (*Modélisation des Systhèmes Réactifs*). I co-organized with Loïc Hélouët [MSR'13](http://msr2013.inria.fr/) in Rennes.

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](http://people.rennes.inria.fr/Herve.Marchand/) 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](http://control.bu.edu/ieee/) between 2009 and 2013. I have served in the program committee of several conferences : [ IFAC World Congress'11](http://www.ifac2011.org/), [ DCDS'11](http://www.dcds11.uni-saarland.de/), [DCDS'13](http://dcds13.net.dcs.hull.ac.uk/) *(International Workshop on Dependable Control of Discrete Systems)*, [Vecos'08](http://www.comp.leeds.ac.uk/vecos08/) (*International Workshop on Verification and Evaluation of Computer and Communication Systems*), [ICINCO'07](http://www.icinco.org/icinco2007/index.htm), [ICINCO'08](http://www.icinco.org/icinco2008/index.htm) [ICINCO'09](http://www.icinco.org/ICINCO2009/index.htm), [INCINCO'10](http://www.icinco.org/ICINCO2010/), [INCINCO'11](http://www.icinco.org/) (*International Conference on Informatics in Control, Automation and Robotics*), [ Wodes'06](http://www.eecs.umich.edu/wodes2006/), [Wodes'08](http://www.wodes2008.org/), [Wodes'10](http://www.wodes2010.org/), [Wodes 2012](http://www.gdl.cinvestav.mx/wodes-12/) (*International Workshop on Discrete Event Systems*), SCODES'01 (*symposium on the Supervisory Control of Discrete Event Systems 2001*), MSR'05, MSR'07, [MSR'09](http://msr09.irccyn.ec-nantes.fr/), [MSR'11](http://www.lifl.fr/msr11/pages/venir.html) (*Modélisation des Systhèmes Réactifs*). I co-organized with Loïc Hélouët [MSR'13](http://msr2013.inria.fr/) in Rennes.