
Hervé Marchand
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
Publications
|
A New Verification Algorithm for Inferencing in Supervisory Control of Discrete-Event Systems17th Ifac Workshop on Discrete Event Systems, Apr 2024, Rio De Janeiro, Brazil
Conference papers
hal-04581576
v1
|
|
Mutual Opacity between Multiple AdversariesWodes 2022 - 16th IFAC Workshop on Discrete Event Systems, Sep 2022, Prague, Czech Republic. pp.1-7
Conference papers
hal-03773490
v1
|
|
Compositional model checking of an SDN platformDRCN 2021 - 17th International Conference on the Design of Reliable Communication Networks, Apr 2021, Milan, Italy. pp.1-8
Conference papers
hal-03229532
v1
|
|
Enforcing Opacity in Modular SystemsIFAC 2020 - Ifac world Congress, Nov 2020, Virtual, Germany. pp.1-8
Conference papers
hal-02917644
v1
|
|
Towards resilient supervisors against sensor deception attacksCDC 2019 - 58th IEEE Conference on Decision and Control, Dec 2019, Nice, France. pp.1-6
Conference papers
hal-02390435
v1
|
|
Concurrent secrets with quantified suspicionACSD' 2018 - 18th International Conference on Application of Concurrency to System Design, Jun 2018, Bratislava, Slovakia. pp.1-15
Conference papers
hal-01757949
v1
|
|
Opacity with powerful attackersWODES 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
|
|
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⟩
Conference papers
hal-01807284
v1
|
|
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⟩
Conference papers
hal-01644754
v1
|
|
Inferencing and beyond: further adventures with parity-based architectures for decentralized discrete-event systems20th World Congress The International Federation of Automatic Control, Jul 2017, Toulouse, France. pp.6
Conference papers
hal-01590438
v1
|
|
On the cost of diagnosis with disambiguationQEST 2017, Sep 2017, Berlin, France. pp.140-156
Conference papers
hal-01537796
v1
|
|
Finding the weakest link(s): Coalition games for decentralized discrete-event control 55th IEEE Conference on Decision and Control , Dec 2016, Las-Vegas, United States
Conference papers
hal-01373709
v1
|
|
Diagnosability of Repairable Faults13th International Workshop on Discrete Event Systems, 2016, Xi'an, China. pp.256-262
Conference papers
hal-01302562
v1
|
|
Predictive Runtime Enforcement *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
|
|
TiPEX: A Tool Chain for Timed Property Enforcement During eXecutionRV'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
|
|
Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures5th 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 SystemsICDCIT: 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
|
|
|
Deadlock-free Discrete Controller Synthesis for Infinite State Systems54th IEEE Conference on Decision and Control, Dec 2015, Osaka, Japan
Conference papers
hal-01200976
v1
|
|
Enforcement of (Timed) Properties with Uncontrollable Events12th 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
|
|
Runtime Enforcement of Regular Timed PropertiesSoftware 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
|
|
Discrete Controller Synthesis for Infinite State Systems with ReaXIEEE International Workshop on Discrete Event Systems, May 2014, Cachan, France. pp.420-427
Conference papers
hal-00974553
v1
|
|
Runtime Enforcement of Parametric Timed Properties with Practical ApplicationsIEEE International Workshop on Discrete Event Systems, May 2014, Cachan, France. pp.420-427
Conference papers
hal-00974548
v1
|
|
Runtime Enforcement of K-step Opacity52nd IEEE Conference on Decision and Control, Dec 2013, Florence, Italy. pp.7271-7278, ⟨10.1109/CDC.2013.6761043⟩
Conference papers
hal-00863223
v1
|
|
Runtime Enforcement of Timed Properties3rd 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
|
|
Discrete Control of Computing Systems Administration: a Programming Language supported ApproachEuropean Control Conference, Jul 2013, Zurich, Switzerland. pp.117-124
Conference papers
hal-00863276
v1
|
|
A parity-based architecture for decentralized discrete-event controlAmerican Control Conference, Jun 2013, Washigton, United States. pp.5678 - 5684
Conference papers
hal-00828714
v1
|
|
Analysis of partially observed recursive tile systems11th Int. Workshop on Discrete Event Systems, Oct 2012, Guadalajara, Mexico. pp.265-271
Conference papers
hal-00743196
v1
|
|
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
Conference papers
inria-00629104
v1
|
|
Abstracting Time and Data for Conformance Testing of Real-Time Systems7th Workshop on Advances in Model Based Testing A-MOST 2011, Mar 2011, Berlin, Germany
Conference papers
hal-00646089
v1
|
|
Synthesis of Communicating Controllers for Distributed SystemsIEEE Conference on Decision and Control and European Control Conference, Dec 2011, Orlando, United States. pp.1803-1810
Conference papers
inria-00627574
v1
|
|
Global State Estimates for Distributed Systems13th 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
|
|
Polychronous Controller Synthesis from MARTE CCSL Timing SpecificationsACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign (MEMOCODE), Jul 2011, Cambridge, United Kingdom
Conference papers
inria-00594942
v1
|
|
Supervisory Control for Modal Specifications of ServicesWorkshop on Discrete Event Systems, WODES'10, Aug 2010, Berlin, Germany. pp.428-435
Conference papers
inria-00510013
v1
|
|
Multicriteria optimal reconfiguration of fault-tolerant real-time tasksWODES'10, Aug 2010, Berlin, Germany. pp.366-373, ⟨10.3182/20100830-3-DE-4013.00059⟩
Conference papers
inria-00510019
v1
|
|
Automatic Test Generation for Data-Flow Reactive Systems with time constraints22nd IFIP International Conference on Testing Software and Systems (Short Papers), Nov 2010, Natal, Brazil. pp.25-30
Conference papers
inria-00530584
v1
|
|
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⟩
Conference papers
inria-00476910
v1
|
|
More Testable Properties22nd 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
|
|
Génération automatique de tests pour des propriétés de sécurité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
|
|
Monitoring Confidentiality by Diagnosis TechniquesEuropean 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 partielle7ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Nov 2009, Nantes, France. pp.805-820
Conference papers
inria-00420486
v1
|
|
|
Control of Infinite Symbolic Transition Systems under Partial ObservationEuropean Control Conference, Aug 2009, Budapest, Hungary. pp.1456-1462
Conference papers
inria-00420429
v1
|
|
Dynamic Observers for the Synthesis of Opaque Systems7th 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
|
|
Automatic Testing of Access Control for Security PropertiesTESTCOM/FATES 2009, Nov 2009, Eindhoven, Netherlands. pp.113-128, ⟨10.1007/978-3-642-05031-2⟩
Conference papers
inria-00420424
v1
|
|
Computational Complexity for State-Feedback Controllers with Partial Observation7th 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
|
|
Predictability of Sequence Patterns in Discrete Event SystemsIFAC World Congress, Aug 2008, Seoul, South Korea. pp.537-543
Conference papers
inria-00420497
v1
|
|
Opacity Enforcing Control SynthesisWorkshop on Discrete Event Systems, WODES'08, May 2008, Goteborg, Sweden. pp.28-35
Conference papers
inria-00344269
v1
|
|
Construction de moniteurs pour la surveillance de propriétés de sécurité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
|
|
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
Conference papers
inria-00424279
v1
|
|
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⟩
Conference papers
hal-00375564
v1
|
|
A constructive and modular approach to decentralized supervisory Control problems3rd 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 discretsRFIA 2006 (Congrès Reconnaissance des formes et Intelligence Artificielle), 2006, Tours, France
Conference papers
inria-00463795
v1
|
|
|
Modular and Decentralized Supervisory Control of Concurrent Discrete Event Systems Using Reduced System Models.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
|
|
Supervision Patterns in Discrete Event Systems DiagnosisWorkshop 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 systemsDX'06 (17th International Workshop on Principal of Diagnosis), 2006, Burgos, Spain. pp.117-124
Conference papers
inria-00463799
v1
|
|
|
Symbolic Determinisation of Extended Automata4th 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
|
|
Safety Control of Hierarchical Synchronous Discrete Event Systems: A State-Based Approach13th Mediterranean Conference on Control and Automation, Dec 2005, Limassol, Cyprus. pp.889-895
Conference papers
inria-00483946
v1
|
|
Une approche modulaire pour le contrôle de systèmes à événements discrets concurrents5ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2005, Autran, France. pp.79-94
Conference papers
inria-00520028
v1
|
|
Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation44nd 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
|
|
Supervisory Control and Deadlock Avoidance Control Problem for Concurrent Discrete Event Systems44nd 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
|
|
Modular supervisory control with general indecomposable specification languages44nd 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
|
|
Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive SystemsFormal Methods 2005 (FM05), Jul 2005, Newcastle, United Kingdom. pp.189-204, ⟨10.1007/11526841_14⟩
Conference papers
inria-00483945
v1
|
|
Modular Supervisory Control of a class of Concurrent Discrete Event SystemsWorkshop on Discrete Event Systems, Sep 2004, Reims, France. pp.181-186
Conference papers
inria-00517300
v1
|
|
From Safety Verification to Safety TestingTesting 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
|
|
Supervisory Control of Asynchronous and Hierarchical Finite State MachinesEuropean Control Conference, Sep 2003, Cambridge, United Kingdom
Conference papers
inria-00520032
v1
|
Ensuring the conformance of reactive discrete-event systems using supervisory control42nd IEEE Conference on Decision and Control, Dec 2003, Hawaii, United States. pp.2692 - 2697, ⟨10.1109/CDC.2003.1273030⟩
Conference papers
inria-00520030
v1
|
|
|
Contrôle de systèmes à événements discrets hiérarchiques4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2003, Metz, France. pp.383-397
Conference papers
inria-00520044
v1
|
|
Synthèse de contrôleurs pour une relation de conformité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
|
|
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⟩
Conference papers
inria-00525533
v1
|
Diagnostic de pannes sur des systèmes à événements discrets : une approche à base de modèles symboliques13è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 ArchitecturesEmbedded Software Conference (EMSOFT '02), Oct 2002, Grenoble, France. pp.252-265, ⟨10.1007/3-540-45828-X_19⟩
Conference papers
istex
inria-00526261
v1
|
|
|
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⟩
Conference papers
inria-00525535
v1
|
|
Supervisory Control Problems of Hierarchical Finite State Machines41th 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
|
|
Optimal control of discrete event systems under partial observation40th IEEE Conference on Decision and Control, Dec 2001, Orlando, United States. pp.2235-2240, ⟨10.1109/.2001.980609⟩
Conference papers
inria-00526273
v1
|
|
The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design40th IEEE Conference on Decision and Control, Dec 2001, Orlando, United States. pp.3284 - 3289, ⟨10.1109/.2001.980328⟩
Conference papers
inria-00526268
v1
|
|
A Design Environment for Discrete-Event Controllers based on the Signal Language1998 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
|
|
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
Conference papers
hal-00544301
v1
|
|
Verification of Inference Observability in Supervisory Control of Discrete-Event Systems2023
Preprints, Working Papers, ...
hal-04054414
v1
|
|
Compositional model checking of SDN platform2021
Preprints, Working Papers, ...
hal-03153317
v1
|
|
Synthesis of Supervisors Robust Against Sensor Deception Attacks2020
Preprints, Working Papers, ...
hal-03116690
v1
|
|
Opacity with powerful attackers2018
Preprints, Working Papers, ...
hal-01738169
v1
|
|
Automatic Test Generation for Data-Flow Reactive Systems Modeled by Variable Driven Timed Automata2010
Preprints, Working Papers, ...
hal-00503000
v1
|
|
Contribution to the Analysis of Discrete Event SystemsSoftware Engineering [cs.SE]. Université de Rennes 1, 2017
Habilitation à diriger des recherches
tel-01589972
v1
|
Modélisation des systèmes réactifsHervé 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 SystemsS, 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éactifsNicolas 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
|