Compositional synthesis via a convex parameterization of assume-guarantee contracts

K Ghasemi, S Sadraddini, C Belta - Proceedings of the 23rd …, 2020 - dl.acm.org
zonotope order reduction methods to over-approximate the disturbance set with a zonotope
… For this paper, we have used boxing method [15], [5] which is a well-known zonotope order …

[HTML][HTML] Set-valued estimators for Uncertain Linear Parameter-Varying systems

D Silvestre - Systems & Control Letters, 2022 - Elsevier
… We show that performing the convex hull for all polytopes or constrained zonotopes obtained
using all combinations of uncertainty vertices is the optimal convex solution to the problem; …

[HTML][HTML] The arithmetic of Coxeter permutahedra

F Ardila, M Beck, J McWhirter - Revista de la Academia Colombiana …, 2020 - scielo.org.co
… the zonotope is not integral. However, we can still describe it for almost integral zonotopes v
+ … ), which are obtained by translating an integral zonotope Z (U) by a rational vector on 2.1. …

Conservative time discretization: a comparative study

M Forets, C Schilling - International Conference on Integrated Formal …, 2022 - Springer
We present the first review of methods to overapproximate the set of reachable states of
linear time-invariant systems subject to uncertain initial states and input signals for short time …

Discrete Reachability Analysis With Bounded Error Sets

JA Siefert, DD Leister, JP Koeln… - IEEE Control Systems …, 2021 - ieeexplore.ieee.org
… We define the complexity of a zonotope as the number of generators ng. A zonotope is centrally
symmetric and given by all … ear mapping and Minkowski sum for zonotopes in G-rep are …

[HTML][HTML] Observer-based output feedback robust MPC via zonotopic set-membership state estimation for LPV systems with bounded disturbances and noises

X Ping, S Yang, B Ding, T Raissi, Z Li - Journal of the Franklin Institute, 2020 - Elsevier
For linear parameter varying (LPV) systems with bounded disturbances and noises, this
paper presents a synthesis approach to observer-based output feedback robust model …

[HTML][HTML] Self-triggered adaptive model predictive control of constrained nonlinear systems: A min–max approach

K Zhang, C Liu, Y Shi - Automatica, 2022 - Elsevier
… self-triggered sampling, we introduce a zonotope-based strategy to compute the reachable
… Section 3 describes the design of the zonotope-based set-membership parameter estimator…

Hierarchical mpc with coordinating terminal costs

V Raghuraman, V Renganathan… - 2020 American …, 2020 - ieeexplore.ieee.org
… This paper presents a novel terminal cost coordination mechanism using constrained
zonotopes, designed to improve system performance under hierarchical control. These terminal …

Interval set‐membership estimation for continuous linear systems

F Xu, S Yang, B Liang - International Journal of Robust and …, 2020 - Wiley Online Library
zonotope to over-approximate a higher-order SE zonotope at … on the order-reduction methods
of zonotopes. Note that the … the order reduction of SE zonotopes as a default step under …

Certified Federated Adversarial Training

G Zizzo, A Rawat, M Sinn, S Maffeis… - arXiv preprint arXiv …, 2021 - arxiv.org
… reader into using zonotopes for neural … a zonotope being pushed through a single layer in
a toy neural network to help build intuition for the reader into the ideas behind using zonotopes