This paper presents a distributed bounded-error state estimation algorithm adapted, eg, to
wireless sensor networks. Contrary to centralized estimation, where all data are collected to a …

Subdivision is a convenient tool to construct objective curves and surfaces directly from given
scattered points. Stationary p-subdivision schemes are highly efficient in the acquisitions of …

This paper provides a suite of optimization techniques for the verification of safety properties
of linear hybrid automata with large discrete state spaces, such as naturally arising when …

… CA Athanasiadis, Zonotopal subdivisions of cyclic zonotopes, Geometriae Dedicata 86 (…
Santos, Monotone paths on zonotopes and oriented matroids, Canadian Journal of Mathematics …

This article concerns the feedback control of discrete-time systems subject to disturbances
and uncertainties in both model parameters and signal measurements. The uncertainties are …

This paper presents a guaranteed method for the parameter estimation of nonlinear models
in a bounded-error context. This method is based on functions which consists of the …

This volume contains the proceedings of the 21st International Conference on Computer-Aided
Veri? cation (CAV) held in Grenoble, France, between June 28 and July 2, 2009. CAV is …

Interval models may be seen as a trade-off between numerical and qualitative models. They
have been often referred as semi-qualitative models. The interval algebra is indeed a …

En 1954, WT Tutte introduit une généralisation à deux variables du polynôme chromatique d’un
graphe. Le polynôme chromatique était obtenu en trivialisant la nouvelle variable. Il s’ …

In the first part of this thesis we investigate projections of polytopes as a method for constructing
combinatorially extremal polytopes. The starting point is a joint work with Guenter Ziegler …