François Ollivier

34
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

13
10
4
3
2
1
1
8
5
4
4
3
3
3
3
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
1
1
1
1
1
1
5
4
3
3
3
3
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
4
1
1
1
1
1
1
2
1
2
4
1
1
1
3
2
1
3
2
1
1
1
1
1
1
1
3
1
4
26
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

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

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 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

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

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