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 …

Improved Interval Reachability Bounds for Nonlinear Discrete-Time Systems using an Efficient One-Dimensional Partitioning Method

B Mu, X Yang, K Shen, JK Scott - 2021 American Control …, 2021 - ieeexplore.ieee.org
… In contrast, zonotopes and constrained zonotopes can be propagated efficiently using
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 …

Set-based state estimation: a polytopic approach

CE Valero, ME Villanueva, B Houska, R Paulen - IFAC-PapersOnLine, 2020 - Elsevier
… 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 …

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, …

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 …

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 …

패럴렐로토프와 조노토프의 행렬식 체적 공식의 기하적 유도와 선형 시스템의 성능 평가에의 응용

김성복 - 제어로봇시스템학회 논문지, 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: …

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 …

Reachability analysis for feed-forward neural networks using face lattices

X Yang, HD Tran, W Xiang, T Johnson - arXiv preprint arXiv:2003.01226, 2020 - arxiv.org
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 …