[PDF][PDF] Randomized Algorithms (Dagstuhl Seminar 9124)

M Karpinski, M Luby, U Vazirani - 2021 - drops.dagstuhl.de
… The rapid mixing of a random walk on the set of bases of a unimodular matrix is proved by
associating it with a convex polyhedron; the zonotope, associated with the matrix. We also …

Ellipsoidal Set-Membership State Estimation for Multi-Output Systems with Interval Uncertainties

SB Chabane, CS Maniu, T Alamo… - 2020 European …, 2020 - ieeexplore.ieee.org
… volume of the zonotope. In [14], the minimization of the P-radius of the zonotope leads to a
… accuracy of the volume minimization of a zonotope. The P-radius minimization zonotopic …

Improved Observation Interval Bounding for Multi-GNSS Integrity Monitoring in Urban Navigation

J Su, S Schön - Proceedings of the 34th International Technical …, 2021 - ion.org
… to construct polytopes as bounding zones and zonotopes as confidence domains. Statistics
show that … The third section concentrates on the basics of polytopes and zonotopes and the …

Accessible fragments of generalized probabilistic theories, cone equivalence, and applications to witnessing nonclassicality

JH Selby, D Schmid, E Wolfe, AB Sainz… - arXiv preprint arXiv …, 2021 - arxiv.org
… of zonotopes each contained within the full state space, where the maximal element of each
zonotope … Similarly, the accessible effect space is the convex hull of a set of zonotopes each …

Fail-safe rendezvous control on elliptic orbits using reachable sets

DA Marsillach, S Di Cairano… - 2020 American Control …, 2020 - ieeexplore.ieee.org
… represented using n-dimensional geometric objects such as zonotopes [5] , polyhedra [6], or
… and the approximation error is used to inflate zonotope sets. Another method uses optimal …

Formal verification applied to spacecraft attitude control

K Lang, C Klett, K Hawkins, E Feron, P Tsiotras… - AIAA Scitech 2021 …, 2021 - arc.aiaa.org
… but primarily uses zonotopes to represent an initial set of states, and then propagates that
zonotope through a system’s linear dynamics. The zonotope representation gets progressively …

The polytope algebra of generalized permutahedra

J Bastidas - arXiv preprint arXiv:2009.05876, 2020 - arxiv.org
… We are particularly interested in the case where p is a zonotope corresponding to a linear
hyperplane arrangement A. In this case, let Σ[A] denote the Tits algebra of A, see Section 3. It …

様相 μ 計算による RNN のモデル検査

青島達大, 碓井利宣 - 研究報告セキュリティ心理学とトラスト (SPT), 2020 - ipsj.ixsq.nii.ac.jp
… We propose a novel method for checking whether a given RNN satisfies a given specification,
as abstractly interpreting the model with the constrained zonotopes. The specification is …

Isocanted alcoved polytopes

MJ de la Puente, PL Clavería - Applications of Mathematics, 2020 - Springer
Through tropical normal idempotent matrices, we introduce isocanted alcoved polytopes,
computing their f-vectors and checking the validity of the following five conjectures: Bárány, …

[HTML][HTML] Interval observer filtering-based fault diagnosis method for linear discrete-time systems with dual uncertainties

M Zhang, Z Wang, Y Wang, JH Park, Z Ji - Journal of the Franklin Institute, 2022 - Elsevier
… Z k is the generator matrix of zonotope Z k that bounds the average power of z k . Because
Z k is obtained by the Minkowski sum of zonotopes which bound the square of each signal in …