Showing 1–12 of 12 results for author: Ollivier, F

Bézout identities and control of the heat equation

Authors: François Ollivier

Abstract: Computing analytic Bézout identities remains a difficult task, which has many applications in control theory. Flat PDE systems have cast a new light on this problem. We consider here a simple case of special interest: a rod of length $a+b$, insulated at both ends and heated at point $x=a$. The case $a=0$ is classical, the temperature of the other end $θ(b,t)$ being then a flat output, with paramet… ▽ More Computing analytic Bézout identities remains a difficult task, which has many applications in control theory. Flat PDE systems have cast a new light on this problem. We consider here a simple case of special interest: a rod of length $a+b$, insulated at both ends and heated at point $x=a$. The case $a=0$ is classical, the temperature of the other end $θ(b,t)$ being then a flat output, with parametrization $θ(x,t)=\cosh((b-x)(\partial/\partial t)^{1/2}θ(b,t)$. When $a$ and $b$ are integers, with $a$ odd and $b$ even, the system is flat and the flat output is obtained from the Bézout identity $f(x)\cosh(ax)+g(x)\cosh(bx)=1$, the omputation of which boils down to a Bézout identity of Chebyshev polynomials. But this form is not the most efficient and a smaller expression $f(x)=\sum_{k=1}^{n} c_{k}\cosh(kx)$ may be computed in linear time. These results are compared with an approximations by a finite system, using a classical discretization. We provide experimental computations, approximating a non rational value $r$ by a sequence of fractions $b/a$, showing that the power series for the Bézout relation seems to converge. △ Less

Submitted 16 May, 2023; originally announced May 2023.

Comments: 24 pages, 5 figures

MSC Class: 68W30; 35Q97; 30D20 ACM Class: G.1.8

Flat singularities of chained systems, illustrated with an aircraft model

Authors: Yirmeyahu J. Kaminski, François Ollivier

Abstract: We consider flat differential control systems for which there exist flat outputs that are part of the state variables and study them using Jacobi bound. We introduce a notion of saddle Jacobi bound for an ordinary differential system of $n$ equations in $n+m$ variables. Systems with saddle Jacobi number equal to $0$ generalize various notions of chained and diagonal systems and form the widest cla… ▽ More We consider flat differential control systems for which there exist flat outputs that are part of the state variables and study them using Jacobi bound. We introduce a notion of saddle Jacobi bound for an ordinary differential system of $n$ equations in $n+m$ variables. Systems with saddle Jacobi number equal to $0$ generalize various notions of chained and diagonal systems and form the widest class of systems admitting subsets of state variables as flat output, for which flat parametrization may be computed without differentiating the initial equations. We investigate apparent and intrinsic flat singularities of such systems. As an illustration, we consider the case of a simplified aircraft model, providing new flat outputs and showing that it is flat at all points except possibly in stalling conditions. Finally, we present numerical simulations showing that a feedback using those flat outputs is robust to perturbations and can also compensate model errors, when using a more realistic aerodynamic model. △ Less

Submitted 27 March, 2024; v1 submitted 29 May, 2022; originally announced May 2022.

Comments: 41 pages, 8 figures

MSC Class: 93-08 (primary); 68W30 (secondary) ACM Class: I.6.3; I.1.0

Journal ref: Comp. Appl. Math. 43, 135 (2024)

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

Authors: François Ollivier, Brahim Sadik

Abstract: A generalization of L{ü}roth's theorem expresses that every transcendence degree 1 subfield of the rational function field is a simple extension. In this note we show that a classical proof of this theorem also holds to prove this generalization. A generalization of L{ü}roth's theorem expresses that every transcendence degree 1 subfield of the rational function field is a simple extension. In this note we show that a classical proof of this theorem also holds to prove this generalization. △ Less

Submitted 22 September, 2022; v1 submitted 25 January, 2022; originally announced January 2022.

Comments: 5 pages

MSC Class: 12F20; 68W30; 12-08; 14Q05 ACM Class: I.1

Journal ref: Turkish Journal of Mathematics: Vol. 46: No. 4, Article 11, 1291-1293 (2022)

Jacobi's Bound. Jacobi's results translated in K{Ö}nig's, Egerv{á}ry's and Ritt's mathematical languages

Authors: François Ollivier

Abstract: Jacobi's results on the computation of the order and of the normal forms of a differential system are translated in the formalism of differential algebra. In the quasi-regular case, we give complete proofs according to Jacobi's arguments. The main result is {\it Jacobi's bound}, still conjectural in the general case: the order of a differential system $P_{1}, \ldots, P_{n}$ is not greater than the… ▽ More Jacobi's results on the computation of the order and of the normal forms of a differential system are translated in the formalism of differential algebra. In the quasi-regular case, we give complete proofs according to Jacobi's arguments. The main result is {\it Jacobi's bound}, still conjectural in the general case: the order of a differential system $P_{1}, \ldots, P_{n}$ is not greater than the maximum $\cal O$ of the sums $\sum_{i=1}^{n} a_{i,σ(i)}$, for all permutations $σ$ of the indices, where $a_{i,j}:={\rm ord}_{x_{j}}P_{i}$, \emph{viz.}\ the \emph{tropical determinant of the matrix $(a_{i,j})$}. The order is precisely equal to $\cal O$ iff Jacobi's \emph{truncated determinant} does not vanish. Jacobi also gave a polynomial time algorithm to compute $\cal O$, similar to Kuhn's "Hungarian method" and some variants of shortest path algorithms, related to the computation of integers $\ell_{i}$ such that a normal form may be obtained, in the generic case, by differentiating $\ell_{i}$ times equation $P_{i}$. Fundamental results about changes of orderings and the various normal forms a system may have, including differential resolvents, are also provided. △ Less

Submitted 13 July, 2022; v1 submitted 7 September, 2021; originally announced September 2021.

Comments: 104 pages, 10 figures, index of words and names, index of notations

MSC Class: 12H05 (primary); 90C27 (secondary) ACM Class: I.1.2

Journal ref: Applicable Algebra in Engineering, Communication and Computing 34 (5), 793-885, September 2023

Une généralisation du critère de Boulier -- Buchberger pour le calcul des ensembles caractéristiques d'idéaux différentiels

Authors: Amir Hashemi, François Ollivier

Abstract: We generalize the analog of Buchberger's first criterion, stated by Boulier et al., for detecting useless S-polynomials reductions in the computation of characteristic sets of differential ideals. The original version assumes linear polynomials; this result is here extended to a product of linear differential polynomials depending of the same arbitrary differential polynomial. We generalize the analog of Buchberger's first criterion, stated by Boulier et al., for detecting useless S-polynomials reductions in the computation of characteristic sets of differential ideals. The original version assumes linear polynomials; this result is here extended to a product of linear differential polynomials depending of the same arbitrary differential polynomial. △ Less

Submitted 6 April, 2022; v1 submitted 5 July, 2021; originally announced July 2021.

Comments: 12 pages. In French. With an extended abstract in English

MSC Class: 12H05

Journal ref: Comptes Rendus Mathématique 360 (2022) 255-264

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

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

Abstract: We study the set of intrinsic singularities of flat affine systems with $n-1$ controls and $n$ states using the notion of Lie-Bäcklund atlas, previously introduced by the authors. For this purpose, we prove two easily computable sufficient conditions to construct flat outputs as a set of independent first integrals of distributions of vector fields, the first one in a generic case, namely in a nei… ▽ More We study the set of intrinsic singularities of flat affine systems with $n-1$ controls and $n$ states using the notion of Lie-Bäcklund atlas, previously introduced by the authors. For this purpose, we prove two easily computable sufficient conditions to construct flat outputs as a set of independent first integrals of distributions of vector fields, the first one in a generic case, namely in a neighborhood of a point where the $n-1$ control vector fields are independent, and the second one at a degenerate point where $p-1$ control vector fields are dependent of the $n-p$ others, with $p>1$. We show that the set of intrinsic singularities includes the set of points where the system does not satisfy the strong accessibility rank condition and is included in the set where the distribution of vector fields, introduced in the generic case, is singular. We conclude this analysis by three examples of apparent singularites of flat systems in generic and non generic degenerate cases. △ Less

Submitted 15 May, 2020; v1 submitted 21 February, 2019; originally announced February 2019.

Comments: 24 pages

MSC Class: 93B05

Journal ref: International Journal of Robust and Nonlinear Control, volume 30, Issue 9, p. 3547-3565, Wiley, 2020

Un sous-système d'un système plat de dimension différentielle 2 est plat. A subsystem of a flat system of differential dimension 2 is flat

Authors: François Ollivier, Brahim Sadik

Abstract: Un sous-système de dimension différentielle au plus 2 d'une extension plate est plate. Si un tel système plat est stationnaire, il admet des sorties plates indépendantes du temps. A subsystem of a flat system of differential dimension at most 2 is flat. Furthermore, if such a flat system is stationary, we show that there exist flat utputs not depending on the time. Un sous-système de dimension différentielle au plus 2 d'une extension plate est plate. Si un tel système plat est stationnaire, il admet des sorties plates indépendantes du temps. A subsystem of a flat system of differential dimension at most 2 is flat. Furthermore, if such a flat system is stationary, we show that there exist flat utputs not depending on the time. △ Less

Submitted 26 May, 2017; v1 submitted 1 February, 2017; originally announced February 2017.

Comments: 12 pages, in French. With an extended English abstract. A second version where the proof of the main theorem has been corrected using an extended new version of Rouchon's lemma

MSC Class: 34H05; 34A34; 34M15; 65L80; 68W30; 93B25

Intrinsic and Apparent Singularities in Flat Differential Systems

Authors: Y. J. Kaminski, J. Levine, F. Ollivier

Abstract: In this paper, we study the singularities of locally flat systems, motivated by the solution, if it exists, of the global motion planning problem for such systems, in the spirit of \cite{CE_14}. More precisely, flat outputs may be only locally defined because of the existence of points where they are singular (a notion that will be made clear later), thus preventing from planning trajectories cros… ▽ More In this paper, we study the singularities of locally flat systems, motivated by the solution, if it exists, of the global motion planning problem for such systems, in the spirit of \cite{CE_14}. More precisely, flat outputs may be only locally defined because of the existence of points where they are singular (a notion that will be made clear later), thus preventing from planning trajectories crossing these points. Such points are of different types. Some of them can be easily ruled out by considering another non singular flat output, defined on an open set intersecting the domain of the former one and well defined at the point in question. However, it might happen that no well-defined flat outputs exist at all at some points. We call these points \emph{intrinsic} singularities and the other ones \emph{apparent}. A rigorous defintion of these points is introduced in terms of atlas and charts in the framework of the differential geometry of jets of infinite order and Lie-Bäcklund isomorphisms (see \cite{FLMR_99,Levine-09}). We then give a criterion allowing to effectively compute intrinsic singularities. Finally, we show how our results apply to global motion planning of the well-known example of non holonomic car. △ Less

Submitted 14 May, 2018; v1 submitted 3 January, 2017; originally announced January 2017.

Journal ref: Systems & Control Letters, 113, pp. 117-124, 2018

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

Authors: Lisi D'Alfonso, Gabriella Jeronimo, François Ollivier, Alexandre Sedoglavic, Pablo Solernó

Abstract: This paper deals with the index reduction problem for the class of quasi-regular DAE systems. It is shown that any of these systems can be transformed to a generically equivalent first order DAE system consisting of a single purely algebraic (polynomial) equation plus an under-determined ODE (that is, a semi-explicit DAE system of differentiation index 1) in as many variables as the order of the i… ▽ More This paper deals with the index reduction problem for the class of quasi-regular DAE systems. It is shown that any of these systems can be transformed to a generically equivalent first order DAE system consisting of a single purely algebraic (polynomial) equation plus an under-determined ODE (that is, a semi-explicit DAE system of differentiation index 1) in as many variables as the order of the input system. This can be done by means of a Kronecker-type algorithm with bounded complexity. △ Less

Submitted 30 August, 2010; originally announced August 2010.

MSC Class: 12H05; 34A09; 68W30

Jacobi's bound and normal forms computations. A historical survey

Authors: François Ollivier

Abstract: Jacobi is one of the most famous mathematicians of his century. His name is attached to many results in various fields of mathematics and his complete works in seven volumes have been available since the end of the XIXth century and are very often quoted in many papers. It is then surprising that some of his results may have fallen into oblivion, at least in part. We will try to describe some of… ▽ More Jacobi is one of the most famous mathematicians of his century. His name is attached to many results in various fields of mathematics and his complete works in seven volumes have been available since the end of the XIXth century and are very often quoted in many papers. It is then surprising that some of his results may have fallen into oblivion, at least in part. We will try to describe some of Jacobi's results on ordinary differential equations and the available, published or unpublished material he left. We will then expose the selective interests of his followers and their own contributions. There are in fact many interrelated results: a bound on the order of a differential system, a necessary and sufficient condition, given by a determinant, for the bound to be reached, an algorithm to compute the bound in polynomial time, and processes for computing normal forms using as few derivatives as possible. We give for all of them the form under which they could have been proved or rediscovered, sometimes independently of Jacobi's findings. In conclusion, we give the state of the art and suggest some possible applications of Jacobi's bound to improve some algorithms in differential algebra. △ Less

Submitted 1 May, 2010; v1 submitted 13 November, 2009; originally announced November 2009.

Comments: 23 pages, submitted to DART II proceedings This new version includes new historical precisions in section 7 "The assignment problem" about the death of Egervary (note 17). Some typos and references were corrected

MSC Class: 34A34; 34-03; 01A55; 01A60

Une méthode d'identification pour un système linéaire à retards

Authors: François Ollivier, Saïd Moutaouakil, Brahim Sadik

Abstract: We provide a class of methods for the identification of a linear system with delay of the shape $x^{(n)}(t) = \sum_{i=0}^{n-1}a_{i}x^{(i)}(t) + bu(t-h)$. They allow the simultaneous identification of the parameters and delay, the observation of $x$ and its derivatives, knowing only generic input $u$ and output $x$. They are robust to the noise. Used in continuous time, they may follow the evolut… ▽ More We provide a class of methods for the identification of a linear system with delay of the shape $x^{(n)}(t) = \sum_{i=0}^{n-1}a_{i}x^{(i)}(t) + bu(t-h)$. They allow the simultaneous identification of the parameters and delay, the observation of $x$ and its derivatives, knowing only generic input $u$ and output $x$. They are robust to the noise. Used in continuous time, they may follow the evolution of slowly varying parameters and noise. The method may be generalized to systems with two or more delays, e.g. $x''(t)+ax(t-h_{1})=bu(t-h_{2})$. △ Less

Submitted 29 January, 2007; originally announced January 2007.

Comments: 8 pages, 10 figures, 3 tables, extended version of a note submitted to the CRAS de Paris

MSC Class: 93B30; 34K35

La borne de Jacobi pour une diffi{é}t{é} d{é}finie par un syst{è}me quasi r{é}gulier

Authors: François Ollivier, Brahim Sadik

Abstract: We show that Jacobi's bound for the order of a system of ordinary differential equations stands in the case of a diffiety defined by a quasi-regular system. We extend the result when there are less equations than variables and characterize the case when the bound is reached. We show that Jacobi's bound for the order of a system of ordinary differential equations stands in the case of a diffiety defined by a quasi-regular system. We extend the result when there are less equations than variables and characterize the case when the bound is reached. △ Less

Submitted 29 January, 2007; originally announced January 2007.

Comments: 6 pages, submitted to the CRAS de Paris

MSC Class: 34A34; 34A26; 58A20