Publications of Herve Marchand

Load the BibTeX file

Academic Journals

  1. Rômulo Meira-Góes, Hervé Marchand, Stéphane Lafortune. Dealing with sensor and actuator deception attacks in supervisory control. Automatica, 147, January 2023. details doi pdf
  2. Romulo Meira-Goes, Stephane Lafortune, Hervé Marchand. Synthesis of Supervisors Robust Against Sensor Deception Attacks. IEEE Transactions on Automatic Control, 2021. details doi pdf
  3. M. Renard, Y. Falcone, A. Rollet, T. Jéron, H. Marchand. Optimal Enforcement of (Timed) Properties with Uncontrollable Events. Mathematical Structures in Computer Science, 51(1), May 2019. details doi pdf
  4. E. Fabre, L. Hélouet, E. Lefaucheux, H. Marchand. Diagnosability of Repairable Faults. Discrete Event Dynamic Systems, 28(2):183-213, June 2018. details pdf
  5. S. Pinisetty, T. Jéron, S. Tripakis, Y. Falcone, H. Marchand, V. Preoteasa. Predictive Runtime Verification of Timed Properties. Journal of Systems and Software, 132:353-365, October 2017. details doi pdf
  6. Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand. Predictive runtime enforcement. Formal Methods in System Design, 51(1):154-199, August 2017. details doi
  7. Y. Falcone, T. Jeron, H. Marchand, S. Pinisetty. Runtime enforcement of regular timed properties by suppressing and delaying events. Science of Computer Programming, 123:2-41, 2016. details doi pdf
  8. Ph. Darondeau, H. Marchand, L. Ricker. Enforcing Opacity of Regular Predicates on Modal Transition Systems. Discrete Event Dynamic Systems, 2014. details doi pdf
  9. Y. Falcone, H. Marchand. Enforcement and Validation (at runtime) of Various Notions of Opacity. Discrete Event Dynamic Systems, 2014. details doi pdf
  10. S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand, A. Rollet, O. Nguema Timo. Runtime enforcement of timed properties revisited. Formal Methods in System Design, 45(3):381-422, 2014. details doi pdf
  11. S. Chédor, Ch. Morvan, S. Pinchinat, H. Marchand. Diagnosis and Opacity Problems for Infinite State Systems Modeled by Recursive Tile Systems. Discrete Event Dynamic Systems, 2014. details doi pdf
  12. G. Kalyon, T. Le Gall, H. Marchand, T. Massart. Symbolic Supervisory Control of Distributed Systems with Communications. IEEE Transaction on Automatic Control, 59(2):396-408, February 2014. details doi pdf
  13. L. Hélouet, H. Marchand, B. Genest, T. Gazagnaire. Diagnosis from Scenarios, and applications. Discrete Event Dynamic Systems : Theory and Applications, (To appear), 2013. details doi pdf
  14. G Delaval, E. Rutten, H. Marchand. Integrating Discrete Controller Synthesis in a Reactive Programming Language Compiler. Discrete Event Dynamic Systems : Theory and Applications, 23(4):385-418, December 2013. details doi pdf
  15. Y. Falcone, J-C Fernandez, T. Jéron, H. Marchand, L. Mounier. More Testable Properties. STTT: Software Tools for Technology Transfer, (Extension of the ICTSS'10 paper), 14(2):403-437, 2012. details doi pdf
  16. F. Cassez, J. Dubreil, H. Marchand. Synthesis of Opaque Systems with Static and Dynamic Masks. Formal Methods in System Design, 40(1):88-115, 2012. details doi pdf
  17. G. Kalyon, T. Le Gall, H. Marchand, T. Massart. Symbolic Supervisory Control of Infinite Transition Systems under Partial Observation using Abstract Interpretation. Discrete Event Dynamic Systems : Theory and Applications, 22(2):121-161, 2012. details doi pdf
  18. G. Kalyon, T. Le Gall, H. Marchand, T. Massart. Decentralized Control of Infinite Systems. Discrete Event Dynamic Systems : Theory and Applications, 21(3):359-393, September 2011. details doi pdf
  19. J. Dubreil, Ph. Darondeau, H. Marchand. Supervisory Control for Opacity. IEEE Transactions on Automatic Control, 55(5):1089-1100, May 2010. details doi
  20. E. Rutten, H. Marchand. Automatic generation of safe handlers for multi-task systems. Journal of Embedded Computing, 3(4):255-276, 2009. details doi pdf
  21. J. Komenda, J. van Schuppen, B. Gaudin, H. Marchand. Supervisory Control of Modular Systems with Global Specification Languages. Automatica, 44(4):1127-1134, April 2008. details doi pdf
  22. B. Gaudin, H. Marchand. An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-Based Approach. Discrete Event Dynamic System, 17(2):179-209, 2007. details doi pdf
  23. C. Constant, T. Jéron, H. Marchand, V. Rusu. Integrating formal verification and conformance testing for reactive systems. IEEE Transactions on Software Engineering, 33(8):558-574, August 2007. details doi pdf
  24. T. Le Gall, B. Jeannet, H. Marchand. Contrôle de systèmes symboliques, discrets ou hybrides. Technique et Science Informatiques (TSI), 25(3):293-319, 2006. details doi pdf
  25. B. Gaudin, H Marchand. Supervisory Control of Product and Hierarchical Discrete Event Systems. European Journal of Control, Special issue of European Control Conference, ECC 2003, 10(2), 2004. details doi pdf
  26. T. Jéron, H. Marchand, V. Rusu, V. Tschaen. Ensuring the conformance of reactive discrete-event systems by means of supervisory control. International Journal of Production Research, 42(14):2809-2826, 2004. details doi pdf
  27. H. Marchand, O. Boivineau, S. Lafortune. On Optimal Control of a class of partially-Observed Discrete Event Systems. Automatica, 38(11):1935-1943, October 2002. details doi pdf
  28. H. Marchand, E. Rutten, M. Le Borgne, M. Samaan. Formal Verification of programs specified with SIGNAL : Application to a Power Transformer Station Controller. Science of Computer Programming, 41(1):85-104, August 2001. details doi pdf
  29. H Marchand, O. Boivineau, S. Lafortune. On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals. SIAM Journal on Control and Optimization, 39(2):512-532, 2000. details doi pdf
  30. H. Marchand, P. Bournai, M. Le Borgne, P. Le Guernic. Synthesis of Discrete-Event Controllers based on the Signal Environment. Discrete Event Dynamic System: Theory and Applications, 10(4):325-346, October 2000. details doi pdf
  31. H. Marchand, M. Samaan. Incremental Design of a Power Transformer Station Controller using Controller Synthesis Methodology. IEEE Transaction on Software Engineering, 26(8):729-741, August 2000. details doi pdf
  32. E. Marchand, E. Rutten, H. Marchand, F. Chaumette. Specifying and verifying active vision-based robotic systems with the Signal environment. Int. Journal of Robotics Research, 17(4):418-432, April 1998. details doi pdf

Book Chapters

  1. C. Constant, T. Jéron, H. Marchand, V. Rusu. Validation of Reactive Systems. In Modeling and Verification of Real-TIME Systems - Formalisms and software Tools, S. Merz, N. Navet (eds.), Chap. 2, pp. 51-76, Hermès Science, January 2008. details
  2. C. Constant, T. Jéron, H. Marchand, V. Rusu. Combinaison entre vérification et test pour la validation de systèmes réactifs. In Traité I2C. Systèmes Temps Réel: Techniques de Description et de Vérification - Théorie et Outils, Vol. 1, Chap. 2, pp. 59-88, Hermès Science, 2006. details
  3. T.P. Amagbegnon, P. Le Guernic, H. Marchand, E. Rutten. Signal- the specification of a generic, verified production cell controller. In Formal Development of Reactive Systems - Case Study Production Cell, C. Lewerentz, T. Lindner (eds.), Chap. 7, pp. 115-129, Lecture Notes in Computer Science, Springer Verlag, January 1995. details

International Conferences

  1. C K Sharpe, S L Ricker, Hervé Marchand. Mutual Opacity between Multiple Adversaries. In Wodes 2022 - 16th IFAC Workshop on Discrete Event Systems, Prague, Czech Republic, September 2022. details pdf
  2. Abdul Majith, Ocan Sankur, Hervé Marchand, Thai Dinh. Compositional model checking of an SDN platform. In DRCN 2021 - 17th International Conference on the Design of Reliable Communication Networks, Pages 1-8, Milan, Italy, April 2021. details pdf
  3. G. Zinck, L. S. L. Ricker, H. Marchand, L. Hélouet. Enforcing Opacity in Modular Systems. In Ifac world Congress, Berlin, Germany, 2020. details pdf
  4. R. Meira-Góes, H. Marchand, S. Lafortune. Towards resilient supervisors against sensor deception attacks. In CDC 2019 - 58th IEEE Conference on Decision and Control, Pages 1-6, Nice, France, December 2019. details pdf
  5. L. Hélouet, H. Marchand, J. Mullins. Concurrent secrets with quantified suspicion. In ACSD' 2018 - 18th International Conference on Application of Concurrency to System Design, Pages 75-84, Bratislava, Slovakia, June 2018. details pdf
  6. L. Hélouet, H. Marchand, L. Ricker. Opacity with powerful attackers. In WODES 2018 - 14th Workshop on Discrete Event Systems, Pages 475-482, Sorrento Coast, Italy, May 2018. details doi pdf
  7. N. Berthier, H. Marchand, E Rutten. Symbolic Limited Lookahead Control for Best-effort Dynamic Computing Resource Management. In WODES 2018 - 14th Workshop on Discrete Event Systems, Pages 1-8, Sorrento Coast, Italy, May 2018. details doi pdf
  8. L. Hélouet, H. Marchand. On the cost of diagnosis with disambiguation. In QEST 2017, 14th International Conference on Quantitative Evaluation of SysTems (QEST 2017), Berlin, France, September 2017. details pdf
  9. N. Berthier, F. Alvares, H. Marchand, G. Delaval, E. Rutten. Logico-numerical Control for Software Components Reconfiguration. In CCTA 2017 - IEEE Conference on Control Technology and Applications, Pages 1599-1606, Mauna Lani, HI, United States, August 2017. details doi pdf
  10. L. Ricker, T.F. Lidbetter, H. Marchand. Inferencing and beyond: further adventures with parity-based architectures for decentralized discrete-event systems. In 20th World Congress The International Federation of Automatic Control, Toulouse, France, July 2017. details pdf
  11. Eric Fabre, Loic Hélouet, Engel Lefaucheux, Hervé Marchand. Diagnosability of Repairable Faults. In 13th International Workshop on Discrete Event Systems, (Version Longue), Pages 256-262, Xi'an, China, 2016. details pdf
  12. L. Ricker, H. Marchand. Finding the weakest link(s): Coalition games for decentralized discrete-event control. In IEEE Conference on Decision and Control, Las-Vegas, United States, December 2016. details pdf
  13. S. Pinisetty, V. Preoteasa, S. Tripakis, T. Jéron, Y. Falcone, H. Marchand. Predictive Runtime Enforcement. In SAC 2016 31st ACM Symposium on Applied Computing, Pisa, Italy, April 2016. details pdf
  14. N. Berthier, H. Marchand. Deadlock-free Discrete Controller Synthesis for Infinite State Systems. In 54th IEEE Conference on Decision and Control, Pages 1000-1007, Osaka, Japan, December 2015. details download
  15. M. Renard, Y. Falcone, A. Rollet, S. Pinisetty, T. Jéron, H. Marchand. Enforcement of (Timed) Properties with Uncontrollable Events. In 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Theoretical Aspects of Computing - ICTAC 2015, Volume LNCS, Cali, Colombia, October 2015. details doi download
  16. S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand. TiPEX: A Tool Chain for Timed Property Enforcement During eXecution. In RV'2015, 6th International Conference on Runtime Verification, Ezio Bartocci, Rupak Majumdar (eds.), Lecture Notes in Computer Science, Volume 9333, Vienne, Austria, September 2015. details doi download
  17. N. Berthier, X. An, H. Marchand. Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures. In 5th IFAC International Workshop On Dependable Control of Discrete Systems - DCDS'15, Volume 48, Pages 132-138, Cancun, Mexico, May 2015. details download
  18. X. An, G. Delaval, J-P. Diguet, A. Gamatie, A. Gueye, H. Marchand, N. De Palma, E. Rutten. Discrete Control-Based Design of Adaptive and Autonomic Computing Systems. In ICDCIT: International Conference on Distributed Computing and Internet Technology, 11th International Conference on Distributed Computing and Internet Technology, ICDCIT 2015, Volume LNCS, Bhubaneswar, India, February 2015. details doi
  19. N. Berthier, H. Marchand. Discrete Controller Synthesis for Infinite State Systems with ReaX. In IEEE International Workshop on Discrete Event Systems, Pages 46-53, Cachan, France, May 2014. details pdf
  20. S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand. Runtime Enforcement of Parametric Timed Properties with Practical Applications. In IEEE International Workshop on Discrete Event Systems, Pages 420-427, Cachan, France, May 2014. details pdf
  21. S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand. Runtime Enforcement of Regular Timed Properties. In Software Verification and Testing, track of the Symposium on Applied Computing ACM-SAC 2014, Pages 1279-1286, Gyeongju, Korea, March 2014. details pdf
  22. Y. Falcone, H. Marchand. Runtime Enforcement of K-step Opacity. In 52nd IEEE Conference on Decision and Control, Pages 7271-7278, Florence, Italy, December 2013. details pdf
  23. G. Delaval, N. De palma, S. Gueye, H. Marchand, E. Rutten. Discrete Control of Computing Systems Administration: a Programming Language supported Approach. In Euopean Control Conference, Pages 117-124, Zurich. Switzerland, July 2013. details pdf
  24. L. Ricker, H. Marchand. A parity-based architecture for decentralized discrete-event control. In American Control Conference, Pages 5678-5684, Washington, DC, USA, June 2013. details pdf
  25. S. Chédor, C. Morvan, S. Pinchinat, H. Marchand. Analysis of partially observed recursive tile systems. In 11th Int. Workshop on Discrete Event Systems, Pages 265-271, Guadalajara, Mexico, October 2012. details pdf
  26. S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand, A. Rollet, O. Nguena Timo. Runtime Enforcement of Timed Properties. In Third International Conference on Runtime Verification RV 2012, LNCS, Volume 7687, Pages 229-244, Istanbul, Turkey, September 2012. details doi pdf
  27. G. Kalyon, T. Le Gall, H. Marchand, T. Massart. Synthesis of Communicating Controllers for Distributed Systems. In 50th IEEE Conference on Decision and Control and European Control Conference, Pages 1803-1810, Orlando, USA, December 2011. details doi pdf
  28. H. Yu, J-P. Talpin, L. Besnard, T. Gautier, H. Marchand, P. Le Guernic. Polychronous Controller Synthesis from MARTE CCSL Timing Specifications. In ACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign (MEMOCODE), Pages 21-30, Cambridge, United Kingdom, July 2011. details doi pdf
  29. G. Kalyon, T. Le Gall, H. Marchand, T. Massart. Global State Estimates for Distributed Systems. In 31th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems, FORTE, LNCS, Volume 6722, Pages 198-212, Reykjavik, Iceland, June 2011. details doi pdf
  30. W. L. Andrade, P. Machado, T. Jéron, H. Marchand. Abstracting Time and Data for Conformance Testing of Real-Time Systems. In 7th Workshop on Advances in Model Based Testing A-MOST 2011, Berlin, Germany, March 2011. details pdf
  31. O. Landry Nguena, H. Marchand, A. Rollet. Automatic Test Generation for Data-Flow Reactive Systems with time constraints (Short paper). In 22nd IFIP International Conference on Testing Software and Systems, Pages 25-30, Natal, Brazil, November 2010. details pdf
  32. Y. Falcone, Fernandez J.-C, T. Jéron, H. Marchand, L. Mounier. More Testable Properties. In 22nd IFIP International Conference on Testing Software and Systems, LNCS, Volume 6435, Pages 30-46, Natal, Brazil, November 2010. details doi pdf
  33. Ph. Darondeau, J. Dubreil, H. Marchand. Supervisory Control for Modal Specifications of Services. In Workshop on Discrete Event Systems, WODES'10, Pages 428-435, Berlin, Germany, August 2010. details pdf
  34. E. Dumitrescu, A. Girault, H. Marchand, E. Rutten. Multicriteria optimal discrete controller synthesis for fault-tolerant real-time tasks. In Workshop on Discrete Event Systems, WODES'10, Pages 366-373, Berlin, Germany, August 2010. details pdf
  35. G. Delaval, H. Marchand, E. Rutten. Contracts for Modular Discrete Controller Synthesis. In Conference on Languages, Compilers and Tools for Embedded Systems, LCTES 2010, Pages 57-66, Stockholm, Sweden, April 2010. details doi pdf
  36. G. Kalyon, T. Le Gall, H. Marchand, T. Massart. Computational Complexity for State-Feedback Controllers with Partial Observation. In 7th International Conference on Control and Automation, ICCA'09, Pages 435-441, Christchurch, New Zealand, December 2009. details doi pdf
  37. H. Marchand, J. Dubreil, T. Jéron. Automatic Testing of Access Control for Security Properties. In TestCom'09, LNCS, Volume 5826, Pages 113-128, November 2009. details doi pdf
  38. F. Cassez, J. Dubreil, H. Marchand. Dynamic Observers for the Synthesis of Opaque Systems. In 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), Z. Liu, A.P. Ravn (eds.), LNCS, Volume 5799, Pages 352-367, Macao SAR, China, October 2009. details doi pdf
  39. G. Kalyon, Le Gall T, H. Marchand, T. Massart. Control of Infinite Symbolic Transition Systems under Partial Observation. In European Control Conference, Pages 1456-1462, Budapest, Hungary, August 2009. details pdf
  40. J. Dubreil, T. Jéron, H. Marchand. Monitoring Confidentiality by Diagnosis Techniques. In European Control Conference, Pages 2584-2590, Budapest, Hungary, August 2009. details pdf
  41. T. Jéron, H. Marchand, S. Genc, S. Lafortune. Predictability of Sequence Patterns in Discrete Event Systems. In IFAC World Congress, Pages 537-453, Seoul, Korea, July 2008. details pdf
  42. J. Dubreil, Ph. Darondeau, H. Marchand. Opacity Enforcing Control Synthesis. In Workshop on Discrete Event Systems, WODES'08, Pages 28-35, Gothenburg, Sweden, March 2008. details pdf
  43. E. Dumitrescu, A. Girault, H. Marchand, E. Rutten. Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems. In First IFAC Workshop on Dependable Control of Discrete Systems (DCDS'07), Paris, France, June 2007. details pdf
  44. J. Komenda, H. Marchand, S. Pinchinat. A constructive and modular approach to decentralized supervisory Control problems. In 3rd IFAC Workshop on Discrete-Event System Design, 2006. details pdf
  45. T. Jéron, H. Marchand, V. Rusu. Symbolic Determinisation of Extended Automata. In 4th IFIP International Conference on Theoretical Computer Science, IFIP book series, Pages 197-212, Stantiago, Chile, August 2006. details doi pdf
  46. T. Jéron, H. Marchand, S. Pinchinat, M-O. Cordier. Supervision Patterns in Discrete Event Systems Diagnosis. In Workshop on Discrete Event Systems, WODES'06, Also published in DX'06, Penaranda de Duero (Burgos, Spain), Pages 262-268, Ann-Arbor (MI, USA), July 2006. details doi pdf
  47. K. Schmidt, H. Marchand, B. Gaudin.. Modular and Decentralized Supervisory Control of Concurrent Discrete Event Systems Using Reduced System Models. In Workshop on Discrete Event Systems, WODES'06, Pages 149-154, Ann-Arbor (MI, USA), July 2006. details doi pdf
  48. B. Gaudin, H. Marchand. Supervisory Control and Deadlock Avoidance Control Problem for Concurrent Discrete Event Systems. In 44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Pages 2763-2768, Seville (Spain), December 2005. details pdf
  49. J. Komenda, J. H. van Schuppen, B. Gaudin, H. Marchand. Modular supervisory control with general indecomposable specification languages. In 44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Pages 3474-3479, Seville (Spain), December 2005. details pdf
  50. T. Le Gall, B. Jeannet, H. Marchand. Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation. In 44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Pages 31-35, Seville (Spain), December 2005. details pdf
  51. B. Gaudin, H. Marchand. Efficient Computation of supervisors for loosely synchronous Discrete Event Systems: A State-Based Approach. In 6th IFAC World Congress, Prague, Czech Republic, July 2005. details pdf
  52. V. Rusu, H. Marchand, T. Jéron. Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems. In Formal Methods 2005 (FM05), John Fitzgerald, Andrzej Tarlecki, Ian Hayes (eds.), LNCS, Volume 3582, Pages 189-204, July 2005. details doi pdf
  53. B. Gaudin, H. Marchand. Safety Control of Hierarchical Synchronous Discrete Event Systems: A State-Based Approach. In 13th Mediterranean Conference on Control and Automation, Pages 889-895, Limassol, Cyprus, June 2005. details pdf
  54. B. Gaudin, H. Marchand. Modular Supervisory Control of a class of Concurrent Discrete Event Systems. In Workshop on Discrete Event Systems, WODES'04, Pages 181-186, September 2004. details pdf
  55. V. Rusu, H. Marchand, V. Tschaen, T. Jéron, B. Jeannet. From Safety Verification to Safety Testing. In The 16th IFIP International Conference on Testing of Communicating Systems (TestCom04). Volume 2978 of LNCS, Oxford, UK, March 2004. details pdf
  56. T. Jéron, H. Marchand, V. Rusu, V. Tschaen. Ensuring the conformance of reactive discrete-event systems using supervisory control. In 42nd IEEE Conference on Decision and Control, Hawaii, USA, December 2003. details
  57. A. Khoumsi, Jéron T, H. Marchand. Test Cases Generation for Nondeterministic Real-time Systems. In 3rd International Workshop on Formal Approaches To Testing of Software (FATES 2003), Montréal, Québec, Canada, October 2003. details
  58. B. Gaudin, H Marchand. Modular Supervisory Control of Asynchronous and Hierarchical Finite State Machines. In European Control Conference, ECC 2003, An extended version (with the proofs) is available at http://www.irisa.fr/vertecs/Publis/Ps/2003-ECC-Extended-version.pdf, Cambridge, UK, September 2003. details pdf
  59. H. Marchand, B. Gaudin. Supervisory Control Problems of Hierarchical Finite State Machines. In 41th IEEE Conference on Decision and Control, Pages 1199-1204, Las Vegas, USA, December 2002. details doi pdf
  60. A. Benveniste, P. Caspi, P. Le Guernic, H. Marchand, J.P. Talpin, S. Tripakis. A Protocol for Loosely Time-Triggered Architectures. In Embedded Software Conference (EMSOFT '02), LNCS, Volume 2491, Pages 252-265, Grenoble, France, October 2002. details doi pdf
  61. H. Marchand, E. Rutten. A case study in applying discrete control synthesis to excavator operation. In IEEE International Conference on Systems, Man and Cybernetics (IEEE SMC), Hammamet, Tunisia, October 2002. details doi pdf
  62. H. Marchand, E. Rutten. Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis. In 14th Euromicro Conference on Real-Time Systems (ECRTS'02), Pages 241-248, June 2002. details doi pdf
  63. H. Marchand, O. Boivineau, S. Lafortune. Optimal control of discrete event systems under partial observation. In 40th IEEE Conference on Decision and Control, Pages 2235-2240, Orlando, Florida, USA, December 2001. details doi pdf
  64. A. Benveniste, P. Bournai, T. Gautier, M. Le Borgne, P. Le Guernic, H. Marchand. The Signal declarative synchronous language : controller synthesis & systems/architecture design. In 40th IEEE Conference on Decision and Control, Pages 3284-3289, Orlando, Florida, USA, December 2001. details doi pdf
  65. S. Pinchinat, H. Marchand. Symbolic Abstractions of Automata. In Proc of 5th Workshop on Discrete Event Systems, WODES 2000, Pages 39-48, Ghent, Belgium, August 2000. details pdf
  66. H. Marchand, S. Pinchinat. Supervisory Control Problem using Symbolic Bisimulation Techniques. In 2000 American Control Conference, Pages 4067-4071, Chicago, Illinois, USA, June 2000. details pdf
  67. H. Marchand, M. Samaan. On the Incremental Design of a Power Transformer Station Controller using Controller Synthesis Methodology. In World Congress on Formal Methods (FM'99), Volume 1709 of LNCS, Pages 1605-1624, Toulouse, France, October 1999. details pdf
  68. H. Marchand, O. Boivineau, S. Lafortune. On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals. In 1998 IEEE International Conf. On Systems, Man, And Cybernetics, Pages 734-739, San Diego, California, USA, October 1998. details pdf
  69. H. Marchand, P. Bournai, M. Le Borgne, P. Le Guernic. A Design Environment for Discrete-Event Controllers based on the SIGNAL Language. In 1998 IEEE International Conf. On Systems, Man, And Cybernetics, Pages 770-775, San Diego, California, USA, October 1998. details pdf
  70. H. Marchand, M. Le Borgne. Partial Order Control of Discrete Event Systems modeled as Polynomial Dynamical Systems. In 1998 IEEE International Conference On Control Applications, Trieste, Italie, September 1998. details pdf
  71. H. Marchand, M. Le Borgne. On the Optimal Control of Polynomial Dynamical Systems over Z/pZ. In 4th IEE International Workshop on Discrete Event Systems, Pages 385-390, Cagliari, Italie, August 1998. details pdf
  72. M. Le Borgne, H. Marchand, E. Rutten, M. Samaan. Formal Verification of SIGNAL programs: Application to a Power Transformer Station Controller. In Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology AMAST'96, Pages 271-285, Munich, Germany, July 1996. details pdf
  73. H. Marchand, E. Rutten, M. Samaan. Synchronous design of a transformer station controller in Signal. In Proceedings of the 4th IEEE Conference on Control Applications, CCA '95, Albany, New York, Pages 754-759, September 1995. details pdf

National Conferences

  1. G. Delaval, E. Rutten, H. Marchand. Intégration de la synthèse de contrôleurs discrets dans un langage de programmation. In Modélisation des Systèmes Réactifs (MSR'11), Pages 125-140, Lille, France, November 2011. details
  2. G. Kalyon, T. Le Gall, H. Marchand, T. Massart. Contrôle décentralisé de systèmes symboliques infinis sous observation partielle. In 7ème Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'09), Pages 805-820, November 2009. details
  3. H. Marchand, J. Dubreil, T. Jéron. Génération automatique de tests pour des propriétés de sécurité. In 4ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, Pages 157-174, June 2009. details pdf
  4. J. Dubreil, T. Jéron, H. Marchand. Construction de moniteurs pour la surveillance de propriétés de sécurité. In 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'07), Pages 105-120, Lyon, France, October 2007. details pdf
  5. E. Dumitrescu, A. Girault, H. Marchand, E. Rutten. Synthèse optimale de contrôleurs discrets et systèmes répartis tolérants aux fautes. In 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'07), Pages 71-86, Lyon, France, October 2007. details pdf
  6. T. Jéron, H. Marchand, M-O. Cordier. Motifs de surveillance pour le diagnostics de systèmes à événements discrets finis. In 15e congrès francophone AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle, Tours, France, January 2006. details pdf
  7. B. Gaudin, H. Marchand. Une approche modulaire pour le contrôle de systèmes à événements discrets concurrents. In 5ième Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'05), Grenoble (Autrans), France, October 2005. details pdf
  8. B. Gaudin, H. Marchand. Contrôle de systèmes à événements discrets hiérarchiques. In 4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR'03, Metz, France (Version Francaise de ECC'03), October 2003. details
  9. T. Jéron, H. Marchand, V. Rusu, V. Tschaen. Synthèse de contrôleurs pour une relation de conformité. In 4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR'03, Metz, France, October 2003. details pdf
  10. H. Marchand, L. Rozé. Diagnostic de pannes sur des systèmes à événements discrets : une approche à base de modèles symboliques. In 13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle, Pages 191-200, Angers, France, January 2002. details pdf
  11. H. Marchand, E. Marchand, E. Rutten. Spécification et vérification de systèmes réactifs : expérimentation de la méthodologie synchrone SIGNAL. In Actes du Congrès AFCET sur la Modélisation des Systèmes Réactifs, MSR'96, Brest, March 1996. details pdf

Research Reports

  1. Y. Falcone, H. Marchand. Various Notions of Opacity Verified and Enforced at Runtime. Research Report INRIA, No 7349, August 2010. details pdf
  2. Y. Falcone, Fernandez J.-C, T. Jéron, H. Marchand, L. Mounier. More Testable Properties. Research Report INRIA, No 7279, April 2010. details pdf
  3. Ph. Darondeau, J. Dubreil, H. Marchand. Supervisory Control for Modal Specifications of Services. Research Report INRIA, No 7247, April 2010. details pdf
  4. F. Cassez, J. Dubreil, H. Marchand. Dynamic Observers for the Synthesis of Opaque Systems. Research Report IRISA, No 1930, May 2009. details pdf
  5. J. Dubreil, Ph. Darondeau, H. Marchand. Supervisory Control for Opacity. Research Report IRISA, No 1921, February 2009. details pdf
  6. G. Kalyon, T. Le gall, H. Marchand, T. Massart. Control of Infinite Symbolic Transitions Systems under Partial Observation. Technical report of the verification group Université Libre de Bruxelles, No 103, October 2008. details pdf
  7. J. Dubreil, T. Jéron, H. Marchand. Monitoring Information flow by Diagnosis Techniques. Research Report IRISA, No 1901, August 2008. details pdf
  8. J. Dubreil, Ph. Darondeau, H. Marchand. Opacity Enforcing Control Synthesis. Research Report IRISA, No 1887, March 2008. details pdf
  9. E. Dumitrescu, A. Girault, H. Marchand, E. Rutten. Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems. Research Report INRIA, No 6137, March 2007. details pdf
  10. T. Jéron, H. Marchand, S. Genc, S. Lafortune. Predictability of Sequence Patterns in Discrete Event Systems. Research Report IRISA, No 1834, March 2007. details pdf
  11. T. Jéron, H. Marchand, V. Rusu. Symbolic Determinisation of Extended Automata. Research Report IRISA, No 1176, February 2006. details pdf
  12. T. Jéron, H. Marchand, S. Pinchinat, M-O. Cordier. Supervision Patterns in Discrete Event Systems Diagnosis. Research Report IRISA, No 1784, February 2006. details pdf
  13. T. Le Gall, B. Jeannet, H. Marchand. Contrôle de systèmes symboliques, discrets ou hybrides. Research Report IRISA, No 1683, January 2005. details pdf
  14. E. Rutten, H. Marchand. Automatic Generation of Safe Handlers for Multi-Task Systems. Research Report INRIA, No 5345, October 2004. details pdf
  15. V. Rusu, H. Marchand, T. Jéron. Verification and Symbolic Test Generation for Safety Properties. Research Report IRISA, No 1640, August 2004. details pdf
  16. B. Gaudin, H. Marchand. Supervisory control of Concurrent Discrete Event Systems. Research Report IRISA, No 1593, January 2004. details pdf
  17. B. Gaudin, H Marchand. Supervisory Control of Structured Discrete Event Systems. Research Report IRISA, No 1569, November 2003. details pdf
  18. E. Rutten, H. Marchand. Task-level programming for control systems using discrete control synthesis. Research Report INRIA, No 4389, February 2002. details pdf
  19. H Marchand, O. Boivineau, S. Lafortune. Optimal control of discrete event systems under partial observation. Research Report CGR-00-10, Control Group, College of Engineering, University of Michigan, USA, September 2000. details pdf
  20. S. Pinchinat, H. Marchand, M. Le Borgne. Symbolic Abstractions of Automata and their application to the Supervisory Control Problem. Research Report Irisa, No 1279, November 1999. details pdf
  21. H. Marchand, M. Le Borgne. The Supervisory Control Problem of Discrete Event Systems using polynomial Methods. Research Report Irisa, No 1271, October 1999. details pdf
  22. H. Marchand, O. Boivineau, S. Lafortune. On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals. Research Report CGR-98-10, Control Group, College of Engineering, Univeristy of Michigan, USA, July 1998. details pdf
  23. H. Marchand, M. Le Borgne. Partial Order Control and Optimal Control of Discrete Event Systems modeled as Polynomial Dynamical Systems over Galois fields. Research Report Irisa, No 1125, October 1997. details pdf
  24. P. Bournai, M. Le Borgne, H. Marchand. Environnement de conception d'automatismes discrets basé sur le langage Signal. Research Report Irisa, No 1124, September 1997. details pdf
  25. T.P. Amagbegnon, P. Le Guernic, H. Marchand, E. Rutten. The Signal data flow methodology applied to a production cell. Research Report Irisa, No 917, March 1995. details pdf
  26. H. Marchand, E. Rutten, M. Samaan. Specifying and verifying a transformer station in Signal and Signalgti. Research Report Irisa, No 916, March 1995. details pdf
  27. H. Marchand, M. Le Borgne. Typage des graphes de décisions ternaires. Research Report Irisa, No 797, March 1994. details pdf

Misc

  1. H. Marchand, J. Dubreil, T. Jéron. Automatic Test Generation for Security Property. Delivrable, Politess Project, 2008. details
  2. L. Hélouët, H. Marchand, T. Jéron. Testing Cover Channel. Delivrable, Politess Project, 2008. details
  3. J. Dubreil, T. Jéron, L. Hélouët, H. Marchand. Evaluation des techniques de diagnostic pour la construction de détecteurs d'intrusions. Delivrable, Politess Project, 2008. details
  4. L. Hélouet, H. Marchand, T. Jéron. Testing Covert Channels. 2008. details
  5. L. Hélouet, T. Gazagnaire, H. Marchand. Anomaly Detection with diagnosis technique. 2008. details
  6. L. Besnard, H. Marchand, E. Rutten. The Sigali Tool Box Environment. Workshop on Discrete Event Systems, WODES'06 (Tool Paper), pp. 465-466, Ann-Arbor (MI, USA), July 2006. details pdf

Thesis

  1. Hervé Marchand. Contribution to the Analysis of Discrete Event Systems. Habilitation à diriger des recherches Université de Rennes 1, June 2017. details pdf
  2. H. Marchand. Méthodes de synthèse d'automatismes décrits par des systèmes à événements discrets finis. PhD Thesis Université de Rennes 1, IFSIC, October 1997. details ps

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic