Compositional synthesis via a convex parameterization of assume-guarantee contracts
… 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 …
… 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; …
using all combinations of uncertainty vertices is the optimal convex solution to the problem; …
[HTML][HTML] The arithmetic of Coxeter permutahedra
… 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. …
+ … ), 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 …
linear time-invariant systems subject to uncertain initial states and input signals for short time …
Discrete Reachability Analysis With Bounded Error Sets
… 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 …
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 …
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
… 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…
… 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 …
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 …
of zonotopes. Note that the … the order reduction of SE zonotopes as a default step under …
Certified Federated Adversarial Training
… 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…
a toy neural network to help build intuition for the reader into the ideas behind using zonotopes…