Publications de l'équipe «Calcul Formel»

[1]      S. Belghith, M. Petitot, and F. Lamnabhi-Lagarrigue.

Combining symbolic and numerical tools for nonlinear systems.

submited.

[2]      M. Bigotte.

Implémentation des algèbres de lie en maple.

Technical report, mémoire de DEA, Université de Lille I, 1995.

[3]       M. Bigotte.

Implémentation des algèbres de lie en maple (suite et corrections).

Technical report, second mémoire de DEA, Université de Lille I, 1996.

[4]       M. Bigotte, G. Jacob, N. E. Oussous, and M. Petitot.

Coloured Multiple Zeta Values Relations Table.

In Proc. of IMACS ACA'99, Madrid (Spain), June 24-27 1999.

[5]       M. Bigotte, G. Jacob, N. E. Oussous, and M. Petitot.

Lyndon words and shuffle algebras to generate the coloured multiple zeta values relations tables.

In Proc. of WORDS-99, Rouen (France), September 20-25 1999.

[6]       M. Bigotte, G. Jacob, N. E. Oussous, and M. Petitot.

Generating Power Series of Coloured Polylogarithm Functions and Drinfel'd Associator.

In Proc. of ASCM'2000, Chiang Mai (Thailand), December 17-21 2000.

[7]       M. Bigotte and N. E. Oussous.

Algèbre non commutative et algèbre de lie libre en Maple.

In RCWA 96 Proceedings PR 801/96, pages 24.1-24.24. Institut de recherche franco-allemand de Saint Louis, 1996.

[8]       M. Bigotte, N. E. Oussous, and G. Jacob.

Opérateur différentiel sur les séries formelles.

Technical Report IT-308, Université de Lille I, octobre 1997.

[9]       M. Bigotte, N. E. Oussous, and G. Jacob.

Quasi-polynômes et filtration différentielle.

Ann. Sci. Math. Québec, 23(2):139-146, 1999.

[10]     M. Bigotte, N. E. Oussous, and M. petitot.

Tables des relations des fonctions zéta colorées.

Technical Report IT-322, Université de Lille I, november 1998.

[11]     M. Bigotte, G. Jacob, N. E. Oussous, and M. Petitot.

Lyndon words and shuffle algebras to generate the coloured multiple zeta values relations tables.

To appear in Theor. Comp. Sci., 2001.

[12]     F. Boulier.

Etude et implantation de quelques algorithmes en algèbre différentielle.

Thèse de Doctorat, Université Lille I, 59655 Villeneuve-d'Ascq, jun 1994.

[13]     F. Boulier, D. Lazard, F. Ollivier, and M. Petitot.

Representation for the radical of a finitely generated differential ideal.

In proc. ISSAC'95, pages 158-166, Montréal, Canada, 1995.

[14]     F. Boulier and M. Petitot.

Complete computation of the relations for implicit dynamical systems.

In M. Guglielmi, editor, proc. IFAC'95 System structure and control, pages 635-639, LAN, 1 Rue de la Noë, 44072 Nantes Cedex 3, France, 1995.

[15]     F. Boulier and M. Petitot.

Using differential algebra in control theory.

In P. Borne, editor, in proc. CESA'96 EMACS Multiconference (late paper), pages 1-4, Lille, France, July 1996.

[16]     F. Boussemart.

La simulation graphique interactive des systèmes dynamiques non linéaires : conception et réalisation en Scratchpad.

Thèse de doctorat, Université Lille I, 24 Janvier (date prévue) 1992.

[17]     A. Chelouah and M. Petitot.

Finitly discretizable nonlinear systems: Concepts and definitions.

In 34th IEEE Conference on decision and control, pages 19-24, New-Orleans, Louisiana, USA, Dec. 1995.

[18]     O. Didrit, M. Petitot, and E. Walter.

Guaranteed solution of direct kinematic problem for stewart platforms.

submited.

[19]     O. Didrit, M. Petitot, and E. Walter.

Guaranteed numerical solution of sets on nonlinear equations by Hansen's algorithm, implementation and applications.

In Posso Workshop on Software, Paris, France, Feb 1995.

[20]     C. Guyon.

Motion planning problem : Parametrized inputs and drift problem.

In G. Jacob, N. E. Oussous, and S. Steinberg, editors, IMACS Symposium SC93, Lille, France, June 1993.

[21]     C. Guyon.

Calcul symbolique pour la planification de trajectoire des systèmes dynamiques nilpotents.

Thèse de doctorat, Université Lille 1, 7 Décembre 1995.

[22]     C. Guyon.

Systèmes nilpotents et commande polynomiale exacte.

Publication interne : IT-278, Université Lille 1, Mars 1995.

[23]     C. Guyon and M. Petitot.

Flatness and nilpotency.

In A. Isidori, editor, proc ECC95, 3rd European Control Conference, pages 655-658, Roma, Italy, Sept 1995.

