|
|
Incremental Verification of Inference Observability in Decentralized Discrete-Event Control
S.H. Yoon
,
Laurie S. L. Ricker
,
Hervé Marchand
Communication dans un congrès
hal-05364720
v1
|
|
|
Detecting and Resolving Feature Interactions in Cyber-Physical Systems Using Formal Methods
D. Walker H.
,
S. Ricker
,
Hervé Marchand
Communication dans un congrès
hal-05364753
v1
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
Opacity with powerful attackers
Loïc Hélouët
,
Hervé Marchand
,
Laurie S. L. Ricker
Communication dans un congrès
hal-01886156
v1
|
|
|
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
|
|
|
Symbolic Limited Lookahead Control for Best-effort Dynamic Computing Resource Management
Nicolas Berthier
,
Hervé Marchand
,
Eric Rutten
Communication dans un congrès
hal-01807284
v1
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
Predictive Runtime Enforcement *
Srinivas Pinisetty
,
Viorel Preoteasa
,
Stavros Tripakis
,
Thierry Jéron
,
Yliès Falcone
et al.
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.
Communication dans un congrès
hal-01116015
v1
|
|
|
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
|
|
|
TiPEX: A Tool Chain for Timed Property Enforcement During eXecution
Srinivas Pinisetty
,
Yliès Falcone
,
Thierry Jéron
,
Hervé Marchand
Communication dans un congrès
hal-01244446
v1
|
|
|
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
|
|
|
Enforcement of (Timed) Properties with Uncontrollable Events
Matthieu Renard
,
Yliès Falcone
,
Antoine Rollet
,
Srinivas Pinisetty
,
Thierry Jéron
et al.
Communication dans un congrès
hal-01185238
v3
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
Runtime Enforcement of Timed Properties
Srinivas Pinisetty
,
Yliès Falcone
,
Thierry Jéron
,
Hervé Marchand
,
Antoine Rollet
et al.
Communication dans un congrès
hal-00743270
v2
|
|
|
Runtime Enforcement of K-step Opacity
Yliès Falcone
,
Hervé Marchand
Communication dans un congrès
hal-00863223
v1
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
Multicriteria optimal reconfiguration of fault-tolerant real-time tasks
Emil Dumitrescu
,
Alain Girault
,
Hervé Marchand
,
Eric Rutten
Communication dans un congrès
inria-00510019
v1
|
|
|
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
|
|
|
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
|
|
|
More Testable Properties
Yliès Falcone
,
Jean-Claude Fernandez
,
Thierry Jéron
,
Hervé Marchand
,
Laurent Mounier
Communication dans un congrès
inria-00510018
v2
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
Automatic Testing of Access Control for Security Properties
Hervé Marchand
,
Jérémy Dubreil
,
Thierry Jéron
Communication dans un congrès
inria-00420424
v1
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
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
Communication dans un congrès
hal-00375564
v1
|
|
|
Supervision Patterns in Discrete Event Systems Diagnosis
Thierry Jéron
,
Hervé Marchand
,
Sophie Pinchinat
,
Marie-Odile Cordier
Communication dans un congrès
inria-00425085
v1
|
|
|
Modular and Decentralized Supervisory Control of Concurrent Discrete Event Systems Using Reduced System Models.
Klaus Schmidt
,
Hervé Marchand
,
Benoit Gaudin
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
|
|
|
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
|
|
|
Symbolic Determinisation of Extended Automata
Thierry Jéron
,
Hervé Marchand
,
Vlad Rusu
Communication dans un congrès
inria-00424858
v1
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems
Vlad Rusu
,
Hervé Marchand
,
Thierry Jéron
Communication dans un congrès
inria-00483945
v1
|
|
|
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
|
|
|
From Safety Verification to Safety Testing
Vlad Rusu
,
Hervé Marchand
,
Valérie Tschaen
,
Thierry Jéron
,
Bertrand Jeannet
Communication dans un congrès
inria-00517304
v1
|
|
|
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
Communication dans un congrès
inria-00520030
v1
|
|
|
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
|
|
|
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
|
|
|
Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis
Hervé Marchand
,
Eric Rutten
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.
Communication dans un congrès
istex
inria-00526261
v1
|
|
|
A case study in applying discrete control synthesis to excavator operation
Hervé Marchand
,
Eric Rutten
Communication dans un congrès
inria-00525535
v1
|
|
|
Supervisory Control Problems of Hierarchical Finite State Machines
Hervé Marchand
,
Benoit Gaudin
Communication dans un congrès
inria-00525529
v1
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
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
|