We consider verification problems for transition systems enriched with a metric structure. We
believe that these metric transition systems are particularly suitable for the analysis of cyber-…

We explicitly describe a structure of a regular cell complex $K(L)$ on the moduli space $M(L)$
of a planar polygonal linkage $L$. The combinatorics is very much related (but not equal) …

Consider a set of $r$ convex $d$-polytopes $P_1,P_2,...,P_r$, where $d\ge{}3$ and $r\ge{}2$,
and let $n_i$ be the number of vertices of $P_i$, $1\le{}i\le{}r$. It has been shown by …

This work is about state estimation in the bounded error context for non linear continuous
time systems. The main idea is to seek to estimate not an optimal value for the unknown state …

An approach to assist the determination of the best time-after-injection for taking an scintigram
in bone scanning is proposed. More precisely, a technique is discussed to estimate the …

… From the zonotope construction to the minkowski addition of convex polytopes. Journal of
Symbolic Computation, 38(4):1261–1272, 2004. [3] PK Ghosh. …

The Minimum Linear Arrangement problem (MinLA) consists in finding an ordering of the
nodes of a weighted graph, such that the sum of the weighted edge lengths is minimized. We …

The performance of a model-based diagnosis system could be affected by several uncertainty
sources, such as,model errors,uncertainty in measurements, and disturbances. This …

Abstract Analysis and safety considerations of chemical and biological processes frequently
require an outer approximation of the set of all feasible steady-states. Nonlinearities, …

To describe the true behavior of most real-world systems with sufficient accuracy, engineers
have to overcome difficulties arising from their lack of knowledge about certain parts of a …