-
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.
-
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.
-
Extending Flat Motion Planning to Non-flat Systems. Experiments on Aircraft Models Using Maple
Authors:
François Ollivier
Abstract:
Aircraft models may be considered as flat if one neglects some terms associated to aerodynamics. Computational experiments in Maple show that in some cases a suitably designed feed-back allows to follow such trajectories, when applied to the non-flat model. However some maneuvers may be hard or even impossible to achieve with this flat approximation. In this paper, we propose an iterated process t…
▽ More
Aircraft models may be considered as flat if one neglects some terms associated to aerodynamics. Computational experiments in Maple show that in some cases a suitably designed feed-back allows to follow such trajectories, when applied to the non-flat model. However some maneuvers may be hard or even impossible to achieve with this flat approximation. In this paper, we propose an iterated process to compute a more achievable trajectory, starting from the flat reference trajectory. More precisely, the unknown neglected terms in the flat model are iteratively re-evaluated using the values obtained at the previous step. This process may be interpreted as a new trajectory parametrization, using an infinite number of derivatives, a property that may be called \emph{generalized flatness}. We illustrate the pertinence of this approach in flight conditions of increasing difficulties, from single engine flight, to aileron roll.
△ Less
Submitted 12 May, 2022; v1 submitted 20 February, 2022;
originally announced February 2022.
-
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.
-
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.
-
Automatic differentiation of hybrid models Illustrated by Diffedge Graphic Methodology. (Survey)
Authors:
John Masse,
Clara Masse,
François Ollivier
Abstract:
We investigate the automatic differentiation of hybrid models, viz. models that may contain delays, logical tests and discontinuities or loops. We consider differentiation with respect to parameters, initial conditions or the time. We emphasize the case of a small number of derivations and iterated differentiations are mostly treated with a foccus on high order iterations of the same derivation. T…
▽ More
We investigate the automatic differentiation of hybrid models, viz. models that may contain delays, logical tests and discontinuities or loops. We consider differentiation with respect to parameters, initial conditions or the time. We emphasize the case of a small number of derivations and iterated differentiations are mostly treated with a foccus on high order iterations of the same derivation. The models we consider may involve arithmetic operations, elementary functions, logical tests but also more elaborate components such as delays, integrators, equations and differential equations solvers. This survey has no pretention to exhaustivity but tries to fil a gap in the litterature where each kind of of component may be documented, but seldom their common use.
The general approach is illustrated by computer algebra experiments, stressing the interest of performing differentiation, whenever possible, on high level objects, before any translation in Fortran or C code. We include ordinary differential systems with discontinuity, with a special interest for those comming from discontinuous Lagrangians.
We conclude with an overview of the graphic methodology developped in the Diffedge software for Simulink hybrid models. Not all possibilities are covered, but the methodology can be adapted. The result of automatic differentiation is a new block diagram and so it can be easily translated to produce real time embedded programs.
We welcome any comments or suggestions of references that we may have missed.
△ Less
Submitted 12 June, 2017;
originally announced June 2017.
-
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.
-
Fast computation of power series solutions of systems of differential equations
Authors:
Alin Bostan,
Frédéric Chyzak,
François Ollivier,
Bruno Salvy,
Éric Schost,
Alexandre Sedoglavic
Abstract:
We propose new algorithms for the computation of the first N terms of a vector (resp. a basis) of power series solutions of a linear system of differential equations at an ordinary point, using a number of arithmetic operations which is quasi-linear with respect to N. Similar results are also given in the non-linear case. This extends previous results obtained by Brent and Kung for scalar differ…
▽ More
We propose new algorithms for the computation of the first N terms of a vector (resp. a basis) of power series solutions of a linear system of differential equations at an ordinary point, using a number of arithmetic operations which is quasi-linear with respect to N. Similar results are also given in the non-linear case. This extends previous results obtained by Brent and Kung for scalar differential equations of order one and two.
△ Less
Submitted 25 April, 2006;
originally announced April 2006.