[24]     C. Hespel.

Approximation des séries formelles par des séries rationnelles.

RAIRO, Inform. Théor., 18(3):241-258, 1984.

[25]     C. Hespel.

Approximation of nonlinear dynamic systems by rational series.

In G. Jacob and C. Reutenauer, editors, In Algebraic and Computing Treatment of Noncommutative power Series, 1990.

[26]     C. Hespel and G. Jacob.

Approximation of nonlinear systems by bilinear ones.

In Proc. of Algebraic and Geometric Methods in Nonlinear Control Theory, pages 511-520, 1986.

[27]     C. Hespel and G. Jacob.

Calcul des approximations locales bilinéaires de systèmes analytiques.

APII, 23:331-349, 1989.

[28]     C. Hespel and G. Jacob.

Approximation of nonlinear dynamic systems by rational series.

Theoret. Comput. Sci., 79:151-162, 1991.

[29]     M. Hoang Ngoc.

Polylogarithms & evaluation transform.

In "IMACS Symposium", Lille, June 1993.

[30]     M. Hoang Ngoc.

Fonction Génératrice Polylogarithmique d'Ordre n et de Paramètre t.

In FPSAC'95, Marne-la-Vallée, Juin 1995.

[31]     M. Hoang Ngoc.

Intégration symbolique des équations différentielles linéaires.

In FPSAC'96, Minneapolis, June 1996.

[32]     M. Hoang Ngoc.

Summations of polylogarithms via evaluation transform.

Mathematics and Computers in Simulation, 42(4-6):707-728, 1996.

[33]     M. Hoang Ngoc.

Fonction Dirichlet d'ordre n et de paramètre t.

Discrete Mathematics, 180, pp 221-241, 1998.

[34]     M. Hoang Ngoc, G. Jacob, and N. E. Oussous.

Comportement Entrée/Sortie des Systèmes Analytiques Non Linéaires : approximations rationnelles, approximations structurelles nilpotentes.

In Colloque International sur l'Analyse des Systèmes Dynamiques Contrôlés, Juillet 1990.

