2,695 research outputs found
A generalization of Voronoi's reduction theory and its application
We consider Voronoi's reduction theory of positive definite quadratic forms
which is based on Delone subdivision. We extend it to forms and Delone
subdivisions having a prescribed symmetry group. Even more general, the theory
is developed for forms which are restricted to a linear subspace in the space
of quadratic forms. We apply the new theory to complete the classification of
totally real thin algebraic number fields which was recently initiated by
Bayer-Fluckiger and Nebe. Moreover, we apply it to construct new best known
sphere coverings in dimensions 9,..., 15.Comment: 31 pages, 2 figures, 2 tables, (v4) minor changes, to appear in Duke
Math.
Computing control invariant sets in high dimension is easy
In this paper we consider the problem of computing control invariant sets for
linear controlled high-dimensional systems with constraints on the input and on
the states. Set inclusions conditions for control invariance are presented that
involve the N-step sets and are posed in form of linear programming problems.
Such conditions allow to overcome the complexity limitation inherent to the set
addition and vertices enumeration and can be applied also to high dimensional
systems. The efficiency and scalability of the method are illustrated by
computing approximations of the maximal control invariant set, based on the
10-step operator, for a system whose state and input dimensions are 30 and 15,
respectively.Comment: arXiv admin note: substantial text overlap with arXiv:1708.0479
The complete classification of five-dimensional Dirichlet-Voronoi polyhedra of translational lattices
In this paper we report on the full classification of Dirichlet-Voronoi
polyhedra and Delaunay subdivisions of five-dimensional translational lattices.
We obtain a complete list of affine types (L-types) of Delaunay
subdivisions and it turns out that they are all combinatorially inequivalent,
giving the same number of combinatorial types of Dirichlet-Voronoi polyhedra.
Using a refinement of corresponding secondary cones, we obtain
contraction types. We report on details of our computer assisted enumeration,
which we verified by three independent implementations and a topological mass
formula check.Comment: 16 page
Computing control invariant sets is easy
In this paper we consider the problem of computing control invariant sets for
linear controlled systems with constraints on the input and on the states. We
focus in particular on the complexity of the computation of the N-step
operator, given by the Minkowski addition of sets, that is the basis of many of
the iterative procedures for obtaining control invariant sets. Set inclusions
conditions for control invariance are presented that involve the N-step sets
and are posed in form of linear programming problems. Such conditions are
employed in algorithms based on LP problems that allow to overcome the
complexity limitation inherent to the set addition and can be applied also to
high dimensional systems. The efficiency and scalability of the method are
illustrated by computing in less than two seconds an approximation of the
maximal control invariant set, based on the 15-step operator, for a system
whose state and input dimensions are 20 and 10 respectively
- …