François Ollivier

40
Documents
Affiliation actuelle
  • Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX)
Contact

Présentation

Mon travail s'effectue dans le domaine du calcul symbolique et concerne plus particulièrement l'algèbre différentielle effective et ses application en automatique.

Domaines de recherche

Calcul formel [cs.SC]

Publications

16
13
4
3
2
1
1
11
7
5
5
5
4
4
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
5
4
3
3
3
3
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
4
2
2
1
1
1
1
1
2
1
2
4
1
1
1
3
2
1
3
2
1
1
1
1
1
1
2
1
2
1
1
3
1
4
32
4
3
1

Publications

Deposit thumbnail

Flat singularities of chained systems, illustrated with an aircraft model

Yirmeyahu Kaminski , François Ollivier

computational and applied mathematics, 2024, 43 (3), pp.135. ⟨10.1007/s40314-024-02605-w⟩

Article dans une revue hal-03680676v6
Deposit thumbnail

Une généralization du critère de Boulier – Buchberger pour le calcul des ensembles caractéristiques d’idéaux différentiels

Amir Hashemi , François Ollivier

Comptes Rendus. Mathématique, 2022, 360, pp.255-264

Article dans une revue hal-03277968v3
Deposit thumbnail

A simple and constructive proof to a generalization of Lüroth's theorem

François Ollivier , Brahim Sadik

Turkish Journal of Mathematics, 2022, 46 (4), pp.1291-1293. ⟨10.55730/1300-0098.3158⟩

Article dans une revue hal-03542508v2
Deposit thumbnail

Jacobi's Bound

François Ollivier

Applicable Algebra in Engineering, Communication and Computing, In press, Special issue: Perspectives on elimination, 34 (5), pp.793-885. ⟨10.1007/s00200-022-00547-6⟩

Article dans une revue hal-01363020v5
Deposit thumbnail

On Singularities of Flat Affine Systems With n States and n − 1 Controls

Yirmeyahu J Kaminski , Jean Lévine , François Ollivier

International Journal of Robust and Nonlinear Control, 2020, 30 (9), pp.3547-3565. ⟨10.1002/rnc.4943⟩

Article dans une revue hal-02045321v3
Deposit thumbnail

Intrinsic and apparent singularities in differentially flat systems, and application to global motion planning

Yirmeyahu J Kaminski , Jean Lévine , François Ollivier

Systems and Control Letters, 2018, 113, pp.117 - 124. ⟨10.1016/j.sysconle.2018.01.013⟩

Article dans une revue hal-01781975v1

A Geometric Index Reduction Method for Implicit Systems of Differential Algebraic Equations

Lisi d'Alfonso , Gabriella Jeronimo , François Ollivier , Alexandre Sedoglavic , Pablo Solernó

Journal of Symbolic Computation, 2011, 46 (10), pp.1114-1138. ⟨10.1016/j.jsc.2011.05.012⟩

Article dans une revue hal-00512704v1
Deposit thumbnail

The reduction to normal form of a non-normal system of differential equations. De aequationum differentialium systemate non normali ad formam normalem revocando

Carl Gustav Jacob Jacques Simon Jacobi , François Ollivier

Applicable Algebra in Engineering, Communication and Computing, 2009, 20 (1), pp.33-64. ⟨10.1007/s00200-009-0088-2⟩

Article dans une revue istex hal-00821064v1
Deposit thumbnail

Looking for the order of a system of arbitrary ordinary differential equations. De investigando ordine systematis aequationum differentialium vulgarium cujuscunque

Carl Gustav Jacob Jacques Simon Jacobi , François Ollivier

Applicable Algebra in Engineering, Communication and Computing, 2009, 20 (1), pp.7-32. ⟨10.1007/s00200-009-0087-3⟩

Article dans une revue istex hal-00820908v1
Deposit thumbnail

Computing representations for radicals of finitely generated differential ideals

François Boulier , Daniel Lazard , François Ollivier , Michel Petitot

Applicable Algebra in Engineering, Communication and Computing, 2009, 20 (1), pp.73-121. ⟨10.1007/s00200-009-0091-7⟩

Article dans une revue hal-00820902v1
Deposit thumbnail

Une réponse négative au problème de Noether différentiel

François Ollivier

Comptes Rendus de l'Académie des Sciences - Series I - Mathematics, 1999, 328 (2), pp.99-104. ⟨10.1016/S0764-4442(99)80145-1⟩

Article dans une revue hal-05581939v1
Deposit thumbnail

Une réponse négative au problème de Lüroth différentiel en dimension 2

François Ollivier

Comptes Rendus de l'Académie des Sciences - Series I - Mathematics, 1998, 327 (10), pp.881-886. ⟨10.1016/S0764-4442(99)80037-8⟩

Article dans une revue hal-05581901v1
Deposit thumbnail

A remark on nonlinear accessibility conditions and infinite prolongations

Michel Fliess , Jean Lévine , Philippe Martin , François Ollivier , Pierre Rouchon

Systems and Control Letters, 1997, 31 (2), pp.77-83. ⟨10.1016/S0167-6911(97)00028-5⟩

Article dans une revue hal-05564427v1
Deposit thumbnail

Extending Flat Motion Planning to Non-flat Systems. Experiments on Aircraft Models Using Maple