[35[     M. Hoang Ngoc, G. Jacob, and N. E. Oussous.

Input/Output behaviour of nonlinear analytic systems: rational approximations, nilpotent structural approximations.

In B. Bonnard, B. Birde, J. P. Gauthier, and I. Kupka, editors, Analysis of controlled dynamical systems, pages 253-262, 1991.

[36]     M. Hoang Ngoc and M. Petitot.

Mots de lyndon : générateurs de relations entre les polylogarithmes de Nielsen.

In Proc. of FPSAC'97, 9-th international Conference on Formal Power Series and Algebraic Combinatorics, pages 418-429, Vienne, Juillet 1997.

[37]     M. Hoang Ngoc and M. Petitot.

Lyndon words, Polylogarithms and Riemann function.

Discrete Mathematics, 217, pp. 273-292, 2000.

[38]     M. Hoang Ngoc, M. Petitot, and J. Van Der Hoeven.

Computation of the monodromy of generalized polylogarithms.

In Proc. of ISSAC'98, International Symposium on Symbolic and Algebraic Computation, Rostock, August 1998.

[39]     M. Hoang Ngoc, M. Petitot, and J. Van Der Hoeven.

Shuffle algebra and polylogarithms.

In Proc. of FPSAC'98, 10-th international Conference on Formal Power Series and Algebraic Combinatorics, Toronto, Juin 1998.

[40]     M. Hoang Ngoc, M. Petitot, and J. Van Der Hoeven.

L'algèbre des polylogarithmes par les séries génératrices.

In Proc. of SFCA'99, Séries Formelles et Combinatoire Algèbrique, Barcelone, Juin 1999.

[41]     V. Hoang Ngoc Minh.

Evaluation transform.

In G. Jacob and C. Reutenauer, editors, To appear in Algebraic and Computing Treatment of Noncommutative power Series, Theoret. Comput. Sci., 1990.

[42]     V. Hoang Ngoc Minh and G. Jacob.

Evaluation transform and its implementation in Macsyma.

In New Trends in Systems Theory, Genoa, Italy, July 1990.

[43]     V. Hoang Ngoc Minh and G. Jacob.

Evaluation transform and symbolic calculus for nonlinear control systems.

In Ninth international conference analysis and optimization of systems, Antibes, France, June 1990.

[44]     G. Jacob.

Lyndon discretization and exact motion planning.

In Proc. of ECC'91, pages 1507-1512, 1991.

[45]     G. Jacob.

Motion planning by piecewise constant or polynomial inputs.

In IFAC Symposium on Nonlinear Control Systems Design (NOLCOS), pages 628-633, 1992.

[46]     G. Jacob.

Algebraic computation tools and the dynamic motion planning problem.

In Proc. of ECC'93, pages 1919-1924, Groningen, The Netherlands, June 1993.

[47]     G. Jacob and N. Oussous.

Sur un résultat de Ree : séries de Lie et algèbres de mélange.

Publication du LIFL IT-103, Université Lille I, 1987.

[48]     G. Jacob and N. E. Oussous.

Local and Minimal Realization of Nonlinear Dynamical Systems and Lyndon Words.

In A. Isidori, editor, Proc. of the IFAC Symposium, Nonlinear Control Systems Design, pages 100-105, Capri, Italy, June 14-16 1989. Pergamon Press.

[49]     G. Jacob and N. E. Oussous.

Mots de Lyndon et bases associées : traitement en Macsyma.

In V. Bruyere, editor, Journées Montoises : ``Théories des automates et applications'', Mons, Belgique, Septembre 1990.

[50]     G. Jacob, N. E. Oussous, and M. Petitot.

The Scratchpad implementation of the minimal analytic realization.

In A. El Moudni, P. Borne, and S. Tzafestas, editors, IMACS - IFAC Symposium: Modelling and Control of Technological Systems, pages 643-649, 1991.

[51]     H. Mounier, J. Rudolph, M. Petitot, and M. Fliess.

A flexible rod as a linear delay system.

In A. Isidori, editor, 3rd European Control Conference, ECC'95, pages 3676-3681, Roma, Italy, Sept 1995.

[52]     N. Oussous.

Etude et traitement des séries formelles non commutatives, pour la représentation minimale des systèmes dynamiques non linéaires.

Thèse de doctorat, Université Lille I, 14 Décembre 1988.

[53]     N. E. Oussous.

Mots de lyndon et macsyma.

In M. Mignotte, editor, CALSYF ``revue du GRECO de Calcul Formel, 7:283-289, 1988.

[54]     N. E. Oussous.

Computation, on Macsyma, of the minimal differential representation of noncommutative polynomials.

Theoret. Comput. Sci., 79(1):241-256, Feb. 1991.

[55]     N. E. Oussous.

Macsyma Computation of Local Minimal Realization of Dynamical Systems of which Generating Power Series are Finite.

J. Symbolic Computation, 12:115-126, 1991.

[56]     N. E. Oussous and M. Petitot.

Xtaylor : un algorithme pour les polynômes non commutatifs.

Technical report, Université de Lille I, 1990.

[57]     N. E. Oussous and M. Petitot.

Polynômes non commutatifs : représentation et traitement par les systèmes de calcul formel.

In G. Delest, M. Jacob and P. Leroux, editors, Séries formelles et combinatoire algébrique, pages 349-368, 1991.

[58]     N. E. Oussous and M. Petitot.

Scratchpad implementation of the local minimal realization of dynamical systems.

In G. Jacob and F. Lamnabhi-Lagarrigue, editors, Algebraic computing in control, number 165 in Lecture Notes in Control and Information Sciences, pages 60-75, Paris, France, March 1991. Springer-Verlag.

[59]     N. E. Oussous and M. Petitot.

Software engineering and computer algebra applied to nonlinear control.

In A. El Moudni, P. Borne, and S. Tzafestas, editors, IMACS - IFAC Symposium: Modelling and Control of Technological Systems, pages 643-649, 1991.

[60]     N. E. Oussous and M. Petitot.

The motion planning with Lie algebra (combinatoric tools).

In Proc. of ECC'93, pages 2103-2106, Groningen, The Netherlands, June 1993.

[61]     N. E. Oussous and M. Petitot.

Computer algebra for the motion-planning problem.

In U. Helmke, R. Mennicken, and J. Saurer, editors, Systems and Networks: Mathematical Theory and Applications (MTNS'93, Volume II), volume 79 of Mathematical Research, pages 401-404. Akademie Verlag GmbH, 220 East 23rd Street, New York. NY 10010-4606, 1994.

[62]     M. Petitot.

Algèbre non commutative en Scratchpad. Application au problème de la réalisation minimale analytique.

Thèse de Doctorat, Université Lille I, Janvier 1992.

[63]     C. Raczy.

Commandes optimales en temps pour des systèmes différentiellement plats.

Thèse de Doctorat, Université Lille I, Mars 1997.

[64]     C. Raczy, G. Jacob, N. E. Oussous, and M. Petitot.

Étude du guidage d'un satellite pour des rendez-vous en attitude, vitesse et accélération, afin de réaliser des prises de vue.

Technical report, Contrat N 873/93/CNES/0786, LIFL-CNES, Mars 1994.

[65]     C. Raczy, G. Jacob, N. E. Oussous, and M. Petitot.

Positionnement en attitude par calcul d'une trajectoire exacte.

Technical report, Contrat N xxx/94/CNES/xxxx, LIFL-CNES, Novembre 1995.

[66]     C. Raczy, G. Jacob, N. E. Oussous, and M. Petitot.

Rapports dans le cadre du Système pour l'observation de la terre (Hélios II).

Technical report, LIFL - CNES, Sept 1995.