Hervé Marchand

144
Documents
Researcher identifiers

Presentation

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.

Publications

94
14
8
5
5
3
2
2
2
1
1
1
1
1
1
1
1
1
7
6
5
4
4
4
4
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
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
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
35
22
13
12
12
11
10
10
9
9
9
8
7
7
7
5
5
5
4
4
4
4
4
4
4
4
3
3
3
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
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
1
1
11
10
10
8
8
7
7
7
7
6
6
6
6
5
4
4
4
4
3
3
2
2
2
2
2
2
2
1
1
1
1

Publications

Image document

A New Verification Algorithm for Inferencing in Supervisory Control of Discrete-Event Systems

C K Sharpe , S.H. Yoon , Laurie S. L. Ricker , Hervé Marchand
17th Ifac Workshop on Discrete Event Systems, Apr 2024, Rio De Janeiro, Brazil
Conference papers hal-04581576 v1
Image document

Mutual Opacity between Multiple Adversaries

C K Sharpe , S L Ricker , Hervé Marchand
Wodes 2022 - 16th IFAC Workshop on Discrete Event Systems, Sep 2022, Prague, Czech Republic. pp.1-7
Conference papers hal-03773490 v1
Image document

Compositional model checking of an SDN platform

Abdul Majith , Ocan Sankur , Hervé Marchand , Thai Dinh
DRCN 2021 - 17th International Conference on the Design of Reliable Communication Networks, Apr 2021, Milan, Italy. pp.1-8
Conference papers hal-03229532 v1
Image document

Enforcing Opacity in Modular Systems

Graeme Zinck , Laurie S. L. Ricker , Hervé Marchand , Loïc Hélouët
IFAC 2020 - Ifac world Congress, Nov 2020, Virtual, Germany. pp.1-8
Conference papers hal-02917644 v1
Image document

Towards resilient supervisors against sensor deception attacks

Rômulo Meira-Góes , Hervé Marchand , Stéphane Lafortune
CDC 2019 - 58th IEEE Conference on Decision and Control, Dec 2019, Nice, France. pp.1-6
Conference papers hal-02390435 v1
Image document

Concurrent secrets with quantified suspicion

Loïc Hélouët , Hervé Marchand , John Mullins
ACSD' 2018 - 18th International Conference on Application of Concurrency to System Design, Jun 2018, Bratislava, Slovakia. pp.1-15
Conference papers hal-01757949 v1
Image document

Opacity with powerful attackers

Loïc Hélouët , Hervé Marchand , Laurie S. L. Ricker
WODES 2018 - 14th IFAC Workshop on Discrete Event Systems, May 2018, Sorrento, Italy. pp.464 - 471, ⟨10.1016/j.ifacol.2018.06.341⟩
Conference papers hal-01886156 v1
Image document

Symbolic Limited Lookahead Control for Best-effort Dynamic Computing Resource Management

Nicolas Berthier , Hervé Marchand , Eric Rutten
WODES 2018 - 14th Workshop on Discrete Event Systems, May 2018, Sorrento Coast, Italy. pp.1-8, ⟨10.1016/j.ifacol.2018.06.288⟩
Conference papers hal-01807284 v1
Image document

Logico-numerical Control for Software Components Reconfiguration

Nicolas Berthier , Frederico Alvares , Hervé Marchand , Gwenaël Delaval , Eric Rutten
CCTA 2017 - IEEE Conference on Control Technology and Applications, Aug 2017, Mauna Lani, HI, United States. pp.1599 - 1606, ⟨10.1109/CCTA.2017.8062685⟩
Conference papers hal-01644754 v1
Image document

Inferencing and beyond: further adventures with parity-based architectures for decentralized discrete-event systems

Laurie Ricker , T F Lidbetter , Hervé Marchand
20th World Congress The International Federation of Automatic Control, Jul 2017, Toulouse, France. pp.6
Conference papers hal-01590438 v1
Image document

On the cost of diagnosis with disambiguation

Loïc Hélouët , Hervé Marchand
QEST 2017, Sep 2017, Berlin, France. pp.140-156
Conference papers hal-01537796 v1
Image document

Finding the weakest link(s): Coalition games for decentralized discrete-event control

Laurie S. L. Ricker , Hervé Marchand
55th IEEE Conference on Decision and Control , Dec 2016, Las-Vegas, United States
Conference papers hal-01373709 v1
Image document

Diagnosability of Repairable Faults

Eric Fabre , Loïc Hélouët , Engel Lefaucheux , Hervé Marchand
13th International Workshop on Discrete Event Systems, 2016, Xi'an, China. pp.256-262
Conference papers hal-01302562 v1
Image document

Predictive Runtime Enforcement *

Srinivas Pinisetty , Viorel Preoteasa , Stavros Tripakis , Thierry Jéron , Yliès Falcone et al.
SAC 2016 31st ACM Symposium on Applied Computing, ACM, Apr 2016, Pisa, Italy. pp.1628-1633, ⟨10.1145/2851613.2851827⟩
Conference papers hal-01244369 v1
Image document

TiPEX: A Tool Chain for Timed Property Enforcement During eXecution

