Mots-clés

Co-auteurs

Export Publications

Exporter les publications affichées :

Widget extérieur

Identifiants chercheur

Nombre de documents

125

Hervé Marchand's home page


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.

 


Article dans une revue26 documents

Communication dans un congrès67 documents

  • Loïc Hélouët, Hervé Marchand. On the cost of diagnosis with disambiguation. QEST 2017, Sep 2017, Berlin, France. Lecture Notes in Computer Science, 2017, 14th International Conference on Quantitative Evaluation of SysTems (QEST 2017) 〈http://www.qest.org/qest2017/〉. 〈hal-01537796〉
  • Laurie Ricker, T Lidbetter, Hervé Marchand. Inferencing and beyond: further adventures with parity-based architectures for decentralized discrete-event systems. 20th World Congress The International Federation of Automatic Control, Jul 2017, Toulouse, France. pp.6. 〈hal-01590438〉
  • Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, et al.. Predictive Runtime Enforcement *. SAC 2016 31st ACM Symposium on Applied Computing, Apr 2016, Pisa, Italy. ACM, pp.6, 2016, 〈http://www.acm.org/conferences/sac/sac2016/〉. 〈10.1145/2851613.2851827〉. 〈hal-01244369〉
  • Laurie Ricker, Hervé Marchand. 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. 2016. 〈hal-01373709〉
  • Eric Fabre, Loïc Hélouët, Engel Lefaucheux, Hervé Marchand. Diagnosability of Repairable Faults. 13th International Workshop on Discrete Event Systems, 2016, Xi'an, China. pp.256-262. 〈hal-01302562〉
  • Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand. TiPEX: A Tool Chain for Timed Property Enforcement During eXecution. Ezio Bartocci; Rupak Majumdar. RV'2015, 6th International Conference on Runtime Verification, Sep 2015, Vienne, Austria. Springer, 9333, pp.12, 2015, Lecture Notes in Computer Science. 〈http://rv2015.conf.tuwien.ac.at/〉. 〈10.1007/978-3-319-23820-3_22〉. 〈hal-01244446〉
  • Nicolas Berthier, Xin An, Hervé Marchand. Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures. 5th IFAC International Workshop On Dependable Control of Discrete Systems - DCDS'15, May 2015, Cancun, Mexico. 48 (7), pp.132-138. 〈hal-01187745〉
  • Xin An, Gwenaël Delaval, Jean-Philippe Diguet, Abdoulaye Gamatié, Soguy Mak-Karé Gueye, et al.. Discrete Control-Based Design of Adaptive and Autonomic Computing Systems. ICDCIT: International Conference on Distributed Computing and Internet Technology, Feb 2015, Bhubaneswar, India. Springer, 11th International Conference on Distributed Computing and Internet Technology, LNCS (8956), 2015, 〈http://icdcit.ac.in〉. 〈10.1007/978-3-319-14977-6_6〉. 〈hal-01116015〉
  • Nicolas Berthier, Hervé Marchand. Deadlock-free Discrete Controller Synthesis for Infinite State Systems. 54th IEEE Conference on Decision and Control, Dec 2015, Osaka, Japan. 2015. 〈hal-01200976〉
  • Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, et al.. Enforcement of (Timed) Properties with Uncontrollable Events. 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Oct 2015, Cali, Colombia. Springer, LNCS (9399), pp.22, 2015, Theoretical Aspects of Computing - ICTAC 2015. 〈10.1007/978-3-319-25150-9_31〉. 〈hal-01185238v3〉
  • Nicolas Berthier, Hervé Marchand. Discrete Controller Synthesis for Infinite State Systems with ReaX. IEEE International Workshop on Discrete Event Systems, May 2014, Cachan, France. pp.420-427, 2014. 〈hal-00974553〉
  • Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand. Runtime Enforcement of Parametric Timed Properties with Practical Applications. IEEE International Workshop on Discrete Event Systems, May 2014, cachan, France. pp.46-53, 2014. 〈hal-00974548〉
  • Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand. Runtime Enforcement of Regular Timed Properties. Software Verification and Testing, track of the Symposium on Applied Computing ACM-SAC 2014, Mar 2014, Gyeongju, South Korea. ACM, pp.1279-1286, 2014. 〈hal-00907571〉
  • Yliès Falcone, Hervé Marchand. Runtime Enforcement of K-step Opacity. 52nd IEEE Conference on Decision and Control, Dec 2013, Florence, Italy. IEEE, pp.7271-7278, 2013, 〈10.1109/CDC.2013.6761043 〉. 〈hal-00863223〉
  • Gwenaël Delaval, Noel De Palma, Soguy Mak-Karé Gueye, Hervé Marchand, Éric Rutten. Discrete Control of Computing Systems Administration: a Programming Language supported Approach. Manfred Morari. European Control Conference, Jul 2013, Zurich, Switzerland. pp.117-124, 2013. 〈hal-00863276〉
  • Laurie Ricker, Hervé Marchand. A parity-based architecture for decentralized discrete-event control. American Control Conference, Jun 2013, Washigton, United States. pp.5678 - 5684, 2013. 〈hal-00828714〉
  • Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, et al.. Runtime Enforcement of Timed Properties. 3rd International Conference on Runtime Verification, Sep 2012, Istanbul, Turkey. Springer, 7687, pp.229-244, 2013, Lecture Notes in Computer Science (LNCS). 〈10.1007/978-3-642-35632-2_23〉. 〈hal-00743270v2〉
  • Sébastien Chédor, Christophe Morvan, Sophie Pinchinat, Hervé Marchand. Analysis of partially observed recursive tile systems. 11th Int. Workshop on Discrete Event Systems, Oct 2012, Guadalajara, Mexico. pp.265-271, 2012. 〈hal-00743196〉
  • Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart. Global State Estimates for Distributed Systems. Roberto Bruni; Juergen Dingel. 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. Springer, Lecture Notes in Computer Science, LNCS-6722, pp.198-212, 2011, Formal Techniques for Distributed Systems. 〈http://www.springerlink.com/content/v5n7713364t83022/〉. 〈10.1007/978-3-642-21461-5_13〉. 〈inria-00581259〉
  • Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart. Synthesis of Communicating Controllers for Distributed Systems. IEEE Conference on Decision and Control and European Control Conference, Dec 2011, Orlando, United States. IEEE, pp.1803-1810, 2011. 〈inria-00627574〉
  • Gwenaël Delaval, Éric Rutten, Hervé Marchand. Intégration de la synthèse de contrôleurs discrets dans un langage de programmation. Modélisation des Systèmes Réactifs (MSR'11), Nov 2011, Lille, France. 2011. 〈inria-00629104〉
  • Wilkerson L. Andrade, Patricia D. L. Machado, Thierry Jéron, Hervé Marchand. Abstracting Time and Data for Conformance Testing of Real-Time Systems. 7th Workshop on Advances in Model Based Testing A-MOST 2011, Mar 2011, Berlin, Germany. 2011. 〈hal-00646089〉
  • Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Hervé Marchand, et al.. Polychronous Controller Synthesis from MARTE CCSL Timing Specifications. ACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign (MEMOCODE), Jul 2011, Cambridge, United Kingdom. 2011. 〈inria-00594942〉
  • Omer Landry Nguena Timo, Hervé Marchand, Antoine Rollet. Automatic Test Generation for Data-Flow Reactive Systems with time constraints. 22nd IFIP International Conference on Testing Software and Systems (Short Papers), Nov 2010, Natal, Brazil. pp.25-30, 2010. 〈inria-00530584〉
  • Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier. More Testable Properties. Alexandre Petrenko; Adenilso Simão; José Carlos Maldonado. 22nd International Conference on Testing Software and Systems, Nov 2010, Natal, Brazil. Springer, 6435, pp.30-46, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-16573-3_4〉. 〈inria-00510018v2〉
  • Emil Dumitrescu, Alain Girault, Hervé Marchand, Éric Rutten. Multicriteria optimal reconfiguration of fault-tolerant real-time tasks. Workshop on Discrete Event Systems, WODES'10, Aug 2010, Berlin, Germany. IFAC, pp.366-373, 2010. 〈inria-00510019〉
  • Gwenaël Delaval, Hervé Marchand, Éric Rutten. Contracts for modular discrete controller synthesis. Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, Apr 2010, Stockholm, Sweden. pp.57-66, 2010, 〈http://portal.acm.org/citation.cfm?doid=1755888.1755898〉. 〈10.1145/1755888.1755898〉. 〈inria-00476910〉
  • Philippe Darondeau, Jérémy Dubreil, Hervé Marchand. Supervisory Control for Modal Specifications of Services. Workshop on Discrete Event Systems, WODES'10, Aug 2010, Berlin, Germany. pp.428-435, 2010. 〈inria-00510013〉
  • Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart. Contrôle décentralisé de systèmes symboliques infinis sous observation partielle. 7ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Nov 2009, Nantes, France. Hermès, pp.805-820, 2009. 〈inria-00420486〉
  • Hervé Marchand, Jérémy Dubreil, Thierry Jéron. Automatic Testing of Access Control for Security Properties. TESTCOM/FATES 2009, Nov 2009, Eindhoven, Netherlands. Springer-Verlag, 5826, pp.113-128, 2009, Lecture notes in computer science. 〈10.1007/978-3-642-05031-2〉. 〈inria-00420424〉
  • Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart. Control of Infinite Symbolic Transition Systems under Partial Observation. European Control Conference, Aug 2009, Budapest, Hungary. pp.1456-1462, 2009. 〈inria-00420429〉
  • Jérémy Dubreil, Thierry Jéron, Hervé Marchand. Monitoring Confidentiality by Diagnosis Techniques. European Control Conference, Aug 2009, Budapest, Hungary. pp.2584-2589, 2009. 〈inria-00420420〉
  • Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart. Computational Complexity for State-Feedback Controllers with Partial Observation. 7th International Conference on Control and Automation, ICCA'09, Dec 2009, Christchurch, New Zealand. IEEE, pp.435-441, 2009, 〈10.1109/ICCA.2009.5410356〉. 〈inria-00420445〉
  • Hervé Marchand, Jérémy Dubreil, Thierry Jéron. 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, 2009. 〈inria-00420454〉
  • Franck Cassez, Jérémy Dubreil, Hervé Marchand. Dynamic Observers for the Synthesis of Opaque Systems. 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), Oct 2009, Macao SAR, China. Springer-Verlag, 5799, pp.352-367, 2009, Lecture notes in computer science. 〈10.1007/978-3-642-04761-9_26〉. 〈inria-00399229〉
  • Thierry Jéron, Hervé Marchand, Sahika Genc, Stéphane Lafortune. Predictability of Sequence Patterns in Discrete Event Systems. IFAC World Congress, Aug 2008, Seoul, South Korea. pp.537-543, 2008. 〈inria-00420497〉
  • Jérémy Dubreil, Philippe Darondeau, Hervé Marchand. Opacity Enforcing Control Synthesis. Workshop on Discrete Event Systems, WODES'08, May 2008, Goteborg, Sweden. IEEE, pp.28-35, 2008. 〈inria-00344269〉
  • Emil Dumitrescu, Alain Girault, Hervé Marchand, Éric Rutten. Synthèse optimale de contrôleurs discrets et systèmes répartis tolérants aux fautes. 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2007, Lyon, France. pp.71-86, 2007. 〈inria-00424279〉
  • Emil Dumitrescu, Éric Rutten, Alain Girault, Hervé Marchand. Optimal discrete controller synthesis for modeling fault-tolerant distributed systems. DCDS, Jun 2007, Cachan, France. 2007. 〈hal-00375564〉
  • Jérémy Dubreil, Thierry Jéron, Hervé Marchand. 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, 2007. 〈inria-00424274〉
  • Klaus Schmidt, Hervé Marchand, Benoit Gaudin. 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. IEEE Computer society, pp.149-154, 2006, 〈10.1109/WODES.2006.1678423〉. 〈inria-00425106〉
  • Thierry Jéron, Hervé Marchand, Vlad Rusu. Symbolic Determinisation of Extended Automata. 4th IFIP International Conference on Theoretical Computer Science, Aug 2006, Stantiago, Chile, Chile. Springer Science and Business Media, 209/2006, pp.197-212, 2006, IFIP International Federation for Information Processing. 〈10.1007/978-0-387-34735-6_18〉. 〈inria-00424858〉
  • Thierry Jéron, Hervé Marchand, Marie-Odile Cordier. Motifs de surveillance pour le diagnostic de systèmes à événements discrets. RFIA 2006 (Congrès Reconnaissance des formes et Intelligence Artificielle), 2006, Tours, France. 2006. 〈inria-00463795〉
  • Thierry Jéron, Hervé Marchand, Sophie Pinchinat, Marie-Odile Cordier. Supervision patterns in discrete event systems. DX'06 (17th International Workshop on Principal of Diagnosis), 2006, Burgos, Spain. pp.117-124, 2006. 〈inria-00463799〉
  • Jan Komenda, Hervé Marchand, Sophie Pinchinat. A constructive and modular approach to decentralized supervisory Control problems. 3rd IFAC Workshop on Discrete-Event System Design, Sep 2006, Rydzyna, Poland. 2006. 〈inria-00424857〉
  • Thierry Jéron, Hervé Marchand, Sophie Pinchinat, Marie-Odile Cordier. Supervision Patterns in Discrete Event Systems Diagnosis. Workshop on Discrete Event Systems, WODES'06, Jul 2006, Ann-Arbor, United States. IEEE Computer society, pp.262-268, 2006, 〈10.1109/WODES.2006.1678440〉. 〈inria-00425085〉
  • Benoit Gaudin, Hervé Marchand. Supervisory Control and Deadlock Avoidance Control Problem for Concurrent Discrete Event Systems. 44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Dec 2005, Seville, Spain. IEEE, pp.2763-2768, 2005. 〈inria-00483911〉
  • Jan Komenda, Jan Van Schuppen, Benoit Gaudin, Hervé Marchand. Modular supervisory control with general indecomposable specification languages. 44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Dec 2005, Seville, Spain. IEEE, pp.3474-3479, 2005. 〈inria-00483919〉
  • Tristan Le Gall, Bertrand Jeannet, Hervé Marchand. Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation. 44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Dec 2005, Seville, Spain. pp.31-35, 2005. 〈inria-00483925〉
  • Vlad Rusu, Hervé Marchand, Thierry Jéron. Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems. John Fitzgerald, Andrzej Tarlecki, Ian Hayes. Formal Methods 2005 (FM05), Jul 2005, Newcastle, United Kingdom. Springer-Verlag, 3582, pp.189-204, 2005, Lecture Notes in Computer Science. 〈10.1007/11526841_14〉. 〈inria-00483945〉
  • Benoit Gaudin, Hervé Marchand. Safety Control of Hierarchical Synchronous Discrete Event Systems: A State-Based Approach. 13th Mediterranean Conference on Control and Automation, Dec 2005, Limassol, Cyprus. IEEE, pp.889-895, 2005. 〈inria-00483946〉
  • Benoit Gaudin, Hervé Marchand. Une approche modulaire pour le contrôle de systèmes à événements discrets concurrents. 5ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2005, Autran, France. Hermès, 39, pp.79-94, 2005, Journal Européen des Systèmes Automatisés. 〈inria-00520028〉
  • Vlad Rusu, Hervé Marchand, Valérie Tschaen, Thierry Jéron, Bertrand Jeannet. From Safety Verification to Safety Testing. R. Groz and R.M. Hierons. Testing of Communicating Systems (Testcom), Mar 2004, Oxford, United Kingdom. Springer, 2978, pp.160-176, 2004, Lecture notes in computer science. 〈10.1007/978-3-540-24704-3_11〉. 〈inria-00517304〉
  • Benoit Gaudin, Hervé Marchand. Modular Supervisory Control of a class of Concurrent Discrete Event Systems. Workshop on Discrete Event Systems, Sep 2004, Reims, France. IFAC, pp.181-186, 2004. 〈inria-00517300〉
  • Thierry Jéron, Hervé Marchand, Vlad Rusu, Valérie Tschaen. Ensuring the conformance of reactive discrete-event systems using supervisory control. 42nd IEEE Conference on Decision and Control, Dec 2003, Hawaii, United States. IEEE, pp.2692 - 2697, 2003, 〈10.1109/CDC.2003.1273030〉. 〈inria-00520030〉
  • Benoit Gaudin, Hervé Marchand. Supervisory Control of Asynchronous and Hierarchical Finite State Machines. European Control Conference, Sep 2003, Cambridge, United Kingdom. 2003. 〈inria-00520032〉
  • Thierry Jéron, Hervé Marchand, Vlad Rusu, Valérie Tschaen. 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. Lavoisier, pp.523-536, 2003, Modélisation des systèmes réactifs. 〈inria-00520038〉
  • Benoit Gaudin, Hervé Marchand. Contrôle de systèmes à événements discrets hiérarchiques. 4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2003, Metz, France. Lavoisier, pp.383-397, 2003, Modélisation des Systèmes Réactifs. 〈inria-00520044〉
  • Hervé Marchand, Benoit Gaudin. Supervisory Control Problems of Hierarchical Finite State Machines. 41th IEEE Conference on Decision and Control, Dec 2002, Las-Vegas, United States. IEEE, pp.1199-1204, 2002, 〈http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1184677&tag=1〉. 〈10.1109/CDC.2002.1184677〉. 〈inria-00525529〉
  • Hervé Marchand, Éric Rutten. Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis. 14th Euromicro Conference on Real-Time Systems (ECRTS'02), Jun 2002, Vienna, Austria. IEEE, pp.241-248, 2002, 〈10.1109/EMRTS.2002.1019204〉. 〈inria-00525533〉
  • Hervé Marchand, Laurence Rozé. Diagnostic de pannes sur des systèmes à événements discrets : une approche à base de modèles symboliques. 13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle, Jan 2002, Angers, France. pp.191-200, 2002. 〈inria-00525565〉
  • Hervé Marchand, Éric Rutten. A case study in applying discrete control synthesis to excavator operation. IEEE International Conference on Systems, Man and Cybernetics (IEEE SMC), Oct 2002, Hammamet, Tunisia. 2002, 〈10.1109/ICSMC.2002.1175694〉. 〈inria-00525535〉
  • Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, et al.. A Protocol for Loosely Time-Triggered Architectures. Embedded Software Conference (EMSOFT '02), Oct 2002, Grenoble, France. Springer, 2491, pp.252-265, 2002, Lecture notes in computer science. 〈10.1007/3-540-45828-X_19〉. 〈inria-00526261〉
  • Hervé Marchand, Olivier Boivineau, Stéphane Lafortune. Optimal control of discrete event systems under partial observation. 40th IEEE Conference on Decision and Control, Dec 2001, Orlando, United States. IEEE, pp.2235-2240, 2001, 〈10.1109/.2001.980609〉. 〈inria-00526273〉
  • Albert Benveniste, Patricia Bournai, Thierry Gautier, Michel Le Borgne, Paul Le Guernic, et al.. The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design. 40th IEEE Conference on Decision and Control, Dec 2001, Orlando, United States. IEEE, pp.3284 - 3289, 2001, 〈10.1109/.2001.980328〉. 〈inria-00526268〉
  • Hervé Marchand, Patricia Bournai, Michel Le Borgne, Paul Le Guernic. A Design Environment for Discrete-Event Controllers based on the Signal Language. 1998 IEEE International Conference on Systems, Man, And Cybernetics (SMC '98), Oct 1998, San Diego, California, United States. IEEE Computer Society, pp.770-775, 1998, 〈10.1109/ICSMC.1998.725501〉. 〈hal-00546362〉
  • Michel Le Borgne, Hervé Marchand, Éric Rutten, Mazen Samaan. Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller. 5th International Conference on Algebraic Methodology and Software Technology (AMAST '96), Jul 1996, Munich, Germany. Springer-Verlag, pp.271-285, 1996, LNCS vol. 1101. 〈hal-00544301〉

Chapitre d'ouvrage2 documents

  • Camille Constant, Thierry Jéron, Hervé Marchand, Vlad Rusu. Validation of Reactive Systems. S, Merz and N, Navet. Modeling and Verification of Real-TIME Systems - Formalisms and software Tools, Hermès Science, pp.51-76, 2008. 〈inria-00422469〉
  • Camille Constant, Thierry Jéron, Hervé Marchand, Vlad Rusu. Combinaison entre vérification et test pour la validation de systèmes réactifs. 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. 〈inria-00424484〉

Direction d'ouvrage, Proceedings, Dossier1 document

  • Hervé Marchand, Loïc Hélouët. Modélisation des systèmes réactifs. Hervé Marchand and Loïc Hélouët. 47, Lavoisier, pp.260, 2013, Journal européen des systèmes automatisés. 〈hal-00906737〉

Pré-publication, Document de travail1 document

  • Omer Landry Nguena Timo, Hervé Marchand, Antoine Rollet. Automatic Test Generation for Data-Flow Reactive Systems Modeled by Variable Driven Timed Automata. 2010. 〈hal-00503000〉

Rapport27 documents

  • Loïc Hélouët, Eric Fabre, Christophe Morvan, Blaise Genest, Karim Kecir, et al.. Deliverable L1 : State of the art and selected references. [Technical Report] Projet P22 INRIA SUMO- Alstom Transport. 2014, pp.32. 〈hal-01094366〉
  • Blaise Genest, Christophe Morvan, Eric Fabre, Hervé Marchand, Karim Kecir, et al.. Deliverable L2: Objectives of Phase 1 and use cases denition.. [Contract] Projet P22 INRIA SUMO- Alstom Transport. 2014, pp.5. 〈hal-01094374〉
  • Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart. Symbolic Supervisory Control of Distributed Systems with Communications. [Research Report] RR-8260, INRIA. 2013. 〈hal-00801840〉
  • Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier. More Testable Properties. [Research Report] RR-7279, INRIA. 2010, pp.45. 〈inria-00484297〉
  • Yliès Falcone, Hervé Marchand. Various Notions of Opacity Verified and Enforced at Runtime. [Research Report] RR-7349, INRIA. 2010. 〈inria-00507143v2〉
  • Philippe Darondeau, Jérémy Dubreil, Hervé Marchand. Supervisory Control for Modal Specifications of Services. [Research Report] RR-7247, INRIA. 2010. 〈inria-00472736〉
  • Gwenaël Delaval, Hervé Marchand, Éric Rutten. BZR Contracts for Modular Discrete Controller Synthesis. [Research Report] RR-7111, INRIA. 2009. 〈inria-00436560〉
  • Franck Cassez, Jérémy Dubreil, Hervé Marchand. Dynamic Observers for the Synthesis of Opaque Systems. [Research Report] PI 1930, 2009, pp.22. 〈inria-00396442〉
  • Jérémy Dubreil, Philippe Darondeau, Hervé Marchand. Supervisory Control for Opacity. [Research Report] PI 1921, 2009, 19 p. 〈inria-00360186〉
  • Jérémy Dubreil, Thierry Jéron, Hervé Marchand. Monitoring Information flow by Diagnosis Techniques. [Research Report] PI 1901, 2008, pp.15. 〈inria-00312747v2〉
  • Jérémy Dubreil, Philippe Darondeau, Hervé Marchand. Opacity Enforcing Control Synthesis. [Research Report] PI 1887, 2008, pp.19. 〈inria-00265855v2〉
  • Thierry Jéron, Hervé Marchand, Sahika Genc, Stéphane Lafortune. Predictability of Sequence Patterns in Discrete Event Systems. [Research Report] PI 1834, 2007, pp.17. 〈inria-00136129〉
  • Emil Dumitrescu, Alain Girault, Hervé Marchand, Éric Rutten. Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems. [Research Report] RR-6137, INRIA. 2007, pp.35. 〈inria-00134550v2〉
  • Thierry Jéron, Hervé Marchand, Vlad Rusu. Symbolic Determinisation of Extended Automata. [Research Report] PI 1776, 2006. 〈inria-00001073〉
  • Thierry Jéron, Hervé Marchand, Sophie Pinchinat, Marie-Odile Cordier. Supervision Patterns in Discrete Event Systems Diagnosis. [Research Report] PI 1784, 2006, pp.16. 〈inria-00001113〉
  • Tristan Le Gall, Bertrand Jeannet, Hervé Marchand. Contrôle de systèmes symboliques, discrets ou hybrides. [Rapport de recherche] RR-5474, INRIA. 2005, pp.30. 〈inria-00070534〉
  • Éric Rutten, Hervé Marchand. Automatic Generation of Safe Handlers for Multi-Task Systems. [Research Report] RR-5345, INRIA. 2004. 〈inria-00071252〉
  • Vlad Rusu, Hervé Marchand, Thierry Jéron. Verification and Symbolic Test Generation for Safety Properties. [Research Report] RR-5285, INRIA. 2004, pp.20. 〈inria-00070715〉
  • Éric Rutten, Hervé Marchand. Task-level programming for control systems using discrete control synthesis. [Research Report] RR-4389, INRIA. 2002. 〈inria-00072199〉
  • Hervé Marchand, Olivier Boivineau, Stéphane Lafortune. Optimal Control of Discrete Event Systems under Partial Observation. [Research Report] RR-4046, INRIA. 2000. 〈inria-00072592〉
  • Hervé Marchand, Michel Le Borgne. The Supervisory Control Problem of Discrete Event Systems using Polynomial Methods. [Research Report] RR-3790, INRIA. 1999. 〈inria-00072869〉
  • Sophie Pinchinat, Hervé Marchand, Michel Le Borgne. Symbolic Abstractions of Automata and their application to the Supervisory Control Problem. [Research Report] RR-3814, INRIA. 1999. 〈inria-00072844〉
  • Hervé Marchand, Michel Le Borgne. Partial Order Control and Optimal Control of Discrete Event Systems modeled as Polynomial Dynamical Systems over Galois fields. [Research Report] RR-3273, INRIA. 1997. 〈inria-00073416〉
  • Patricia Bournai, Michel Le Borgne, Hervé Marchand. Environnement de conception d'automatismes discrets basé sur le langage Signal. [Rapport de recherche] RR-3254, INRIA. 1997. 〈inria-00073435〉
  • Tochéou Amagbegnon, Paul Le Guernic, Hervé Marchand, Éric Rutten. The Signal data flow methodology applied to a production cell. [Research Report] RR-2522, INRIA. 1995. 〈inria-00074155〉
  • Hervé Marchand, Éric Rutten, Mazen Samaan. Specifying and verifying a transformer station in Signal and SignalGTi. [Research Report] RR-2521, INRIA. 1995. 〈inria-00074157〉
  • Hervé Marchand, Michel Le Borgne. Typage des graphes de décisions ternaires. [Rapport de recherche] RR-2185, INRIA. 1994. 〈inria-00074486〉

HDR1 document

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