-
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.
-
Multi-Secant Lemma
Authors:
Yirmeyahu J. Kaminski,
Alexei Kanel-Belov,
Mina Teicher
Abstract:
We present a new generalization of the classical trisecant lemma. Our approach is quite different from previous generalizations. Let $X$ be an equidimensional projective variety of dimension $d$. For a given $k \leq d + 1$, we are interested in the study of the variety of $k$-secants. The classical trisecant lemma just considers the case where $k = 3$ while elsewhere the case $k = d + 2$ is consid…
▽ More
We present a new generalization of the classical trisecant lemma. Our approach is quite different from previous generalizations. Let $X$ be an equidimensional projective variety of dimension $d$. For a given $k \leq d + 1$, we are interested in the study of the variety of $k$-secants. The classical trisecant lemma just considers the case where $k = 3$ while elsewhere the case $k = d + 2$ is considered. Secants of order from $4$ to $d + 1$ provide service for our main result. In this paper, we prove that if the variety of $k$-secants ($k \leq d + 1$) satisfies the three following conditions: (i) trough every point in $X$, passes at least one $k$-secant, (ii) the variety of $k$-secant satisfies a strong connectivity property that we defined in the sequel, (iii) every $k$-secant is also a ($k+1$)-secant, then the variety $X$ can be embedded into $P^{d+1}$. The new assumption, introduced here, that we called strong connectivity is essential because a naive generalization that does not incorporate this assumption fails as we show in some example. The paper concludes with some conjectures concerning the essence of the strong connectivity assumption.
△ Less
Submitted 11 January, 2020;
originally announced January 2020.
-
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.
-
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.
-
Equilibrium Locus of The Flow on Circular Networks of Cells
Authors:
Yirmeyahu J. Kaminski
Abstract:
We perform a geometric study of the equilibrium locus of the flow that models the diffusion process over a circular network of cells. We prove that when considering the set of all possible values of the parameters, the equilibrium locus is a smooth manifold with corners, while for a given value of the parameters, it is an embedded smooth and connected curve. For different values of the parameters,…
▽ More
We perform a geometric study of the equilibrium locus of the flow that models the diffusion process over a circular network of cells. We prove that when considering the set of all possible values of the parameters, the equilibrium locus is a smooth manifold with corners, while for a given value of the parameters, it is an embedded smooth and connected curve. For different values of the parameters, the curves are all isomorphic.
Moreover, we show how to build a homotopy between different curves obtained for different values of the parameter set. This procedure allows the efficient computation of the equilibrium point for each value of some first integral of the system. This point would have been otherwise difficult to be computed for higher dimensions. We illustrate this construction by some numerical experiments.
Eventually, we show that when considering the parameters as inputs, one can easily bring the system asymptotically to any equilibrium point in the reachable set, which we also easily characterize.
△ Less
Submitted 3 January, 2017; v1 submitted 25 September, 2015;
originally announced September 2015.
-
General Deformations of Point Configurations Viewed By a Pinhole Model Camera
Authors:
Yirmeyahu Kaminski,
Michael Werman
Abstract:
This paper is a theoretical study of the following Non-Rigid Structure from Motion problem. What can be computed from a monocular view of a parametrically deforming set of points? We treat various variations of this problem for affine and polynomial deformations with calibrated and uncalibrated cameras. We show that in general at least three images with quasi-identical two deformations are needed…
▽ More
This paper is a theoretical study of the following Non-Rigid Structure from Motion problem. What can be computed from a monocular view of a parametrically deforming set of points? We treat various variations of this problem for affine and polynomial deformations with calibrated and uncalibrated cameras. We show that in general at least three images with quasi-identical two deformations are needed in order to have a finite set of solutions of the points' structure and calculate some simple examples.
△ Less
Submitted 9 January, 2022; v1 submitted 29 May, 2015;
originally announced May 2015.
-
Trisecant Lemma for Non Equidimensional Varieties
Authors:
J. Y. Kaminski,
A. Kanel-Belov,
M. Teicher
Abstract:
The classic trisecant lemma states that if $X$ is an integral curve of $\PP^3$ then the variety of trisecants has dimension one, unless the curve is planar and has degree at least 3, in which case the variety of trisecants has dimension 2. In this paper, our purpose is first to present another derivation of this result and then to introduce a generalization to non-equidimensional varities. For t…
▽ More
The classic trisecant lemma states that if $X$ is an integral curve of $\PP^3$ then the variety of trisecants has dimension one, unless the curve is planar and has degree at least 3, in which case the variety of trisecants has dimension 2. In this paper, our purpose is first to present another derivation of this result and then to introduce a generalization to non-equidimensional varities. For the sake of clarity, we shall reformulate our first problem as follows. Let $Z$ be an equidimensional variety (maybe singular and/or reducible) of dimension $n$, other than a linear space, embedded into $\PP^r$, $r \geq n+1$. The variety of trisecant lines of $Z$, say $V_{1,3}(Z)$, has dimension strictly less than $2n$, unless $Z$ is included in a $(n+1)-$dimensional linear space and has degree at least 3, in which case $\dim(V_{1,3}(Z)) = 2n$. Then we inquire the more general case, where $Z$ is not required to be equidimensional. In that case, let $Z$ be a possibly singular variety of dimension $n$, that may be neither irreducible nor equidimensional, embedded into $\PP^r$, where $r \geq n+1$, and $Y$ a proper subvariety of dimension $k \geq 1$. Consider now $S$ being a component of maximal dimension of the closure of $\{l \in \G(1,r) \vtl \exists p \in Y, q_1, q_2 \in Z \backslash Y, q_1,q_2,p \in l\}$. We show that $S$ has dimension strictly less than $n+k$, unless the union of lines in $S$ has dimension $n+1$, in which case $dim(S) = n+k$. In the latter case, if the dimension of the space is stricly greater then $n+1$, the union of lines in $S$ cannot cover the whole space. This is the main result of our work. We also introduce some examples showing than our bound is strict.
△ Less
Submitted 22 December, 2007;
originally announced December 2007.
-
Three-Dimensional Face Orientation and Gaze Detection from a Single Image
Authors:
J. Y. Kaminski,
M. Teicher,
D. Knaan,
A. Shavit
Abstract:
Gaze detection and head orientation are an important part of many advanced human-machine interaction applications. Many systems have been proposed for gaze detection. Typically, they require some form of user cooperation and calibration. Additionally, they may require multiple cameras and/or restricted head positions. We present a new approach for inference of both face orientation and gaze dire…
▽ More
Gaze detection and head orientation are an important part of many advanced human-machine interaction applications. Many systems have been proposed for gaze detection. Typically, they require some form of user cooperation and calibration. Additionally, they may require multiple cameras and/or restricted head positions. We present a new approach for inference of both face orientation and gaze direction from a single image with no restrictions on the head position. Our algorithm is based on a face and eye model, deduced from anthropometric data. This approach allows us to use a single camera and requires no cooperation from the user. Using a single image avoids the complexities associated with of a multi-camera system. Evaluation tests show that our system is accurate, fast and can be used in a variety of applications, including ones where the user is unaware of the system.
△ Less
Submitted 4 August, 2004;
originally announced August 2004.
-
Recovering an Algebraic Curve Using its Projections From Different Points. Applications to Static and Dynamic Computational Vision
Authors:
M. Fryers,
J. Y. Kaminski,
M. Teicher
Abstract:
We study how an irreducible closed algebraic curve X embedded in CP^3 can be recovered using its projections from points onto embedded projective planes. The different embeddings are unknown. The only input is the defining equation of each projected curve. We show how both the embeddings and the curve in CP^3 can be recovered modulo some actions of the group of projective transformations of CP^3…
▽ More
We study how an irreducible closed algebraic curve X embedded in CP^3 can be recovered using its projections from points onto embedded projective planes. The different embeddings are unknown. The only input is the defining equation of each projected curve. We show how both the embeddings and the curve in CP^3 can be recovered modulo some actions of the group of projective transformations of CP^3. For two projections, we show how in a generic situation, a characteristic matrix of the two embeddings can be recovered. We also establish the minimal number of irreducible algebraic curves required to compute this characteristic matrix up to a finite-fold ambiguity, as a function of their degree and genus. Then we use this matrix to recover the class of the couple of maps and as a consequence to recover the curve. Then we consider another problem. N projections, with known projections operators and N >> 1, are considered as an input and we want to recover the curve. The recovery can be done by linear computations in the dual space and in the Grassmannian of lines in CP^3. A closely related question is also considered. Each point of a finite closed subset of an irreducible algebraic curve, is projected onto a plane from a different point. The projections operators are known. We show when and how the recovery of the algebraic curve is possible, in function of the degree of the curve of minimal degree generated by the centers of projection. A second part is devoted to applications to computer vision. The results in this paper solve a long standing problem in computer vision that could not have been solved without algebraic-geometric methods.
△ Less
Submitted 13 August, 2002;
originally announced August 2002.
-
Some Applications of Algebraic Curves to Computational Vision
Authors:
Michael Fryers,
Jeremy Yirmeyahu Kaminski,
Mina Teicher
Abstract:
We introduce a new formalism and a number of new results in the context of geometric computational vision. The classical scope of the research in geometric computer vision is essentially limited to static configurations of points and lines in $P^3$ . By using some well known material from algebraic geometry, we open new branches to computational vision. We introduce algebraic curves embedded in…
▽ More
We introduce a new formalism and a number of new results in the context of geometric computational vision. The classical scope of the research in geometric computer vision is essentially limited to static configurations of points and lines in $P^3$ . By using some well known material from algebraic geometry, we open new branches to computational vision. We introduce algebraic curves embedded in $P^3$ as the building blocks from which the tensor of a couple of cameras (projections) can be computed. In the process we address dimensional issues and as a result establish the minimal number of algebraic curves required for the tensor variety to be discrete as a function of their degree and genus. We then establish new results on the reconstruction of an algebraic curves in $P^3$ from multiple projections on projective planes embedded in $P^3$ . We address three different presentations of the curve: (i) definition by a set of equations, for which we show that for a generic configuration, two projections of a curve of degree d defines a curve in $P^3$ with two irreducible components, one of degree d and the other of degree $d(d - 1)$, (ii) the dual presentation in the dual space $P^{3*}$, for which we derive a lower bound for the number of projections necessary for linear reconstruction as a function of the degree and the genus, and (iii) the presentation as an hypersurface of $P^5$, defined by the set of lines in $P^3$ meeting the curve, for which we also derive lower bounds for the number of projections necessary for linear reconstruction as a function of the degree (of the curve). Moreover we show that the latter representation yields a new and efficient algorithm for dealing with mixed configurations of static and moving points in $P^3$.
△ Less
Submitted 15 October, 2001;
originally announced October 2001.