accueil

 carte
 

Publications of Michel LeBorgne


haut

 

PhD Theses

  1. M. Le Borgne.
    Systèmes dynamiques sur des corps finis.  Phd thesis, Université de Rennes I, IFSIC, September 1993. (abstract)

haut

 

Books

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

haut

 

Journals

  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, October 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, September 1991. (postscript)

haut

 

International Conferences

  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, October 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, September 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, August 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, July 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, June 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), June 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, August 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, February 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, March 1991.

haut

 

Research reports

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

haut

 

Misc

  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, October 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, October 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, October 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, July 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, June 1996.
  6. M. Le Borgne, H. Marchand.
    Méthodologie de conception d'automatismes séquentiels.  Convention Inria - EdF No M64/7C8321/E5/11, November 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, July 1995.
The documents contained in these directories are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors and by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will 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.

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