AADD-Based Symbolic Simulation of SystemC AMS
C Zivkovic, C Grimm - Languages, Design Methods, and Tools for …, 2020 - Springer
… Geometrically, the joint range of k affine forms is a zonotope in a k-dimensional space that
is generated by the vectors of shared noise symbols, and centered around the vector of the …
is generated by the vectors of shared noise symbols, and centered around the vector of the …
Improved Interval Reachability Bounds for Nonlinear Discrete-Time Systems using an Efficient One-Dimensional Partitioning Method
… In contrast, zonotopes and constrained zonotopes can be propagated efficiently using
conservative linearization techniques, but the results can be conservative when the linearization …
conservative linearization techniques, but the results can be conservative when the linearization …
[HTML][HTML] Hybrid Reachability Analysis for Kuramoto-Lanchester Model
K Potomkin - 2021 - search.proquest.com
… Here, g0, g1...gd−1 are generators and the vector c is the center of the zonotope, to which
zonotope is centrally symmetric. An example of overapproximation by zonotope is presented …
zonotope is centrally symmetric. An example of overapproximation by zonotope is presented …
Set-based state estimation: a polytopic approach
… for a given dimension while the complexity of zonotopes can be arbitrary. In terms of accuracy,
… (2) and (3); while zonotopes are closed under affine transformations as well as Minkowski …
… (2) and (3); while zonotopes are closed under affine transformations as well as Minkowski …
Density of a random submanifold: the zonoid section
L Mathis, M Stecconi - arXiv preprint arXiv:2210.11214, 2022 - arxiv.org
… that zonotopes, and thus zonoids are centrally symmetric. Moreover K is a zonotope if and …
A zonoid K ∈ Z (ΛkV ) is a Grassmannian zonotope if there exists subspaces E1,...,En ∈ G(k, …
A zonoid K ∈ Z (ΛkV ) is a Grassmannian zonotope if there exists subspaces E1,...,En ∈ G(k, …
Towards a Universal Modeling and Control Framework for Soft Robots
D Bruder - 2020 - deepblue.lib.umich.edu
… For comparison, the measured forces are superimposed over the force zonotope generated
by our model in Fig. 4.7a- 4.7d. To quantify the accuracy of the model, we defined the error …
by our model in Fig. 4.7a- 4.7d. To quantify the accuracy of the model, we defined the error …
Lifts for Voronoi cells of lattices
M Schymura, I Seidel, S Weltge - arXiv preprint arXiv:2106.04432, 2021 - arxiv.org
… complexity of a zonotope Z, the bound xc(Z) ≤ 2m thus immediately follows from the
definition. A lattice Λ ⊆ Rd is said to be zonotopal if its Voronoi cell is a zonotope. Every lattice of …
definition. A lattice Λ ⊆ Rd is said to be zonotopal if its Voronoi cell is a zonotope. Every lattice of …
패럴렐로토프와 조노토프의 행렬식 체적 공식의 기하적 유도와 선형 시스템의 성능 평가에의 응용
김성복 - 제어로봇시스템학회 논문지, 2020 - dbpia.co.kr
… zonotope. In this paper, the determinantal volume formulas of parallelotopes and zonotopes
… determinantal volume formulas of parallelotopes and zonotopes are derived in three cases: …
… determinantal volume formulas of parallelotopes and zonotopes are derived in three cases: …
Formal verification of deep reinforcement learning agents
E Bacci - 2022 - etheses.bham.ac.uk
… [74] are: Box, Zonotope and Polyhedra. Box is the simplest one and works by simply
defining an interval for each dimension; Zonotope uses zonotopes which are center-symmetric …
defining an interval for each dimension; Zonotope uses zonotopes which are center-symmetric …
Reachability analysis for feed-forward neural networks using face lattices
Deep neural networks have been widely applied as an effective approach to handle complex
and practical problems. However, one of the most fundamental open problems is the lack …
and practical problems. However, one of the most fundamental open problems is the lack …