Skip to Main content

Export Publications

Export the displayed publications:

External widget

Researcher identifiers

Number of documents

22

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.

 


Eric Rutten   

Journal articles4 documents

  • Gwenaël Delaval, Eric Rutten, Hervé Marchand. Integrating Discrete Controller Synthesis into a Reactive Programming Language Compiler. Discrete Event Dynamic Systems, Springer Verlag, 2013, 23 (4), pp.385-418. ⟨10.1007/s10626-013-0163-5⟩. ⟨hal-00863286⟩
  • Eric Rutten, Hervé Marchand. Automatic generation of safe handlers for multi-task systems. Journal of Embedded Computing, IOS Press, 2009, 3 (4), pp.255-276. ⟨10.3233/JEC-2009-0097⟩. ⟨inria-00510023⟩
  • Hervé Marchand, Eric Rutten, Michel Le Borgne, Mazen Samaan. Formal verification of programs specified with signal: application to a power transformer station controller. Science of Computer Programming, Elsevier, 2001, 41 (1), pp.85-104. ⟨10.1016/S0167-6423(00)00020-4⟩. ⟨inria-00526287⟩
  • 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⟩

Conference papers12 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⟩
  • Xin An, Gwenaël Delaval, Jean-Philippe Diguet, Abdoulaye Gamatié, Soguy Mak-Karé Gueye, et al.. Discrete Control-Based Design of Adaptive and Autonomic Computing Systems. ICDCIT: International Conference on Distributed Computing and Internet Technology, Feb 2015, Bhubaneswar, India. ⟨10.1007/978-3-319-14977-6_6⟩. ⟨hal-01116015⟩
  • Gwenaël Delaval, Noel de Palma, Soguy Mak-Karé Gueye, Hervé Marchand, Eric Rutten. Discrete Control of Computing Systems Administration: a Programming Language supported Approach. European Control Conference, Jul 2013, Zurich, Switzerland. pp.117-124. ⟨hal-00863276⟩
  • Gwenaël Delaval, Eric Rutten, Hervé Marchand. Intégration de la synthèse de contrôleurs discrets dans un langage de programmation. Modélisation des Systèmes Réactifs (MSR'11), Nov 2011, Lille, France. ⟨inria-00629104⟩
  • Emil Dumitrescu, Alain Girault, Hervé Marchand, Eric Rutten. Multicriteria optimal reconfiguration of fault-tolerant real-time tasks. WODES'10, Aug 2010, Berlin, Germany. pp.366-373, ⟨10.3182/20100830-3-DE-4013.00059⟩. ⟨inria-00510019⟩
  • Gwenaël Delaval, Hervé Marchand, Eric Rutten. Contracts for modular discrete controller synthesis. Proceedings 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⟩. ⟨inria-00476910⟩
  • Emil Dumitrescu, Eric Rutten, Alain Girault, Hervé Marchand. Optimal discrete controller synthesis for modeling fault-tolerant distributed systems. 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS), Jun 2007, Cachan, France. ⟨hal-00375564⟩
  • Emil Dumitrescu, Alain Girault, Hervé Marchand, Eric Rutten. Synthèse optimale de contrôleurs discrets et systèmes répartis tolérants aux fautes. 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2007, Lyon, France. pp.71-86. ⟨inria-00424279⟩
  • Hervé Marchand, Eric Rutten. Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis. 14th Euromicro Conference on Real-Time Systems (ECRTS'02), Jun 2002, Vienna, Austria. pp.241-248, ⟨10.1109/EMRTS.2002.1019204⟩. ⟨inria-00525533⟩
  • Hervé Marchand, Eric Rutten. A case study in applying discrete control synthesis to excavator operation. IEEE International Conference on Systems, Man and Cybernetics (IEEE SMC), Oct 2002, Hammamet, Tunisia. ⟨10.1109/ICSMC.2002.1175694⟩. ⟨inria-00525535⟩
  • Michel Le Borgne, Hervé Marchand, Eric Rutten, Mazen Samaan. Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller. 5th International Conference on Algebraic Methodology and Software Technology (AMAST '96), Jul 1996, Munich, Germany. pp.271-285. ⟨hal-00544301⟩

Reports6 documents

  • Gwenaël Delaval, Hervé Marchand, Eric Rutten. BZR Contracts for Modular Discrete Controller Synthesis. [Research Report] RR-7111, INRIA. 2009. ⟨inria-00436560⟩
  • Emil Dumitrescu, Alain Girault, Hervé Marchand, Eric Rutten. Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems. [Research Report] RR-6137, INRIA. 2007, pp.35. ⟨inria-00134550v2⟩
  • Eric Rutten, Hervé Marchand. Automatic Generation of Safe Handlers for Multi-Task Systems. [Research Report] RR-5345, INRIA. 2004. ⟨inria-00071252⟩
  • Eric Rutten, Hervé Marchand. Task-level programming for control systems using discrete control synthesis. [Research Report] RR-4389, INRIA. 2002. ⟨inria-00072199⟩
  • Hervé Marchand, Eric Rutten, Mazen Samaan. Specifying and verifying a transformer station in Signal and SignalGTi. [Research Report] RR-2521, INRIA. 1995. ⟨inria-00074157⟩
  • Tochéou Amagbegnon, Paul Le Guernic, Hervé Marchand, Eric Rutten. The Signal data flow methodology applied to a production cell. [Research Report] RR-2522, INRIA. 1995. ⟨inria-00074155⟩