Publications de Herve Marchand

Load the BibTeX file

Thèses de doctorat

1. H. Marchand. Méthodes de synthèse d'automatismes décrits par des systèmes à événements discrets finis. Thèse de l'Université de Rennes 1, IFSIC, Octobre 1997.

Articles de journaux

1. Hervé Marchand, Eric Rutten, Michel Le Borgne, Mazen Samaan. Formal Verification of Programs specified with Signal: Application to a power transformer Station Controller. Science of Computer Programming, 41(1):85-104, Août 2001.
2. 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.
3. H. Marchand, E. Rutten, M. Le Borgne, M. Samaan. Formal Verification of SIGNAL programs: Application to a Power Transformer Station Controller. Science of Computer Programming, 2000.
4. 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, Octobre 2000.
5. 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, Août 2000.
6. 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, Avril 1998.

Chapitres de livres

1. T. 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, Janvier 1995.

Conférences internationales

1. Huafeng Yu, Jean-Pierre Talpin, Lo\"\ic Besnard, Thierry Gautier, Hervé Marchand, Paul Le Guernic. Polychronous Controller Synthesis from MARTE CCSL Timing Specifications. In ACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign (MEMOCODE), Cambridge, United Kingdom, Juillet 2011. download
2. Loïc Besnard, Hervé Marchand, Eric Rutten. The Sigali Tool Box Environment. In WODES'06, 8th International Workshop on Discrete Event Systems, Sessions on Software Tools for DES, Ann Arbor, Michigan, USA, Juillet 2006.
3. A. Benveniste, P. Caspi, Le Guernic Guernic P, H. Marchand, Jean-Pierre Talpin, S. Tripakis. A Protocol for Loosely Time-Triggered Architectures. In Proc. of 2002 Conference on Embedded Software (EMSOFT'02), J. Sifakis, A. Sangiovanni-Vincentelli (eds.), LNCS, Volume 2491, Octobre 2002.
4. 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, Janvier 2002.
5. Albert Benveniste, Patricia Bournai, Thierry Gautier, Michel Le Borgne, Paul Le Guernic, Hervé Marchand. The Signal declarative synchronous language: controller synthesis & systems/architecture design. In 40th IEEE Conference on Decision and Control, Décembre 2001.
6. Hervé Marchand, O. Boivineau, S. Lafortune. Optimal control of discrete event systems under partial observation. In 40th IEEE Conference on Decision and Control, Décembre 2001.
7. S. Pinchinat, H. Marchand. Symbolic Abstractions of Automata. In Proc of 5th Workshop on Discrete Event Systems, WODES 2000, Pages 39-48, Ghent, Belgium, Août 2000.
8. H. Marchand, S. Pinchinat. Supervisory Control Problem using Symbolic Bisimulation Techniques. In 2000 American Control Conference, Pages 4067-4071, Chicago, Illinois, USA, Juin 2000.
9. 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, Octobre 1999.
10. 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, Octobre 1998.
11. 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, Octobre 1998.
12. 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, Septembre 1998.
13. 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, Août 1998.
14. 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, Juillet 1996.
15. 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, Mars 1996.
16. 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, Septembre 1995.

Rapports de recherche

1. Eric Rutten, Hervé Marchand. Using discrete control synthesis for safe robot programming. Rapport de recherche INRIA, 2002.
2. H Marchand, O. Boivineau, S. Lafortune. Optimal control of discrete event systems under partial observation. Rapport de recherche CGR-00-10, Control Group, College of Engineering, University of Michigan, USA, Septembre 2000.
3. S. Pinchinat, H. Marchand, M. Le Borgne. Symbolic Abstractions of Automata and their application to the Supervisory Control Problem. Rapport de recherche Irisa, No 1279, Novembre 1999.
4. H. Marchand, M. Le Borgne. The Supervisory Control Problem of Discrete Event Systems using polynomial Methods. Rapport de recherche Irisa, No 1271, Octobre 1999.
5. H. Marchand, O. Boivineau, S. Lafortune. On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals. Rapport de recherche CGR-98-10, Control Group, College of Engineering, Univeristy of Michigan, USA, Juillet 1998.
6. H. Marchand, M. Le Borgne. Partial Order Control and Optimal Control of Discrete Event Systems modeled as Polynomial Dynamical Systems over Galois fields. Rapport de recherche Irisa, No 1125, Octobre 1997.
7. P. Bournai, M. Le Borgne, H. Marchand. Environnement de conception d'automatismes discrets basé sur le langage Signal. Rapport de recherche Irisa, No 1124, Septembre 1997.
8. T. Amagbegnon, P. Le Guernic, H. Marchand, E. Rutten. The Signal data flow methodology applied to a production cell. Rapport de recherche Irisa, No 917, Mars 1995.
9. H. Marchand, E. Rutten, M. Samaan. Specifying and verifying a transformer station in Signal and Signalgti. Rapport de recherche Irisa, No 916, Mars 1995.
10. H. Marchand, M. Le Borgne. Typage des graphes de décisions ternaires. Rapport de recherche Irisa, No 797, Mars 1994.

Divers

1. H. Marchand. Utilisation de Signal/Sigali pour la synthèse de séquences d'attaque et la simulation + Synthèse de systèmes hérarchiques. Rapport de convention CASTOR, 2001.
2. S. Pinchinat, H. Marchand, M. Le Borgne. Deliverable 3.1.3: Symbolic Abstractions of Automata and their application to the Supervisory Control Problem. Esprit project 22703: Syrf, Octobre 1999.
3. S. Pinchinat, O. Kouchnarenko, H. Marchand, M. Le Borgne. Deliverable 3.1.2: Symbolic abstraction of automata: intensional Labeled Transition Systems, symbolic bisimulation. Esprit project 22703: Syrf, Octobre 1998.
4. H. Marchand, M. Le Borgne. Systèmes dynamiques polynomiaux sous observations partielles. Rapport de fin de contrat, Convention Inria - EdF No P33L99/6A1821/EP819, Octobre 1997.
5. P. Bournai, M. Le Borgne, H. Marchand, P. Le Guernic. Démonstrateur de synthèse de systèmes d'automatismes décrits en Signal. Rapport de fin de contrat, Convention Inria - EdF No 196C5030031307 01 1, Juillet 1997.
6. H. Marchand. Intégration de Sigali dans l'environnement Signal. Rapport de fin de contrat, Convention Inria - EdF No M64/7C8321/E5/11, Décembre 1996.
7. H. Marchand, M. Le Borgne. Extension de la théorie de synthèse de contrôleurs sur des systèmes dynamiques polynômiaux. Convention Inria - EdF No M64/7C8321/E5/11, Juin 1996.
8. M. Le Borgne, H. Marchand. Méthodologie de conception d'automatismes séquentiels. Convention Inria - EdF No M64/7C8321/E5/11, Novembre 1995.
9. H. Marchand, M. Le Borgne, M. Samaan. Méthodes de vérification et de synthèse sur des systèmes dynamiques polynômiaux, appliquées au modèle physique d'un poste de transformation électrique. Convention Inria - EdF No M64/7C8321/E5/11, Juillet 1995.
10. H. Marchand, E. Rutten, M. Samaan. Description, spécification et validation d'un automatisme de poste de transformation électrique. Convention Inria - EdF No M64/7C8321/E5/11, Décembre 1994.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

Dernières modifications Thu Mar 1 13:57:55 2012

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.