Abstract Finsler metrics are direct generalizations of Riemannian such that the quadratic indicatrices in tangent spaces a manifold replaced by more general convex bodies as unit spheres. A linear connection on base is called compatible with metric if induced parallel transports preserve Finslerian length vectors. manifolds admitting connections generalized Berwald Wagner (Dokl Acad Sci USSR (N...

Some classes of sets of vectors of natural numbers are introduced as generalizations of the semi-linear sets, among them the ‘simple semi-polynomial sets.’ Motivated by verification problems that involve arithmetical constraints, we show results on the intersection of such generalized sets with semi-linear sets, singling out cases where the nonemptiness of intersection is decidable. Starting fr...

This work concerns regional controllability of linear and semi linear hyperbolic systems as in ([9, 10, 11]) but the results are established with more flexible conditions. Also we consider the case where the subregion of interest is a boundary part of the system evolution domain.Then we give illustrations of different results through many examples and simulations.