Hervé Marchand Hervé Marchand's home page

Identifiants chercheurs

IdHAL :

herve-marchand

IdRef :

095626360

Publications

Article dans une revue (32)

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-03878794v1
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-03153391v1
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-01262444v4
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-01646911v1
Predictive runtime enforcement Srinivas Pinisetty,Viorel Preoteasa,Stavros Tripakis,Thierry Jéron,Yliès Falconeet al. Formal Methods in System Design, 2017, 51 (1), pp.154 - 199. ⟨10.1007/s10703-017-0271-1⟩ Article dans une revue hal-01647787v1
Predictive Runtime Verification of Timed Properties Srinivas Pinisetty,Thierry Jéron,Stavros Tripakis,Yliès Falcone,Hervé Marchandet al. Journal of Systems and Software, 2017, 132, pp.353 - 365. ⟨10.1016/j.jss.2017.06.060⟩ Article dans une revue hal-01666995v1
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-01281727v1
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-00994970v1
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-00987988v1
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-00987985v1
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-00903452v1
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-00879441v1
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-00863286v1
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-00743981v1
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-00662539v1
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-00586169v1
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-00594665v1
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-00483891v1
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-00510023v1
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-00422859v1
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-00422904v1
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-00423795v1
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-00424478v1
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-02681030v1
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-00517265v1
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-00517264v1
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-00000099v1
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-00526287v1
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-00546156v1
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-00546147v1
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-00584875v1
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-00352559v1

Communication dans un congrès (78)

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-05364753v1
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-05364720v1
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-04581576v1
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-03773490v1
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-03229532v1
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-02917644v1
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-02390435v1
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-01886156v1
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-01757949v1
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-01807284v1
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-01590438v1
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-01644754v1
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-01537796v1
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-01373709v1
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-01302562v1
Predictive Runtime Enforcement * Srinivas Pinisetty,Viorel Preoteasa,Stavros Tripakis,Thierry Jéron,Yliès Falconeet 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-01244369v1
Discrete Control-Based Design of Adaptive and Autonomic Computing Systems Xin An,Gwenaël Delaval,Jean-Philippe Diguet,Abdoulaye Gamatié,Soguy Mak-Karé Gueyeet 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-01116015v1
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-01244446v1
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-01187745v1
Enforcement of (Timed) Properties with Uncontrollable Events Matthieu Renard,Yliès Falcone,Antoine Rollet,Srinivas Pinisetty,Thierry Jéronet 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-01185238v3
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-01200976v1
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-00907571v1
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-00974553v1
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-00974548v1
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-00863223v1
Runtime Enforcement of Timed Properties Srinivas Pinisetty,Yliès Falcone,Thierry Jéron,Hervé Marchand,Antoine Rolletet 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-00743270v2
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-00863276v1
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-00828714v1
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-00743196v1
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-00629104v1
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-00646089v1
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-00627574v1
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-00581259v1
Polychronous Controller Synthesis from MARTE CCSL Timing Speciﬁcations Huafeng Yu,Jean-Pierre Talpin,Loïc Besnard,Thierry Gautier,Hervé Marchandet 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-00594942v1
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-00510013v1
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-00510019v1
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-00530584v1
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-00510018v2
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-00476910v1
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-00420454v1
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-00420420v1
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-00420486v1
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-00420429v1
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-00420424v1
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-00399229v1
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-00420445v1
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-00420497v1
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-00344269v1
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-00424274v1
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-00424279v1
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-00375564v1
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-00425085v1
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-00424857v1
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-00463795v1
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-00425106v1
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-00463799v1
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-00424858v1
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-00483946v1
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-00520028v1
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-00483925v1
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-00483911v1
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-00483919v1
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-00483945v1
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-00517300v1
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-00517304v1
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-00520044v1
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-00520032v1
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-00520030v1
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-00520038v1
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-00525533v1
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-00525565v1
A Protocol for Loosely Time-Triggered Architectures Albert Benveniste,Paul Caspi,Paul Le Guernic,Hervé Marchand,Jean-Pierre Talpinet 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-00526261v1
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-00525535v1
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-00525529v1
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-00526273v1
The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design Albert Benveniste,Patricia Bournai,Thierry Gautier,Michel Le Borgne,Paul Le Guernicet 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-00526268v1
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-00546362v1
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-00544301v1

