We present a scalable reachability algorithm for hybrid systems with piecewise affine, non-deterministic
dynamics. It combines polyhedra and support function representations of …

… Althoff, Stursberg, and Buss aim at investigating and evaluating the combined use of
zonotopes and polytopes for the computation of reachable sets of hybrid systems with linear …

El propósito general de esta tesis doctoral consiste en el desarrollo de estrategias de detección
y aislamiento de fallos (FDI) y control tolerante a fallos (FTC) para sistemas no lineales …

In this work, a model-based fault detection and isolation (FDI) is developed for proton exchange
membrane (PEM) fuel cell (FC) stack that is under feed-forward plus feedback control. …

We consider the problem of safety control in Hidden Mode Hybrid Systems (HMHS) that
arises in the development of a semi-autonomous cooperative active safety system for collision …

We provide a method of determining whether there exist some p 2 P and f 2 F such that p is
divisible by f for a pair of real multivariate interval polynomials, P and F. Although this …

… In the special case that P is a zonotope there is a … ; :::; ar , then it defines a zonotope ZA/
which consists of those points p of … points of Rn lying strictly inside the zonotope tZ.D/ is given by …

… two sample points using techniques incorporating zonotopes [Gir05, Tab09] or support …
We can thus enclose xq in a zonotope Z1, enclose Bη/2(xq) in a different zonotope Z2, and …

In principle, all sorts of characteristic classes carry obstructions to graph colorings. Here we
shall look at the applications of Stiefel-Whitney classes associated to free involutions. …

… As a consequence it is also shown that the cells in the tight-span associated to a totally
split-decomposable metric are zonotopes that are polytope isomorphic to either hypercubes or …