accueil

 carte
 

Publications de Michel LeBorgne


haut

 

Thèse

  1. M. Le Borgne.
    Systèmes dynamiques sur des corps finis.  Thèse de l'Université de Rennes I, IFSIC, Septembre 1993. (abstract)

haut

 

Livres

  1. C. Samson, M. Le Borgne, B. Espiau.
    Robot Control. The Task Function Approach.  Oxford engineering science series, 22, Clarendon Press, Oxford, 1991.

haut

 

Articles de Journaux

  1. 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. (abstract)
  2. 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. (abstract)
  3. P. Le Guernic, T. Gautier, M. Le Borgne, C. Le Maire.
    Programming Real-Time Applications with Signal.  Proceedings of the IEEE, 79(9):1321-1336, Septembre 1991. (postscript)

haut

 

Conférences Internationales

  1. H. Marchand, P. Bournai, M. Le Borgne, P. Le Guernic.
    A Design Environment for Discrete-Event Controllers based on the SIGNAL Language.  1998 IEEE International Conf. On Systems, Man, And Cybernetics, pages 770-775, San Diego, California, USA, Octobre 1998. (postscript) (abstract)
  2. H. Marchand, M. Le Borgne.
    Partial Order Control of Discrete Event Systems modeled as Polynomial Dynamical Systems.  1998 IEEE International Conference On Control Applications, Trieste, Italie, Septembre 1998. (postscript) (abstract)
  3. H. Marchand, M. Le Borgne.
    On the Optimal Control of Polynomial Dynamical Systems over Z/pZ.  4th IEE International Workshop on Discrete Event Systems, pages 385-390, Cagliari, Italie, Août 1998. (postscript) (abstract)
  4. M. Le Borgne, H. Marchand, E. Rutten, M. Samaan.
    Formal Verification of SIGNAL programs: Application to a Power Transformer Station Controller.  Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology AMAST'96, Springer-Verlag, LNCS 1101, pages 271-285, Munich, Germany, Juillet 1996. (postscript) (abstract)
  5. M. Le Borgne.
    Dynamical Systems over Galois Fields: Application to DES and to the SIGNAL Language.  Lecture Notes of the Belgian-French-Netherlands Summer School on Discrete Event Systems, Spa, Belgium, Juin 1993. (postscript)
  6. M. Le Borgne, B. Dutertre, A. Benveniste, P. Le Guernic.
    Dynamical Systems over Galois Fields.  Proc. of the Second European Control Conference (ECC93), Juin 1993.
  7. A. Benveniste, M. Le Borgne, P. Le Guernic.
    Hybrid Systems : the Signal Approach.  Hybrid Systems, LNCS 736 Springer, 1993.
  8. B. Dutertre, M. Le Borgne, A. Benveniste, P. Le Guernic.
    Discrete Event Systems and Synchronous Languages: an example.  Proc of the IFAC 1993 World Congress, 1993.
  9. B. Dutertre, M. Le Borgne, P. Le Guernic.
    The Cat and Mouse in the synchronous paradigm.  Joint Worshop on Discrete Event Systems (WODES'92), pages 117-120, Août 1992.
  10. A. Benveniste, M. Le Borgne, P. Le Guernic.
    SIGNAL as a model for real-time and hybrid systems.  Proceedings of European Symposium on Programming (ESOP '92), B. Krieg-Brueckner (ed.), LNCS 582. Springer, pages 20-38, Février 1992.
  11. M. Le Borgne, B. Dutertre, A. Benveniste, P. Le Guernic.
    Dynamical systems over Galois fields and DEDS Control Problems.  Proc. of the 30th IEEE conference on Decision and Control, pages 1505-1510, 1992.
  12. M. Le Borgne, A. Benveniste, P. Le Guernic.
    Polynomial dynamical systems over finite fields.  Algebraic Computing in control, G. Jacob et F. Lamnabhi-lagarrigue, Volume 165, pages 212-222, Mars 1991.

haut

 

Rapports de recherche

  1. S. Pinchinat, H. Marchand, M. LeBorgne.
    Symbolic Abstractions of Automata and their application to the Supervisory Control Problem.  Rapport de Recherche Irisa, No1279, Novembre 1999. (postscript) (abstract)
  2. H. Marchand, M. Le Borgne.
    The Supervisory Control Problem of Discrete Event Systems using polynomial Methods.  Rapport de Recherche Irisa, No1271, Octobre 1999. (postscript) (abstract)
  3. 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, No1125, Octobre 1997. (postscript) (abstract)
  4. P. Bournai, M. Le Borgne, H. Marchand.
    Environnement de conception d'automatismes discrets basé sur le langage Signal.  Rapport de Recherche Irisa, No1124, Septembre 1997. (postscript) (abstract)
  5. B. Houssais, M. Le Borgne, P. Le Guernic.
    Cours de programmation en langage temps-réel SIGNAL.  Rapport de Recherche Irisa, Juin 1994.
  6. H. Marchand, M. Le Borgne.
    Typage des graphes de décisions ternaires.  Rapport de Recherche Irisa, No797, Mars 1994. (postscript) (abstract)
  7. B. Dutertre, M. Le Borgne.
    Control of Polynomial Dynamic Systems: an Example.  Rapport de Recherche Inria, No2193, Janvier 1994. (postscript) (abstract)
  8. A. Benveniste, M. Le Borgne, P. Le Guernic.
    Signal as a model for Real-Time and Hybrid Systems.  Rapport de Recherche irisa, No624, Janvier 1992.
  9. P. Le Guernic, T. Gautier, M. Le Borgne, C. Le Maire.
    Programming Real-Time Applications with Signal.  Rapport de Recherche Irisa, No582, Avril 1991.

haut

 

Divers

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. M. Le Borgne, H. Marchand.
    Méthodologie de conception d'automatismes séquentiels.  Convention Inria - EdF No M64/7C8321/E5/11, Novembre 1995.
  7. 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.
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.

Webmaster : epatr_webmaster@irisa.fr
Ces pages sont créées automatiquement par le
programme bib2html du projet Vista de l'IRISA-INRIA Rennes 		vista