… We similarly maintain a pair of probabilistic zonotopes (p-zonotopes) on the receiver
state error, one based on the variance and bounded biases from the unauthenticated GPS …

… a zonotope, ie X ∩ S, or after the intersection of two zonotopes, ie X1 ∩ X2, can be enclosed
by a new zonotope. With some abuse of notation, we will refer this new zonotope Z as Z …

… For our stochastic reachability analysis we use probabilistic zonotopes as the set representation.
Zonotopes and probabilistic zonotopes have been … A zonotope P is defined as follows: …

… zonotope containing an interior lattice point with respect to any combinatorially positive
valuation has real-rooted |$a$|- and |$b$|-polynomials. In the case that the lattice zonotope is …

… In order to realize robust AFD for the dynamics (1), we first exploit the zonotope geometry
to … t represents the order of the zonotope Z. Denote Z = g ⊕ HBt as Z = 〈g, H〉. Given two …

… zonotopes and H-convex sets instead of ellipsoids. We describe here one of the results for
zonotopes… d , we say that a convex set K is a zonotope centered at p with directions v 1 , … , v …

… If the NODE is nonlinear, we make use of zonotope and polynomial-zonotope based …
scalable than other zonotope-based methods and possess soundness guarantees as well. …

… state estimate and3σerror zonotope bound the … 3σ zonotopes no longer bound the true
state. In this case, the Chimera SR-KF switches to using the state estimates and error p-zonotopes …

… In this work, we propose to use a zonotope-based abstraction to compute in a unified way
both the reachable sets of neural networks and dynamical systems. This seamless integration …

… algorithms are based on zonotopes for set representation … the set computations based on
zonotopes that are required to … of involved sets using zonotopes is detailed in an algorithmic …