10,472 research outputs found

### A geometric view of cryptographic equation solving

This paper considers the geometric properties of the Relinearisation algorithm and of the XL algorithm used in cryptology for equation solving. We give a formal description of each algorithm in terms of projective geometry, making particular use of the Veronese variety. We establish the fundamental geometrical connection between the two algorithms and show how both algorithms can be viewed as being equivalent to the problem of finding a matrix of low rank in the linear span of a collection of matrices, a problem sometimes known as the MinRank problem. Furthermore, we generalise the XL algorithm to a geometrically invariant algorithm, which we term the GeometricXL algorithm. The GeometricXL algorithm is a technique which can solve certain equation systems that are not easily soluble by the XL algorithm or by Groebner basis methods

### On a switching control scheme for nonlinear systems with ill-defined relative degree

This paper discusses the applicability of a switching control scheme for a nonlinear system with ill-defined relative degree. The control scheme switches between exact and approximate input-output linearisation control laws. Unlike a linear system under a switching control scheme, the equilibria of a nonlinear system may change with the switching. It is pointed out that this is not sufficient to cause instability. When the region of the approximate linearisation control law is attractive to the exact zero dynamics, it is possible that the closed-loop system under the switching control scheme is still stable. The results in this paper shows that the switching control scheme proposed in Tomlin and Sastry (Systems Control Lett. 35(3) (1998) 145) is applicable for a wider class of nonlinear systems

### A linear domain decomposition method for two-phase flow in porous media

This article is a follow up of our submitted paper [11] in which a decomposition of the Richards equation along two soil layers was discussed. A decomposed problem was formulated and a decoupling and linearisation technique was presented to solve the problem in each time step in a fixed point type iteration. This article extends these ideas to the case of two-phase in porous media and the convergence of the proposed domain decomposition method is rigorously shown.Comment: 8 page