Srinivas Pinisetty , Yliès Falcone , Thierry Jéron , Hervé Marchand
RV'2015, 6th International Conference on Runtime Verification, Sep 2015, Vienne, Austria. pp.306-320, ⟨10.1007/978-3-319-23820-3_22⟩
Conference papers hal-01244446 v1
Image document

Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures

Nicolas Berthier , Xin An , Hervé Marchand
5th IFAC International Workshop On Dependable Control of Discrete Systems - DCDS'15, May 2015, Cancun, Mexico. pp.132-138
Conference papers hal-01187745 v1

Discrete Control-Based Design of Adaptive and Autonomic Computing Systems

Xin An , Gwenaël Delaval , Jean-Philippe Diguet , Abdoulaye Gamatié , Soguy Mak-Karé Gueye et al.
ICDCIT: International Conference on Distributed Computing and Internet Technology, Feb 2015, Bhubaneswar, India. ⟨10.1007/978-3-319-14977-6_6⟩
Conference papers hal-01116015 v1
Image document

Deadlock-free Discrete Controller Synthesis for Infinite State Systems

Nicolas Berthier , Hervé Marchand
54th IEEE Conference on Decision and Control, Dec 2015, Osaka, Japan
Conference papers hal-01200976 v1
Image document

Enforcement of (Timed) Properties with Uncontrollable Events

Matthieu Renard , Yliès Falcone , Antoine Rollet , Srinivas Pinisetty , Thierry Jéron et al.
12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Oct 2015, Cali, Colombia. pp.542-560, ⟨10.1007/978-3-319-25150-9_31⟩
Conference papers hal-01185238 v3
Image document

Runtime Enforcement of Regular Timed Properties

Srinivas Pinisetty , Yliès Falcone , Thierry Jéron , Hervé Marchand
Software Verification and Testing, track of the Symposium on Applied Computing ACM-SAC 2014, Mar 2014, Gyeongju, South Korea. pp.1279-1286
Conference papers hal-00907571 v1
Image document

Discrete Controller Synthesis for Infinite State Systems with ReaX

Nicolas Berthier , Hervé Marchand
IEEE International Workshop on Discrete Event Systems, May 2014, Cachan, France. pp.420-427
Conference papers hal-00974553 v1
Image document

Runtime Enforcement of Parametric Timed Properties with Practical Applications

Srinivas Pinisetty , Yliès Falcone , Thierry Jéron , Hervé Marchand
IEEE International Workshop on Discrete Event Systems, May 2014, Cachan, France. pp.420-427
Conference papers hal-00974548 v1
Image document

Runtime Enforcement of K-step Opacity

Yliès Falcone , Hervé Marchand
52nd IEEE Conference on Decision and Control, Dec 2013, Florence, Italy. pp.7271-7278, ⟨10.1109/CDC.2013.6761043⟩
Conference papers hal-00863223 v1
Image document

Runtime Enforcement of Timed Properties

Srinivas Pinisetty , Yliès Falcone , Thierry Jéron , Hervé Marchand , Antoine Rollet et al.
3rd International Conference on Runtime Verification, Sep 2012, Istanbul, Turkey. pp.229-244, ⟨10.1007/978-3-642-35632-2_23⟩
Conference papers hal-00743270 v2
Image document

Discrete Control of Computing Systems Administration: a Programming Language supported Approach

Gwenaël Delaval , Noël de Palma , Soguy Mak-Karé Gueye , Hervé Marchand , Eric Rutten
European Control Conference, Jul 2013, Zurich, Switzerland. pp.117-124
Conference papers hal-00863276 v1
Image document

A parity-based architecture for decentralized discrete-event control

Laurie S. L. Ricker , Hervé Marchand
American Control Conference, Jun 2013, Washigton, United States. pp.5678 - 5684
Conference papers hal-00828714 v1
Image document

Analysis of partially observed recursive tile systems

Sébastien Chédor , Christophe Morvan , Sophie Pinchinat , Hervé Marchand
11th Int. Workshop on Discrete Event Systems, Oct 2012, Guadalajara, Mexico. pp.265-271
Conference papers hal-00743196 v1
Image document

Intégration de la synthèse de contrôleurs discrets dans un langage de programmation