Ouvrages (1)

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-00906737v1

Chapitre d'ouvrage (2)

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-00422469v1
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-00424484v1

Pré-publication, Document de travail (5)

Verification of Inference Observability in Supervisory Control of Discrete-Event Systems C K Sharpe,Laurie S. L. Ricker,Hervé Marchand 2023 Pré-publication, Document de travail hal-04054414v1
Compositional model checking of SDN platform Abdul Majith,Ocan Sankur,Hervé Marchand,Thai Dinh 2021 Pré-publication, Document de travail hal-03153317v1
Synthesis of Supervisors Robust Against Sensor Deception Attacks Rômulo Meira-Góes,Stéphane Lafortune,Hervé Marchand 2020 Pré-publication, Document de travail hal-03116690v1
Opacity with powerful attackers Loïc Hélouët,Hervé Marchand,Laurie Ricker 2018 Pré-publication, Document de travail hal-01738169v1
Automatic Test Generation for Data-Flow Reactive Systems Modeled by Variable Driven Timed Automata Omer Landry Nguena Timo,Hervé Marchand,Antoine Rollet 2010 Pré-publication, Document de travail hal-00503000v1

Rapport (27)

Deliverable L2: Objectives of Phase 1 and use cases denition. Blaise Genest,Christophe Morvan,Eric Fabre,Hervé Marchand,Karim Keciret al. [Contract] Projet P22 INRIA SUMO- Alstom Transport. 2014, pp.5 Rapport (rapport contrat/projet) hal-01094374v1
Deliverable L1 : State of the art and selected references Loïc Hélouët,Eric Fabre,Christophe Morvan,Blaise Genest,Karim Keciret al. [Technical Report] Projet P22 INRIA SUMO- Alstom Transport. 2014, pp.32 Rapport (rapport technique) hal-01094366v1
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-00801840v1
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-00472736v1
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-00484297v1
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-00507143v2
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-00396442v1
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-00436560v1
Supervisory Control for Opacity Jérémy Dubreil,Philippe Darondeau,Hervé Marchand [Research Report] PI 1921, 2009, 19 p Rapport (rapport de recherche) inria-00360186v1
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-00312747v2
Opacity Enforcing Control Synthesis Jérémy Dubreil,Philippe Darondeau,Hervé Marchand [Research Report] PI 1887, 2008, pp.19 Rapport (rapport de recherche) inria-00265855v2
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-00134550v2
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-00136129v1
Symbolic Determinisation of Extended Automata Thierry Jéron,Hervé Marchand,Vlad Rusu [Research Report] PI 1776, 2006 Rapport (rapport de recherche) inria-00001073v1
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-00001113v1
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-00070534v1
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-00070715v1
Automatic Generation of Safe Handlers for Multi-Task Systems Eric Rutten,Hervé Marchand [Research Report] RR-5345, INRIA. 2004 Rapport (rapport de recherche) inria-00071252v1
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-00072199v1
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-00072592v1
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-00072844v1
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-00072869v1
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-00073435v1
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-00073416v1
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-00074157v1
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-00074155v1
Typage des graphes de décisions ternaires Hervé Marchand,Michel Le Borgne [Rapport de recherche] RR-2185, INRIA. 1994 Rapport (rapport de recherche) inria-00074486v1

HDR (1)

Contribution to the Analysis of Discrete Event Systems Hervé Marchand Software Engineering [cs.SE]. Université de Rennes 1, 2017 HDR tel-01589972v1