We present a real-time robust positioning system based on interval analysis and constraint
propagation that computes position domains, and that is able to detect and reject erroneous …

We extend the Billera―Ehrenborg―Readdy map between the intersection lattice and face
lattice of a central hyperplane arrangement to affine and toric hyperplane arrangements. For …

… 2.5 Zonotopes as unit balls We will have two occasions to use zonotopes. In Chapter 3 we
need the fact that any centered convex polygon in the plane is a zonotope. In Chapter 8 we …

We extend the Billera―Ehrenborg―Readdy map between the intersection lattice and face
lattice of a central hyperplane arrangement to affine and toric hyperplane arrangements. For …

… The joint concretization of these affine forms is a center-symmetric polytope, that is a
zonotope. These zonotope-based abstract domains provide an excellent trade-off between …

To automatize modeling and simulation of mechanical systems for industry and research, a
number of tools were developed, among which the program MOBILE plays a considerable …

The modeling of biological systems often involves the estimation of model parameters. Estimation
methods have been developed to model these systems in a boundederror context due …

… volume-radius of random zonotopes and Hadamard’s inequality for random matrices. …

In this paper, we present a fuzzy set membership (FSM) filter for state estimation of nonlinear
discrete-time systems with unknown but bounded disturbances. First, the Takagi-Sugeno (…

We address the problem of designing experiments to obtain guaranteed and as good as
possible parameter estimates for linear systems subject to bounded disturbances. First, we …