Hervé Marchand

Hervé Marchand's home page
146
Documents
Identifiants chercheurs

Publications

96
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
9
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
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
2
1
2
1
3
2
2
5
6
4
8
7
7
4
6
10
11
6
7
10
8
6
4
7
3
4
2
2
2
1
2
1

Publications

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⟩
Article dans une revue 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⟩
Article dans une revue 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⟩
Article dans une revue 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⟩
Article dans une revue 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⟩
Article dans une revue 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⟩
Article dans une revue 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⟩
Article dans une revue hal-01281727 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⟩
Article dans une revue hal-00994970 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⟩
Article dans une revue 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⟩
Article dans une revue hal-00987985 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⟩
Article dans une revue 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⟩
Article dans une revue 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⟩
Article dans une revue istex hal-00863286 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⟩
Article dans une revue hal-00662539 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⟩
Article dans une revue hal-00743981 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⟩
Article dans une revue 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⟩
Article dans une revue 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⟩
Article dans une revue 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⟩
Article dans une revue 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⟩
Article dans une revue 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⟩
Article dans une revue 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⟩
Article dans une revue 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⟩
Article dans une revue istex 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⟩
Article dans une revue 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⟩
Article dans une revue 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
Article dans une revue 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)
Article dans une revue 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⟩
Article dans une revue istex inria-00526287 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
Article dans une revue hal-00546156 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⟩
Article dans une revue istex hal-00546147 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⟩
Article dans une revue 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
Article dans une revue inria-00352559 v1
Image document

Incremental Verification of Inference Observability in Decentralized Discrete-Event Control

S.H. Yoon , Laurie S. L. Ricker , Hervé Marchand
ICCA 2025 - IEEE 19th International Conference on Control & Automation, Jun 2025, Taline, Estonia. pp.262-267, ⟨10.1109/ICCA65672.2025.11129743⟩
Communication dans un congrès hal-05364720 v1
Image document

Detecting and Resolving Feature Interactions in Cyber-Physical Systems Using Formal Methods

D. Walker H. , S. Ricker , Hervé Marchand
ICCA 2025 - IEEE 19th International Conference on Control & Automation, Jun 2025, Tallinn, Estonia. pp.274-279, ⟨10.1109/ICCA65672.2025.11129862⟩
Communication dans un congrès hal-05364753 v1
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
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès hal-02390435 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⟩
Communication dans un congrès hal-01886156 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
Communication dans un congrès hal-01757949 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⟩
Communication dans un congrès hal-01807284 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
Communication dans un congrès hal-01590438 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⟩
Communication dans un congrès hal-01644754 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
Communication dans un congrès hal-01537796 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
Communication dans un congrès hal-01302562 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
Communication dans un congrès hal-01373709 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⟩
Communication dans un congrès hal-01244369 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⟩
Communication dans un congrès hal-01116015 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
Communication dans un congrès hal-01187745 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⟩
Communication dans un congrès hal-01244446 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
Communication dans un congrès 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⟩
Communication dans un congrès hal-01185238 v3
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
Communication dans un congrès hal-00974553 v1
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
Communication dans un congrès hal-00907571 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
Communication dans un congrès hal-00974548 v1
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
Communication dans un congrès hal-00863276 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⟩
Communication dans un congrès hal-00743270 v2
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⟩
Communication dans un congrès hal-00863223 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
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès 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⟩
Communication dans un congrès 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
Communication dans un congrès inria-00594942 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⟩
Communication dans un congrès inria-00510019 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
Communication dans un congrès inria-00510013 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
Communication dans un congrès inria-00530584 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⟩
Communication dans un congrès inria-00510018 v2
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⟩
Communication dans un congrès inria-00476910 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
Communication dans un congrès inria-00420486 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
Communication dans un congrès inria-00420420 v1
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
Communication dans un congrès inria-00420454 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
Communication dans un congrès inria-00420429 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⟩
Communication dans un congrès inria-00420424 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⟩
Communication dans un congrès inria-00399229 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⟩
Communication dans un congrès inria-00420445 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
Communication dans un congrès inria-00344269 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
Communication dans un congrès inria-00420497 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
Communication dans un congrès 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
Communication dans un congrès 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⟩
Communication dans un congrès hal-00375564 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⟩
Communication dans un congrès inria-00425085 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⟩
Communication dans un congrès inria-00425106 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
Communication dans un congrès inria-00463795 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
Communication dans un congrès inria-00424857 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
Communication dans un congrès 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⟩
Communication dans un congrès inria-00424858 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
Communication dans un congrès inria-00520028 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
Communication dans un congrès inria-00483946 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
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès 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⟩
Communication dans un congrès 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
Communication dans un congrès 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⟩
Communication dans un congrès inria-00517304 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
Communication dans un congrès inria-00520044 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⟩
Communication dans un congrès inria-00520030 v1
Image document

