[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 …
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
… 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 …
… 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
… 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 …
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
… 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 …
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 …
… and the approximation error is used to inflate zonotope sets. Another method uses optimal …
Formal verification applied to spacecraft attitude control
… 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 …
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 …
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 …
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, …
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 …
Z k is obtained by the Minkowski sum of zonotopes which bound the square of each signal in …