Gwenaël Delaval , Eric Rutten , Hervé Marchand
Modélisation des Systèmes Réactifs (MSR'11), Nov 2011, Lille, France
Conference papers inria-00629104 v1
Image document

Abstracting Time and Data for Conformance Testing of Real-Time Systems

Wilkerson L. Andrade , Patricia D. L. Machado , Thierry Jéron , Hervé Marchand
7th Workshop on Advances in Model Based Testing A-MOST 2011, Mar 2011, Berlin, Germany
Conference papers hal-00646089 v1
Image document

Synthesis of Communicating Controllers for Distributed Systems

Gabriel Kalyon , Tristan Le Gall , Hervé Marchand , Thierry Massart
IEEE Conference on Decision and Control and European Control Conference, Dec 2011, Orlando, United States. pp.1803-1810
Conference papers inria-00627574 v1
Image document

Global State Estimates for Distributed Systems

Gabriel Kalyon , Tristan Le Gall , Hervé Marchand , Thierry Massart
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik, Iceland. pp.198-212, ⟨10.1007/978-3-642-21461-5_13⟩
Conference papers inria-00581259 v1
Image document

Polychronous Controller Synthesis from MARTE CCSL Timing Specifications

Huafeng Yu , Jean-Pierre Talpin , Loïc Besnard , Thierry Gautier , Hervé Marchand et al.
ACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign (MEMOCODE), Jul 2011, Cambridge, United Kingdom
Conference papers inria-00594942 v1
Image document

Supervisory Control for Modal Specifications of Services

Philippe Darondeau , Jérémy Dubreil , Hervé Marchand
Workshop on Discrete Event Systems, WODES'10, Aug 2010, Berlin, Germany. pp.428-435
Conference papers inria-00510013 v1
Image document

Multicriteria optimal reconfiguration of fault-tolerant real-time tasks

Emil Dumitrescu , Alain Girault , Hervé Marchand , Eric Rutten
WODES'10, Aug 2010, Berlin, Germany. pp.366-373, ⟨10.3182/20100830-3-DE-4013.00059⟩
Conference papers inria-00510019 v1
Image document

Automatic Test Generation for Data-Flow Reactive Systems with time constraints

Omer Landry Nguena Timo , Hervé Marchand , Antoine Rollet
22nd IFIP International Conference on Testing Software and Systems (Short Papers), Nov 2010, Natal, Brazil. pp.25-30
Conference papers inria-00530584 v1
Image document

Contracts for modular discrete controller synthesis

Gwenaël Delaval , Hervé Marchand , Eric Rutten
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⟩
Conference papers inria-00476910 v1
Image document

More Testable Properties

Yliès Falcone , Jean-Claude Fernandez , Thierry Jéron , Hervé Marchand , Laurent Mounier
22nd International Conference on Testing Software and Systems, Nov 2010, Natal, Brazil. pp.30-46, ⟨10.1007/978-3-642-16573-3_4⟩
Conference papers inria-00510018 v2
Image document

Génération automatique de tests pour des propriétés de sécurité

Hervé Marchand , Jérémy Dubreil , Thierry Jéron
4ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, Jun 2009, Luchon, France. pp.157-174
Conference papers inria-00420454 v1
Image document

Monitoring Confidentiality by Diagnosis Techniques

Jérémy Dubreil , Thierry Jéron , Hervé Marchand
European Control Conference, Aug 2009, Budapest, Hungary. pp.2584-2589
Conference papers inria-00420420 v1

Contrôle décentralisé de systèmes symboliques infinis sous observation partielle

Gabriel Kalyon , Tristan Le Gall , Hervé Marchand , Thierry Massart
7ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Nov 2009, Nantes, France. pp.805-820
Conference papers inria-00420486 v1
Image document

Control of Infinite Symbolic Transition Systems under Partial Observation

Gabriel Kalyon , Tristan Le Gall , Hervé Marchand , Thierry Massart
European Control Conference, Aug 2009, Budapest, Hungary. pp.1456-1462
Conference papers inria-00420429 v1
Image document

Dynamic Observers for the Synthesis of Opaque Systems

Franck Cassez , Jérémy Dubreil , Hervé Marchand
7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), Oct 2009, Macao SAR, China. pp.352-367, ⟨10.1007/978-3-642-04761-9_26⟩
Conference papers inria-00399229 v1
Image document

Automatic Testing of Access Control for Security Properties

Hervé Marchand , Jérémy Dubreil , Thierry Jéron
TESTCOM/FATES 2009, Nov 2009, Eindhoven, Netherlands. pp.113-128, ⟨10.1007/978-3-642-05031-2⟩
Conference papers inria-00420424 v1
Image document

Computational Complexity for State-Feedback Controllers with Partial Observation

Gabriel Kalyon , Tristan Le Gall , Hervé Marchand , Thierry Massart
7th International Conference on Control and Automation, ICCA'09, Dec 2009, Christchurch, New Zealand. pp.435-441, ⟨10.1109/ICCA.2009.5410356⟩
Conference papers inria-00420445 v1
Image document

Predictability of Sequence Patterns in Discrete Event Systems

Thierry Jéron , Hervé Marchand , Sahika Genc , Stéphane Lafortune
IFAC World Congress, Aug 2008, Seoul, South Korea. pp.537-543
Conference papers inria-00420497 v1
Image document

Opacity Enforcing Control Synthesis

Jérémy Dubreil , Philippe Darondeau , Hervé Marchand
Workshop on Discrete Event Systems, WODES'08, May 2008, Goteborg, Sweden. pp.28-35
Conference papers inria-00344269 v1
Image document

Construction de moniteurs pour la surveillance de propriétés de sécurité

Jérémy Dubreil , Thierry Jéron , Hervé Marchand
6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2007, Lyon, France. pp.105-120
Conference papers inria-00424274 v1
Image document

Synthèse optimale de contrôleurs discrets et systèmes répartis tolérants aux fautes

Emil Dumitrescu , Alain Girault , Hervé Marchand , Eric Rutten
6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2007, Lyon, France. pp.71-86
Conference papers inria-00424279 v1

Optimal discrete controller synthesis for modeling fault-tolerant distributed systems

Emil Dumitrescu , Eric Rutten , Alain Girault , Hervé Marchand
1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS), Jun 2007, Cachan, France. ⟨10.3182/20070613-3-FR-4909.00031⟩
Conference papers hal-00375564 v1
Image document

