Source author record

François Ollivier

François Ollivier appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

9works
11topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

9 published item(s)

preprint2022arXiv

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

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.

preprint2022arXiv

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

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.

preprint2020arXiv

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

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.

preprint2016arXiv

A robust and passive method for geometric calibration of large arrays

This paper presents a complete strategy for the geometry estimation of large microphone arrays of arbitrary shape. Largeness is intended here in both number of microphones (hundreds) and size (few meters). Such arrays can be used for various applications in open or confined spaces like acoustical imaging, source identification, or speech processing. For so large array systems,measuring the geometry by hand is impractical. Therefore a blind passive method is proposed. It is based on the analysis of the background acoustic noise, supposed to be a diffuse field. The proposed strategy is a two-step process. First the pairwise microphone distances are identified by matching their measured coherence function to the one predicted by the diffuse field theory. Second, a robust multidimensional scaling(MDS) algorithm is adapted and implemented. It takes advantage of local characteristics to reduce the set of distances and infer the geometry of the array. This work is an extension of previous studies, and it overcomes unsolved drawbacks. In particular it deals efficiently with the outliers known to ruin standard MDS algorithms. Experimental proofs of this ability are presented by treating the case of two arrays. They show that the proposed improvements manage large spatial arrays.

preprint2016arXiv

Design and implementation of a multi-octave-band audio camera for realtime diagnosis

Noise pollution investigation takes advantage of two common methods of diagnosis: measurement using a Sound Level Meter and acoustical imaging. The former enables a detailed analysis of the surrounding noise spectrum whereas the latter is rather used for source localization. Both approaches complete each other, and merging them into a unique system, working in realtime, would offer new possibilities of dynamic diagnosis. This paper describes the design of a complete system for this purpose: imaging in realtime the acoustic field at different octave bands, with a convenient device. The acoustic field is sampled in time and space using an array of MEMS microphones. This recent technology enables a compact and fully digital design of the system. However, performing realtime imaging with resource-intensive algorithm on a large amount of measured data confronts with a technical challenge. This is overcome by executing the whole process on a Graphic Processing Unit, which has recently become an attractive device for parallel computing.

preprint2012arXiv

Nearfield Acoustic Holography using sparsity and compressive sampling principles

Regularization of the inverse problem is a complex issue when using Near-field Acoustic Holography (NAH) techniques to identify the vibrating sources. This paper shows that, for convex homogeneous plates with arbitrary boundary conditions, new regularization schemes can be developed, based on the sparsity of the normal velocity of the plate in a well-designed basis, i.e. the possibility to approximate it as a weighted sum of few elementary basis functions. In particular, these new techniques can handle discontinuities of the velocity field at the boundaries, which can be problematic with standard techniques. This comes at the cost of a higher computational complexity to solve the associated optimization problem, though it remains easily tractable with out-of-the-box software. Furthermore, this sparsity framework allows us to take advantage of the concept of Compressive Sampling: under some conditions on the sampling process (here, the design of a random array, which can be numerically and experimentally validated), it is possible to reconstruct the sparse signals with significantly less measurements (i.e., microphones) than classically required. After introducing the different concepts, this paper presents numerical and experimental results of NAH with two plate geometries, and compares the advantages and limitations of these sparsity-based techniques over standard Tikhonov regularization.

preprint2010arXiv

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

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.

preprint2010arXiv

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

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.

preprint2007arXiv

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

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})$.