We present CAISAR, an open-source platform under active development for the characterization
of AI systems' robustness and safety. CAISAR provides a unified entry point for defining …

… Further investigations on this topic, with more specific realizations, use robust FDI schemes
on zonotopic UIOs [23], [25], where not only state zonotope but also fault residuals zonotopes …

… reachable set 고(τi, /0, L) for each time interval τi is represented by a zonotope: … (Zonotope)
A zonotope is … (9) represented as a zonotope 고(τi, /0,1 × /0,2, L) = <s, g(1),..., g(p)>Z and a set …

… Using the mathematics of constrained zonotopes, we efficiently compute the shadows online
using fast vector concatenation operations. ZSM then iteratively performs set intersection …

… In the third contribution (Manipulation, Chapter 4), published in [94] (which extends our
work on quadrotors [95]), we efficiently compose zonotope-based reachable sets of robotic …

In this paper, a reduced-order interval observer (R-IO) design technique is developed for
continuous-time descriptor linear-parameter-varying systems with unknown-but-bounded …

… and also a new zonotope is formed, which is used as the base zonotope for the next step. …
with maximum ΔrAW,i, which provides a zonotope that surrounds the corresponding sphere, is …

… We write Z(H) for the dual zonotope of H, defined as the Minkowski sum α1 +···+αN . As a
polytope, the zonotope Z(H) comes equipped with the structure of a CW complex. For C ∈ R, …

… group of the G it is obtained classification convex hulls orbits of W that be found zonotopes.
… group of the G it is obtained classification convex hulls orbits of W that be found zonotopes. …

… 17 of these are zonotopes, the other 35 are the regular 24-cell and its Minkowski sum
with some zonotopes. Three out of these types are primitive. SS RYSHKOV and EP …