This paper reports the results of an ESA funded project on the use of abstract interpretation
to validate critical real-time embedded space software. Abstract interpretation is industrially …

In this thesis, reachability analysis simulation challenges are discussed. In order to understand
simulation challenges in higher orders, first one dimensional case is studied. And after …

For polytopes P 1 ,P 2 ⊂ℝ d , we consider the intersection P 1 ∩P 2 , the convex hull of the
union CH(P 1 ∪P 2 ), and the Minkowski sum P 1 +P 2 . For the Minkowski sum, we prove …

The set of acyclic orientations of a connected graph with a given sink has a natural poset
structure. We give a geometric proof of a result of Jim Propp: this poset is the disjoint union of …

A new technique called learning-based model predictive control (LBMPC) rigorously
combines statistics and learning with control engineering, while providing levels of guarantees …

These lectures were prepared for the first three weeks (May 8-22) of the 2007 (Pre) Doc
Course on Integer Points in Polyhedra at the Free University in Berlin. The main focus of these …

A modeling method is proposed and applied in fault detection for nonlinear dynamical
systems with unknown but bounded noises. Since the Takagi-Sugeno (TS) fuzzy model is a …

The Ricardian theory of international trade is one of the oldest theories in economics. Nonetheless,
it is by no means trivial and continues to attract curiosity of many modern economists. …

We propose a new method for computing the 2-d Minkowski sum of non-convex polygons.
Our method is convolution based. The main idea is to use the reduced convolution and filter …

The paper describes a construction of abstract polytopes from Cayley graphs of symmetric
groups. Given any connected graph G with p vertices and q edges, we associate with G a …