Supervisory Control of Asynchronous and Hierarchical Finite State Machines

Benoit Gaudin , Hervé Marchand
European Control Conference, Sep 2003, Cambridge, United Kingdom
Communication dans un congrès inria-00520032 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
Communication dans un congrès inria-00520038 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
Communication dans un congrès inria-00525565 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⟩
Communication dans un congrès inria-00525533 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⟩
Communication dans un congrès 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⟩
Communication dans un congrès 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⟩
Communication dans un congrès 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⟩
Communication dans un congrès 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⟩
Communication dans un congrès 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⟩
Communication dans un congrès 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
Communication dans un congrès hal-00544301 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
Ouvrages 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
Chapitre d'ouvrage 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
Chapitre d'ouvrage inria-00424484 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
Rapport (rapport contrat/projet) 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
Rapport (rapport technique) 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
Rapport (rapport de recherche) hal-00801840 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
Rapport (rapport de recherche) inria-00484297 v1
Image document

Supervisory Control for Modal Specifications of Services

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

Various Notions of Opacity Verified and Enforced at Runtime

Yliès Falcone , Hervé Marchand
[Research Report] RR-7349, INRIA. 2010
Rapport (rapport de recherche) 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
Rapport (rapport de recherche) 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
Rapport (rapport de recherche) inria-00436560 v1
Image document

Supervisory Control for Opacity

Jérémy Dubreil , Philippe Darondeau , Hervé Marchand
[Research Report] PI 1921, 2009, 19 p
Rapport (rapport de recherche) 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
Rapport (rapport de recherche) inria-00312747 v2
Image document

Opacity Enforcing Control Synthesis

Jérémy Dubreil , Philippe Darondeau , Hervé Marchand
[Research Report] PI 1887, 2008, pp.19
Rapport (rapport de recherche) 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
Rapport (rapport de recherche) 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
Rapport (rapport de recherche) inria-00136129 v1
Image document

Symbolic Determinisation of Extended Automata

Thierry Jéron , Hervé Marchand , Vlad Rusu
[Research Report] PI 1776, 2006
Rapport (rapport de recherche) 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
Rapport (rapport de recherche) 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
Rapport (rapport de recherche) inria-00070534 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
Rapport (rapport de recherche) inria-00070715 v1
Image document

Automatic Generation of Safe Handlers for Multi-Task Systems

Eric Rutten , Hervé Marchand
[Research Report] RR-5345, INRIA. 2004
Rapport (rapport de recherche) inria-00071252 v1
Image document

Task-level programming for control systems using discrete control synthesis

Eric Rutten , Hervé Marchand
[Research Report] RR-4389, INRIA. 2002
Rapport (rapport de recherche) 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
Rapport (rapport de recherche) inria-00072592 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
Rapport (rapport de recherche) inria-00072869 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
Rapport (rapport de recherche) inria-00072844 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
Rapport (rapport de recherche) 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
Rapport (rapport de recherche) 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
Rapport (rapport de recherche) 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
Rapport (rapport de recherche) inria-00074155 v1
Image document

Typage des graphes de décisions ternaires

Hervé Marchand , Michel Le Borgne
[Rapport de recherche] RR-2185, INRIA. 1994
Rapport (rapport de recherche) inria-00074486 v1
Image document

Contribution to the Analysis of Discrete Event Systems

Hervé Marchand
Software Engineering [cs.SE]. Université de Rennes 1, 2017
HDR tel-01589972 v1