François Ollivier

International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2022, Villeneuve d'Ascq, France. pp.499-507

Communication dans un congrès hal-03581862v3
Deposit thumbnail

Fast computation of power series solutions of systems of differential equations

Alin Bostan , Frédéric Chyzak , François Ollivier , Bruno Salvy , Éric Schost et al.

2007 ACM-SIAM Symposium on Discrete Algorithms, ACM-SIAM, Jan 2007, New Orleans, Louisiana, United States. pp.1012-1021

Communication dans un congrès inria-00001264v1
Deposit thumbnail

Standard bases of differential ideals

François Ollivier

Applied algebra, algebraic algorithms, and error-correcting codes, Aug 1990, Tokyo, Japan. pp.304-321, ⟨10.1007/3-540-54195-0_60⟩

Communication dans un congrès hal-05518671v1

Platitude différentielle de l'équation de la chaleur bidimensionnelle

Alexandre Sedoglavic , Francois Ollivier , Michel Fliess , Nader Belghith

Journées Doctorales d'Automatique 2003, Jun 2003, Valencienne, France. pp.S3

Communication dans un congrès hal-00218320v1
Deposit thumbnail

Algorithmes efficaces pour tester l'identifiabilité locale

Francois Ollivier , Alexandre Sedoglavic

Conférence Internationale Francophone d'Automatique, Jul 2002, Nantes, France. pp.811-816

Communication dans un congrès hal-00218318v1
Deposit thumbnail

A generalization of flatness to nonlinear systems of partial differential equations. Application to the command of a flexible rod

Francois Ollivier , Alexandre Sedoglavic

Nonlinear Control Systems 2001, Jul 2001, St Petersbourg Russie

Communication dans un congrès inria-00126994v1
Deposit thumbnail

Identifiabilité et identification : du Calcul Formel au Calcul Numérique ?

François Ollivier

Journées du Programme de Recherche Automatique, Biologie et Santé : modélisation et commande de régulations biologiques, Daniel Claude, May 1999, Paris IHP, France. pp.93-99, ⟨10.1051/proc:2000019⟩

Communication dans un congrès hal-05584222v1
Deposit thumbnail

On nonlinear controllability, infinite jets and prolongations

Michel Fliess , Jean Levine , Philippe Martin , François Ollivier , Pierre Rouchon

1997 European Control Conference (ECC), Belgian Interuniversity Attraction Pole n°2; Center for Systems Engineering and Applied Mechanics (CESAME), Jul 1997, Brussels, Belgium. pp.2716-2721, ⟨10.23919/ECC.1997.7082519⟩

Communication dans un congrès hal-05581610v1
Deposit thumbnail

Representation for the radical of a finitely generated differential ideal

François Boulier , Daniel Lazard , François Ollivier , Michel Petitot

international symposium on Symbolic and algebraic computation 1995, Jul 1995, France. pp.158-166, ⟨10.1145/220346.220367⟩

Communication dans un congrès hal-00138020v2
Deposit thumbnail

Some theoretical problems in effective differential algebra and their relation to control theory

François Ollivier

Nonlinear Control Systems Design Symposium, NOLCOS’92, International Federation of Automatic Control, Jun 1992, Bordeaux (France), France. pp.301-308

Communication dans un congrès hal-05575642v1
Deposit thumbnail

Generalized standard bases with application to control

François Ollivier

First European Control Conference, Jul 1991, Grenoble, France. pp.170-176

Communication dans un congrès hal-05519138v1
Deposit thumbnail

Some constructions in rings of differential polynomials

Giovanni Gallo , Bhubaneswar Mishra , François Ollivier

International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, Oct 1991, La Nouvelle Orléans, LA, United States. pp.171-182, ⟨10.1007/3-540-54522-0_106⟩

Communication dans un congrès hal-05520348v1
Deposit thumbnail

Inversibility of rational mappings and structural identifiability in automatics

François Ollivier

ISSAC '89: ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, Jul 1989, Portland, United States. pp.43-54, ⟨10.1145/74540.74547⟩

Communication dans un congrès hal-05514378v1
Deposit thumbnail

Defining and Testing Identifiability, Illustrated by a HIV model

H V J Le Meur , François Ollivier

4th Workshop on Virus Dynamics, Oct 2019, Paris, France. 2019

Poster de conférence hal-02415749v1
Deposit thumbnail

Flat difference systems

François Ollivier

Effective Methods in Algebraic Geometry MEGA 2011, May 2011, Stockholm, Sweden

Poster de conférence hal-05482598v1
Deposit thumbnail

A non-algebraic differential Galois theory and flat systems

François Ollivier

Algebraic Methods in Dynamical Systems, May 2010, Będlewo, Poland

Poster de conférence hal-05462415v1
Deposit thumbnail

Canonical Bases: Relations with Standard Bases, Finiteness Conditions and Application to Tame Automorphisms

François Ollivier

Mora, Teo; Traverso, Carlo. Effective Methods in Algebraic Geometry, Progress in Mathematics (94), Birkhäuser Boston, pp.379-400, 1991, ⟨10.1007/978-1-4612-0441-1_25⟩

Chapitre d'ouvrage hal-05518615v1