A constructive and modular approach to decentralized supervisory Control problems

Jan Komenda , Hervé Marchand , Sophie Pinchinat
3rd IFAC Workshop on Discrete-Event System Design, Sep 2006, Rydzyna, Poland
Conference papers inria-00424857 v1

Motifs de surveillance pour le diagnostic de systèmes à événements discrets

Thierry Jéron , Hervé Marchand , Marie-Odile Cordier
RFIA 2006 (Congrès Reconnaissance des formes et Intelligence Artificielle), 2006, Tours, France
Conference papers inria-00463795 v1
Image document

Modular and Decentralized Supervisory Control of Concurrent Discrete Event Systems Using Reduced System Models.

Klaus Schmidt , Hervé Marchand , Benoit Gaudin
Workshop on Discrete Event Systems, WODES'06, Jul 2006, Ann-Arbor, United States. pp.149-154, ⟨10.1109/WODES.2006.1678423⟩
Conference papers inria-00425106 v1
Image document

Supervision Patterns in Discrete Event Systems Diagnosis

Thierry Jéron , Hervé Marchand , Sophie Pinchinat , Marie-Odile Cordier
Workshop on Discrete Event Systems, WODES'06, Jul 2006, Ann-Arbor, United States. pp.262-268, ⟨10.1109/WODES.2006.1678440⟩
Conference papers inria-00425085 v1

Supervision patterns in discrete event systems

Thierry Jéron , Hervé Marchand , Sophie Pinchinat , Marie-Odile Cordier
DX'06 (17th International Workshop on Principal of Diagnosis), 2006, Burgos, Spain. pp.117-124
Conference papers inria-00463799 v1
Image document

Symbolic Determinisation of Extended Automata

Thierry Jéron , Hervé Marchand , Vlad Rusu
4th IFIP International Conference on Theoretical Computer Science, Aug 2006, Stantiago, Chile, Chile. pp.197-212, ⟨10.1007/978-0-387-34735-6_18⟩
Conference papers inria-00424858 v1
Image document

Safety Control of Hierarchical Synchronous Discrete Event Systems: A State-Based Approach

Benoit Gaudin , Hervé Marchand
13th Mediterranean Conference on Control and Automation, Dec 2005, Limassol, Cyprus. pp.889-895
Conference papers inria-00483946 v1
Image document

Une approche modulaire pour le contrôle de systèmes à événements discrets concurrents

Benoit Gaudin , Hervé Marchand
5ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2005, Autran, France. pp.79-94
Conference papers inria-00520028 v1
Image document

Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation

Tristan Le Gall , Bertrand Jeannet , Hervé Marchand
44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Dec 2005, Seville, Spain. pp.31-35
Conference papers inria-00483925 v1
Image document

Supervisory Control and Deadlock Avoidance Control Problem for Concurrent Discrete Event Systems

Benoit Gaudin , Hervé Marchand
44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Dec 2005, Seville, Spain. pp.2763-2768
Conference papers inria-00483911 v1
Image document

Modular supervisory control with general indecomposable specification languages

Jan Komenda , Jan van Schuppen , Benoit Gaudin , Hervé Marchand
44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Dec 2005, Seville, Spain. pp.3474-3479
Conference papers inria-00483919 v1
Image document

Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems

Vlad Rusu , Hervé Marchand , Thierry Jéron
Formal Methods 2005 (FM05), Jul 2005, Newcastle, United Kingdom. pp.189-204, ⟨10.1007/11526841_14⟩
Conference papers inria-00483945 v1
Image document

Modular Supervisory Control of a class of Concurrent Discrete Event Systems

Benoit Gaudin , Hervé Marchand
Workshop on Discrete Event Systems, Sep 2004, Reims, France. pp.181-186
Conference papers inria-00517300 v1
Image document

From Safety Verification to Safety Testing

Vlad Rusu , Hervé Marchand , Valérie Tschaen , Thierry Jéron , Bertrand Jeannet
Testing of Communicating Systems (Testcom), Mar 2004, Oxford, United Kingdom. pp.160-176, ⟨10.1007/978-3-540-24704-3_11⟩
Conference papers inria-00517304 v1
Image document

Supervisory Control of Asynchronous and Hierarchical Finite State Machines

Benoit Gaudin , Hervé Marchand
European Control Conference, Sep 2003, Cambridge, United Kingdom
Conference papers inria-00520032 v1

Ensuring the conformance of reactive discrete-event systems using supervisory control

Thierry Jéron , Hervé Marchand , Vlad Rusu , Valérie Tschaen
42nd IEEE Conference on Decision and Control, Dec 2003, Hawaii, United States. pp.2692 - 2697, ⟨10.1109/CDC.2003.1273030⟩
Conference papers inria-00520030 v1
Image document

Contrôle de systèmes à événements discrets hiérarchiques

Benoit Gaudin , Hervé Marchand
4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2003, Metz, France. pp.383-397
Conference papers inria-00520044 v1
Image document

Synthèse de contrôleurs pour une relation de conformité

Thierry Jéron , Hervé Marchand , Vlad Rusu , Valérie Tschaen
4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2003, Metz, France. pp.523-536
Conference papers inria-00520038 v1
Image document

Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis

