- 11
- 4
- 2
- 2
- 1
- 1
- 1
Hervé Marchand
22
Documents
Identifiants chercheurs
- herve-marchand
- IdRef : 095626360
Présentation
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.
Publications
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 22
- 7
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 3
- 1
- 3
- 1
- 1
- 1
- 2
|
Integrating Discrete Controller Synthesis into a Reactive Programming Language CompilerDiscrete Event Dynamic Systems, 2013, 23 (4), pp.385-418. ⟨10.1007/s10626-013-0163-5⟩
Article dans une revue
hal-00863286v1
|
|
Automatic generation of safe handlers for multi-task systemsJournal of Embedded Computing, 2009, 3 (4), pp.255-276. ⟨10.3233/JEC-2009-0097⟩
Article dans une revue
inria-00510023v1
|
Formal verification of programs specified with signal: application to a power transformer station controllerScience of Computer Programming, 2001, 41 (1), pp.85-104. ⟨10.1016/S0167-6423(00)00020-4⟩
Article dans une revue
inria-00526287v1
|
|
|
Specifying and verifying active vision-based robotic systems with the Signal environmentThe International Journal of Robotics Research, 1998, 17 (4), pp.418-432
Article dans une revue
inria-00352559v1
|
|
Symbolic Limited Lookahead Control for Best-effort Dynamic Computing Resource ManagementWODES 2018 - 14th Workshop on Discrete Event Systems, May 2018, Sorrento Coast, Italy. pp.1-8, ⟨10.1016/j.ifacol.2018.06.288⟩
Communication dans un congrès
hal-01807284v1
|
|
Logico-numerical Control for Software Components ReconfigurationCCTA 2017 - IEEE Conference on Control Technology and Applications, Aug 2017, Mauna Lani, HI, United States. pp.1599 - 1606, ⟨10.1109/CCTA.2017.8062685⟩
Communication dans un congrès
hal-01644754v1
|
Discrete Control-Based Design of Adaptive and Autonomic Computing SystemsICDCIT: International Conference on Distributed Computing and Internet Technology, Feb 2015, Bhubaneswar, India. ⟨10.1007/978-3-319-14977-6_6⟩
Communication dans un congrès
hal-01116015v1
|
|
|
Discrete Control of Computing Systems Administration: a Programming Language supported ApproachEuropean Control Conference, Jul 2013, Zurich, Switzerland. pp.117-124
Communication dans un congrès
hal-00863276v1
|
|
Intégration de la synthèse de contrôleurs discrets dans un langage de programmationModélisation des Systèmes Réactifs (MSR'11), Nov 2011, Lille, France
Communication dans un congrès
inria-00629104v1
|
|
Multicriteria optimal reconfiguration of fault-tolerant real-time tasksWODES'10, Aug 2010, Berlin, Germany. pp.366-373, ⟨10.3182/20100830-3-DE-4013.00059⟩
Communication dans un congrès
inria-00510019v1
|
|
Contracts for modular discrete controller synthesisProceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, Apr 2010, Stockholm, Sweden. pp.57-66, ⟨10.1145/1755888.1755898⟩
Communication dans un congrès
inria-00476910v1
|
|
Synthèse optimale de contrôleurs discrets et systèmes répartis tolérants aux fautes6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2007, Lyon, France. pp.71-86
Communication dans un congrès
inria-00424279v1
|
Optimal discrete controller synthesis for modeling fault-tolerant distributed systems1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS), Jun 2007, Cachan, France. ⟨10.3182/20070613-3-FR-4909.00031⟩
Communication dans un congrès
hal-00375564v1
|
|
|
Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis14th Euromicro Conference on Real-Time Systems (ECRTS'02), Jun 2002, Vienna, Austria. pp.241-248, ⟨10.1109/EMRTS.2002.1019204⟩
Communication dans un congrès
inria-00525533v1
|
|
A case study in applying discrete control synthesis to excavator operationIEEE International Conference on Systems, Man and Cybernetics (IEEE SMC), Oct 2002, Hammamet, Tunisia. ⟨10.1109/ICSMC.2002.1175694⟩
Communication dans un congrès
inria-00525535v1
|
|
Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller5th International Conference on Algebraic Methodology and Software Technology (AMAST '96), Jul 1996, Munich, Germany. pp.271-285
Communication dans un congrès
hal-00544301v1
|
|
BZR Contracts for Modular Discrete Controller Synthesis[Research Report] RR-7111, INRIA. 2009
Rapport
inria-00436560v1
|
|
Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems[Research Report] RR-6137, INRIA. 2007, pp.35
Rapport
inria-00134550v2
|
|
Automatic Generation of Safe Handlers for Multi-Task Systems[Research Report] RR-5345, INRIA. 2004
Rapport
inria-00071252v1
|
|
Task-level programming for control systems using discrete control synthesis[Research Report] RR-4389, INRIA. 2002
Rapport
inria-00072199v1
|
|
Specifying and verifying a transformer station in Signal and SignalGTi[Research Report] RR-2521, INRIA. 1995
Rapport
inria-00074157v1
|
|
The Signal data flow methodology applied to a production cell[Research Report] RR-2522, INRIA. 1995
Rapport
inria-00074155v1
|