In this tutorial, we present a new field of research on implementing exact algorithms in
optimization and polyhedral computation in exact (arbitrary precision) arithmetic. Such algorithms …

This paper deals with offline nonlinear state estimation where measurements are available
only when some given equality conditions are satisfied. For this type of problems, which are …

In this note we address the problems of obtaining guaranteed and as good as possible
estimates of system parameters for linear discrete–time systems subject to bounded disturbances…

A treatment of the positive observation problem for positive systems is provided, for the
continuous and discrete-time cases. The proposed observers are positive, that is, they ensure …

The present paper is the first in a series of four dealing with a mapping, introduced by the
present authors, from orientations to spanning trees in graphs, from regions to simplices in real …

Matroid theory (sometimes viewed as the theory of combinatorial geometries or geometric
lattices) is reasonably young as a mathematical theory (its traditional birthday is given as 1935 …

Minkowski sum is an important operation. It is used in many domains such as: computer-aided
design, robotics, spatial planning, mathematical morphology, and image processing. We …

This paper suggests a method of approximating the solution of minimization problems for
convex functions of several variables under convex constraints is suggested. The main idea of …

Static analysis by abstract interpretation aims at automatically proving properties of computer
programs, by computing invariants that over-approximate the program behaviors. These …

In this thesis are used natural agents for dinamic navigation of a differential driven wheeled
mobile robot. The perception data are integrated on a local occupancy grid framework where …