Hervé Marchand , Eric Rutten
14th Euromicro Conference on Real-Time Systems (ECRTS'02), Jun 2002, Vienna, Austria. pp.241-248, ⟨10.1109/EMRTS.2002.1019204⟩
Conference papers inria-00525533 v1

Diagnostic de pannes sur des systèmes à événements discrets : une approche à base de modèles symboliques

Hervé Marchand , Laurence Rozé
13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle, Jan 2002, Angers, France. pp.191-200
Conference papers inria-00525565 v1

A Protocol for Loosely Time-Triggered Architectures

Albert Benveniste , Paul Caspi , Paul Le Guernic , Hervé Marchand , Jean-Pierre Talpin et al.
Embedded Software Conference (EMSOFT '02), Oct 2002, Grenoble, France. pp.252-265, ⟨10.1007/3-540-45828-X_19⟩
Conference papers istex inria-00526261 v1
Image document

A case study in applying discrete control synthesis to excavator operation

Hervé Marchand , Eric Rutten
IEEE International Conference on Systems, Man and Cybernetics (IEEE SMC), Oct 2002, Hammamet, Tunisia. ⟨10.1109/ICSMC.2002.1175694⟩
Conference papers inria-00525535 v1
Image document

Supervisory Control Problems of Hierarchical Finite State Machines

Hervé Marchand , Benoit Gaudin
41th IEEE Conference on Decision and Control, Dec 2002, Las-Vegas, United States. pp.1199-1204, ⟨10.1109/CDC.2002.1184677⟩
Conference papers inria-00525529 v1
Image document

Optimal control of discrete event systems under partial observation

Hervé Marchand , Olivier Boivineau , Stéphane Lafortune
40th IEEE Conference on Decision and Control, Dec 2001, Orlando, United States. pp.2235-2240, ⟨10.1109/.2001.980609⟩
Conference papers inria-00526273 v1
Image document

The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design

Albert Benveniste , Patricia Bournai , Thierry Gautier , Michel Le Borgne , Paul Le Guernic et al.
40th IEEE Conference on Decision and Control, Dec 2001, Orlando, United States. pp.3284 - 3289, ⟨10.1109/.2001.980328⟩
Conference papers inria-00526268 v1
Image document

A Design Environment for Discrete-Event Controllers based on the Signal Language

Hervé Marchand , Patricia Bournai , Michel Le Borgne , Paul Le Guernic
1998 IEEE International Conference on Systems, Man, And Cybernetics (SMC '98), Oct 1998, San Diego, California, United States. pp.770-775, ⟨10.1109/ICSMC.1998.725501⟩
Conference papers hal-00546362 v1
Image document

Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller

Michel Le Borgne , Hervé Marchand , Eric Rutten , Mazen Samaan
5th International Conference on Algebraic Methodology and Software Technology (AMAST '96), Jul 1996, Munich, Germany. pp.271-285
Conference papers hal-00544301 v1
Image document

Dealing with sensor and actuator deception attacks in supervisory control

Rômulo Meira-Góes , Hervé Marchand , Stéphane Lafortune
Automatica, 2023, 147, pp.1-9. ⟨10.1016/j.automatica.2022.110736⟩
Journal articles hal-03878794 v1
Image document

Synthesis of Supervisors Robust Against Sensor Deception Attacks

Rômulo Meira-Góes , Stephane Lafortune , Hervé Marchand
IEEE Transactions on Automatic Control, 2021, IEEE Transactions on Automatic Control, 66 (10), pp.4990-4997. ⟨10.1109/TAC.2021.3051459⟩
Journal articles hal-03153391 v1
Image document

Optimal Enforcement of (Timed) Properties with Uncontrollable Events

Matthieu Renard , Yliès Falcone , Antoine Rollet , Thierry Jéron , Hervé Marchand
Mathematical Structures in Computer Science, 2019, 29 (1), pp.169-214. ⟨10.1017/S0960129517000123⟩
Journal articles hal-01262444 v4
Image document

Diagnosability of Repairable Faults

Eric Fabre , Loïc Hélouët , Engel Lefaucheux , Hervé Marchand
Discrete Event Dynamic Systems, 2018, 28 (2), pp.183-213. ⟨10.1007/s10626-017-0255-8⟩
Journal articles hal-01646911 v1

Predictive runtime enforcement

Srinivas Pinisetty , Viorel Preoteasa , Stavros Tripakis , Thierry Jéron , Yliès Falcone et al.
Formal Methods in System Design, 2017, 51 (1), pp.154 - 199. ⟨10.1007/s10703-017-0271-1⟩
Journal articles hal-01647787 v1
Image document

Predictive Runtime Verification of Timed Properties

Srinivas Pinisetty , Thierry Jéron , Stavros Tripakis , Yliès Falcone , Hervé Marchand et al.
Journal of Systems and Software, 2017, 132, pp.353 - 365. ⟨10.1016/j.jss.2017.06.060⟩
Journal articles hal-01666995 v1
Image document

Runtime Enforcement of Regular Timed Properties by Suppressing and Delaying Events

Yliès Falcone , Thierry Jéron , Hervé Marchand , Srinivas Pinisetty
Science of Computer Programming, 2016, 123, pp.2-41. ⟨10.1016/j.scico.2016.02.008⟩
Journal articles hal-01281727 v1
Image document

Enforcing Opacity of Regular Predicates on Modal Transition Systems

Philippe Darondeau , Hervé Marchand , Laurie S. L. Ricker
Discrete Event Dynamic Systems, 2015, 25 ((1-2)), pp.251-270. ⟨10.1007/s10626-014-0193-7⟩
Journal articles hal-00987988 v1
Image document

Enforcement and Validation (at runtime) of Various Notions of Opacity

Yliès Falcone , Hervé Marchand
Discrete Event Dynamic Systems, 2015, 25 (4), pp.531-570. ⟨10.1007/s10626-014-0196-4⟩
Journal articles hal-00987985 v1
Image document

Diagnosis and Opacity Problems for Infinite State Systems Modeled by Recursive Tile Systems

Sébastien Chédor , Christophe Morvan , Sophie Pinchinat , Hervé Marchand
Discrete Event Dynamic Systems, 2015, 25 ((1-2)), pp.271-294. ⟨10.1007/s10626-014-0197-3⟩
Journal articles hal-00994970 v1
Image document

Symbolic Supervisory Control of Distributed Systems with Communications

Gabriel Kalyon , Tristan Le Gall , Hervé Marchand , Thierry Massart
IEEE Transactions on Automatic Control, 2014, 59, pp.396-408. ⟨10.1109/TAC.2013.2283093⟩
Journal articles hal-00903452 v1
Image document

Diagnosis from Scenarios

Loïc Hélouët , Hervé Marchand , Blaise Genest , Thomas Gazagnaire
Discrete Event Dynamic Systems, 2014, 24 (4), pp.353-415. ⟨10.1007/s10626-013-0158-2⟩
Journal articles hal-00879441 v1
Image document

Integrating Discrete Controller Synthesis into a Reactive Programming Language Compiler

Gwenaël Delaval , Eric Rutten , Hervé Marchand
Discrete Event Dynamic Systems, 2013, 23 (4), pp.385-418. ⟨10.1007/s10626-013-0163-5⟩
Journal articles istex hal-00863286 v1
Image document

More testable properties

Yliès Falcone , Jean-Claude Fernandez , Thierry Jéron , Hervé Marchand , Laurent Mounier
International Journal on Software Tools for Technology Transfer, 2012, 14 (4), pp.407-437. ⟨10.1007/s10009-011-0220-z⟩
Journal articles hal-00743981 v1
Image document

Synthesis of opaque systems with static and dynamic masks

Franck Cassez , Jérémy Dubreil , Hervé Marchand
Formal Methods in System Design, 2012, 40 (1), pp.88-115. ⟨10.1007/s10703-012-0141-9⟩
Journal articles hal-00662539 v1
Image document

Symbolic Supervisory Control of Infinite Transition Systems under Partial Observation using Abstract Interpretation

Gabriel Kalyon , Tristan Le Gall , Hervé Marchand , Thierry Massart
Discrete Event Dynamic Systems, 2012, 22 (2), pp.121-161. ⟨10.1007/s10626-011-0101-3⟩
Journal articles inria-00586169 v1
Image document

Decentralized Control of Infinite Systems

Gabriel Kalyon , Tristan Le Gall , Hervé Marchand , Thierry Massart
Discrete Event Dynamic Systems, 2011, 21 (3), pp.359-393. ⟨10.1007/s10626-011-0106-y⟩
Journal articles inria-00594665 v1
Image document

Supervisory Control for Opacity

Jérémy Dubreil , Philippe Darondeau , Hervé Marchand
IEEE Transactions on Automatic Control, 2010, 55 (5), pp.1089-1100. ⟨10.1109/TAC.2010.2042008⟩
Journal articles inria-00483891 v1
Image document

Automatic generation of safe handlers for multi-task systems

Eric Rutten , Hervé Marchand
Journal of Embedded Computing, 2009, 3 (4), pp.255-276. ⟨10.3233/JEC-2009-0097⟩
Journal articles inria-00510023 v1

Supervisory Control of Modular Systems with Global Specification Languages

Jan Komenda , Jan van Schuppen , Benoit Gaudin , Hervé Marchand
Automatica, 2008, 44, pp.1127-1134. ⟨10.1016/j.automatica.2007.09.004⟩
Journal articles istex inria-00422859 v1
Image document

Integrating Formal Verification and Conformance Testing for Reactive Systems

Camille Constant , Thierry Jéron , Hervé Marchand , Vlad Rusu
IEEE Transactions on Software Engineering, 2007, 33 (8), pp.558-574. ⟨10.1109/TSE.2007.70707⟩
Journal articles inria-00422904 v1
Image document

An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-Based Approach

Benoit Gaudin , Hervé Marchand
Discrete Event Dynamic Systems, 2007, 17 (2), pp.179-209. ⟨10.1007/s10626-006-0007-7⟩
Journal articles inria-00423795 v1

Contrôle de systèmes symboliques, discrets ou hybrides

Tristan Le Gall , Bertrand Jeannet , Hervé Marchand
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2006, 35 (3), pp.293-319. ⟨10.3166/tsi.25.289-315⟩
Journal articles inria-00424478 v1
Image document

Evaluation of protective effect of DNA vaccination with genes encoding antigens GRA4 and SAG1 associated with GM-CSF plasmid, against acute, chronical and congenital toxoplasmosis in mice

Marie-Noëlle Mévélec , Daniel Bout , Benoît Desolme , Hervé Marchand , Rémy Magné et al.
Vaccine, 2005, 23 (36), pp.4489-4499. ⟨10.1016/j.vaccine.2005.04.025⟩
Journal articles hal-02681030 v1
Image document

Ensuring the conformance of reactive discrete-event systems by means of supervisory control

Thierry Jéron , Hervé Marchand , Vlad Rusu , Valérie Tschaen
International Journal of Production Research, 2004, 42 (14), pp.2809 - 2826. ⟨10.1080/00207540410001705202⟩
Journal articles inria-00517265 v1
Image document

Supervisory Control of Product and Hierarchical Discrete Event Systems

Benoit Gaudin , Hervé Marchand
European Journal of Control, 2004, 10 (2), pp.131-145
Journal articles inria-00517264 v1
Image document

On Optimal Control of a Class of Partially-Observed Discrete Event Systems

Hervé Marchand , Olivier Boivineau , Stéphane Lafortune
Automatica, 2002, 36 (2)
Journal articles inria-00000099 v1

Formal verification of programs specified with signal: application to a power transformer station controller

Hervé Marchand , Eric Rutten , Michel Le Borgne , Mazen Samaan
Science of Computer Programming, 2001, 41 (1), pp.85-104. ⟨10.1016/S0167-6423(00)00020-4⟩
Journal articles istex inria-00526287 v1
Image document

Synthesis of Discrete-Event Controllers based on the Signal Environment

Hervé Marchand , Patricia Bournai , Michel Le Borgne , Paul Le Guernic
Discrete Event Dynamic Systems, 2000, 10 (4), pp.325-346. ⟨10.1023/A:1008311720696⟩
Journal articles istex hal-00546147 v1
Image document

Incremental Design of a Power Transformer Station Controller using a Controller Synthesis Methodology

Hervé Marchand , Mazen Samaan
IEEE Transactions on Software Engineering, 2000, 26 (8), pp.729-741
Journal articles hal-00546156 v1
Image document

On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals

Hervé Marchand , Olivier Boivineau , Stéphane Lafortune
SIAM Journal on Control and Optimization, 2000, 39 (2), pp.512-532. ⟨10.1137/S0363012998341964⟩
Journal articles inria-00584875 v1
Image document

Specifying and verifying active vision-based robotic systems with the Signal environment

E. Marchand , Eric Rutten , Hervé Marchand , François Chaumette
The International Journal of Robotics Research, 1998, 17 (4), pp.418-432
Journal articles inria-00352559 v1
Image document

Contribution to the Analysis of Discrete Event Systems

Hervé Marchand
Software Engineering [cs.SE]. Université de Rennes 1, 2017
Habilitation à diriger des recherches tel-01589972 v1

Deliverable L2: Objectives of Phase 1 and use cases denition.

Blaise Genest , Christophe Morvan , Eric Fabre , Hervé Marchand , Karim Kecir et al.
[Contract] Projet P22 INRIA SUMO- Alstom Transport. 2014, pp.5
Reports (Contract/project report) hal-01094374 v1

Deliverable L1 : State of the art and selected references

Loïc Hélouët , Eric Fabre , Christophe Morvan , Blaise Genest , Karim Kecir et al.
[Technical Report] Projet P22 INRIA SUMO- Alstom Transport. 2014, pp.32
Reports (Technical report) hal-01094366 v1
Image document

Symbolic Supervisory Control of Distributed Systems with Communications

Gabriel Kalyon , Tristan Le Gall , Hervé Marchand , Thierry Massart
[Research Report] RR-8260, INRIA. 2013
Reports (Research report) hal-00801840 v1
Image document

Supervisory Control for Modal Specifications of Services

Philippe Darondeau , Jérémy Dubreil , Hervé Marchand
[Research Report] RR-7247, INRIA. 2010
Reports (Research report) inria-00472736 v1
Image document

More Testable Properties

Yliès Falcone , Jean-Claude Fernandez , Thierry Jéron , Hervé Marchand , Laurent Mounier
[Research Report] RR-7279, INRIA. 2010, pp.45
Reports (Research report) inria-00484297 v1
Image document

Various Notions of Opacity Verified and Enforced at Runtime

Yliès Falcone , Hervé Marchand
[Research Report] RR-7349, INRIA. 2010
Reports (Research report) inria-00507143 v2
Image document

Dynamic Observers for the Synthesis of Opaque Systems

Franck Cassez , Jérémy Dubreil , Hervé Marchand
[Research Report] PI 1930, 2009, pp.22
Reports (Research report) inria-00396442 v1
Image document

BZR Contracts for Modular Discrete Controller Synthesis

Gwenaël Delaval , Hervé Marchand , Eric Rutten
[Research Report] RR-7111, INRIA. 2009
Reports (Research report) inria-00436560 v1
Image document

Supervisory Control for Opacity

Jérémy Dubreil , Philippe Darondeau , Hervé Marchand
[Research Report] PI 1921, 2009, 19 p
Reports (Research report) inria-00360186 v1
Image document

Monitoring Information flow by Diagnosis Techniques

Jérémy Dubreil , Thierry Jéron , Hervé Marchand
[Research Report] PI 1901, 2008, pp.15
Reports (Research report) inria-00312747 v2
Image document

Opacity Enforcing Control Synthesis

Jérémy Dubreil , Philippe Darondeau , Hervé Marchand
[Research Report] PI 1887, 2008, pp.19
Reports (Research report) inria-00265855 v2
Image document

Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems

Emil Dumitrescu , Alain Girault , Hervé Marchand , Eric Rutten
[Research Report] RR-6137, INRIA. 2007, pp.35
Reports (Research report) inria-00134550 v2
Image document

Predictability of Sequence Patterns in Discrete Event Systems

Thierry Jéron , Hervé Marchand , Sahika Genc , Stéphane Lafortune
[Research Report] PI 1834, 2007, pp.17
Reports (Research report) inria-00136129 v1
Image document

Symbolic Determinisation of Extended Automata

Thierry Jéron , Hervé Marchand , Vlad Rusu
[Research Report] PI 1776, 2006
Reports (Research report) inria-00001073 v1
Image document

Supervision Patterns in Discrete Event Systems Diagnosis

Thierry Jéron , Hervé Marchand , Sophie Pinchinat , Marie-Odile Cordier
[Research Report] PI 1784, 2006, pp.16
Reports (Research report) inria-00001113 v1
Image document

Contrôle de systèmes symboliques, discrets ou hybrides

Tristan Le Gall , Bertrand Jeannet , Hervé Marchand
[Rapport de recherche] RR-5474, INRIA. 2005, pp.30
Reports (Research report) inria-00070534 v1
Image document

Automatic Generation of Safe Handlers for Multi-Task Systems

Eric Rutten , Hervé Marchand
[Research Report] RR-5345, INRIA. 2004
Reports (Research report) inria-00071252 v1
Image document

Verification and Symbolic Test Generation for Safety Properties

Vlad Rusu , Hervé Marchand , Thierry Jéron
[Research Report] RR-5285, INRIA. 2004, pp.20
Reports (Research report) inria-00070715 v1
Image document

Task-level programming for control systems using discrete control synthesis

Eric Rutten , Hervé Marchand
[Research Report] RR-4389, INRIA. 2002
Reports (Research report) inria-00072199 v1
Image document

Optimal Control of Discrete Event Systems under Partial Observation

Hervé Marchand , Olivier Boivineau , Stéphane Lafortune
[Research Report] RR-4046, INRIA. 2000
Reports (Research report) inria-00072592 v1
Image document

Symbolic Abstractions of Automata and their application to the Supervisory Control Problem

Sophie Pinchinat , Hervé Marchand , Michel Le Borgne
[Research Report] RR-3814, INRIA. 1999
Reports (Research report) inria-00072844 v1
Image document

The Supervisory Control Problem of Discrete Event Systems using Polynomial Methods

Hervé Marchand , Michel Le Borgne
[Research Report] RR-3790, INRIA. 1999
Reports (Research report) inria-00072869 v1
Image document

Environnement de conception d'automatismes discrets basé sur le langage Signal

Patricia Bournai , Michel Le Borgne , Hervé Marchand
[Rapport de recherche] RR-3254, INRIA. 1997
Reports (Research report) inria-00073435 v1
Image document

Partial Order Control and Optimal Control of Discrete Event Systems modeled as Polynomial Dynamical Systems over Galois fields

Hervé Marchand , Michel Le Borgne
[Research Report] RR-3273, INRIA. 1997
Reports (Research report) inria-00073416 v1
Image document

Specifying and verifying a transformer station in Signal and SignalGTi

Hervé Marchand , Eric Rutten , Mazen Samaan
[Research Report] RR-2521, INRIA. 1995
Reports (Research report) inria-00074157 v1
Image document

The Signal data flow methodology applied to a production cell

Tochéou Pascalin Amagbegnon , Paul Le Guernic , Hervé Marchand , Eric Rutten
[Research Report] RR-2522, INRIA. 1995
Reports (Research report) inria-00074155 v1
Image document

Typage des graphes de décisions ternaires

Hervé Marchand , Michel Le Borgne
[Rapport de recherche] RR-2185, INRIA. 1994
Reports (Research report) inria-00074486 v1

Modélisation des systèmes réactifs

Hervé Marchand , Loïc Hélouët
Hervé Marchand and Loïc Hélouët. Lavoisier, 47, pp.260, 2013, Journal européen des systèmes automatisés
Books hal-00906737 v1

Validation of Reactive Systems

Camille Constant , Thierry Jéron , Hervé Marchand , Vlad Rusu
S, Merz and N, Navet. Modeling and Verification of Real-TIME Systems - Formalisms and software Tools, Hermès Science, pp.51-76, 2008
Book sections inria-00422469 v1

Combinaison entre vérification et test pour la validation de systèmes réactifs

Camille Constant , Thierry Jéron , Hervé Marchand , Vlad Rusu
Nicolas Navet. Traité I2C. Systèmes Temps Réel: Techniques de Description et de Vérification - Théorie et Outils, 1, Hermès Science, pp.59-88, 2006, Informatique et Systèmes d'information
Book sections inria-00424484 v1