Алгоритм построения точных областей достижимости с использованием зонотопов
ВИ Калёв, АФ Шориков - ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И …, 2017 - elibrary.ru
… use special class of convex polytopes - zonotopes. Zonotopes have an efficient property: they
… In this paper, it is assumed that initial set of states and set of feasible controls is zonotopes. …
… In this paper, it is assumed that initial set of states and set of feasible controls is zonotopes. …
[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 …
様相 μ 計算による 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 …
基于中心对称多胞体的故障可分离性评价
王桢榕, 王振华, 沈毅 - 自动化学报, 2022 - aas.net.cn
… , we propose a new fault isolability method via using zonotopes. To achieve the quantitative
evaluation of fault isolability, zonotopes are converted into polytopes. Specific evaluation …
evaluation of fault isolability, zonotopes are converted into polytopes. Specific evaluation …
Polytopes de tessons et quotientopes pour les congruences de treillis de l'ordre faible
J Ritter - 2021 - theses.fr
… The cones of any real central hyperplane arrangement induce a fan that is the normal fan
of a zonotope. Moreover, choosing one of the regions of that fan as the base region induces a …
of a zonotope. Moreover, choosing one of the regions of that fan as the base region induces a …
车辆自主决策安全性验证方法
奉柳, 沈鹏, 杨旭, 刘秉政, 曹凯 - 科学技术与工程, 2019 - cnki.com.cn
… 采用有向凸多面体算法对自主车辆非线性混合系统进行保守线性化处理, 再利用迭代原理和
Zonotope 近似方法计算可达集. 变道避碰的仿真实验表明, 在初始状态集和传感器噪声边界条件下, …
Zonotope 近似方法计算可达集. 变道避碰的仿真实验表明, 在初始状态集和传感器噪声边界条件下, …
Estimation d'état et diagnostic de systèmes à paramètres incertains–Approche intervalle
… le zonotope Dy,k,1 avec le polytope Dy,k,1. La même construction a été faite pour les
zonotopes issus des deux autres mod`eles. Afin de ne pas représenter les zonotopes obtenus `a …
zonotopes issus des deux autres mod`eles. Afin de ne pas représenter les zonotopes obtenus `a …
[PDF][PDF] Build Your Own Reachability Analyzer with CORA
M ALTHOFF - Post-proceedings of the Summer School …, 2020 - mediatum.ub.tum.de
… A disadvantage of zonotopes is that they are not closed under intersection, ie, the intersection
of two zonotopes does not return a zonotope in general. In order to overcome this …
of two zonotopes does not return a zonotope in general. In order to overcome this …