Verified Polynomial Controller Synthesis for Disturbed Nonlinear Systems

V Gaßmann, M Althoff - IFAC-PapersOnLine, 2021 - Elsevier
… (2021), for which we computed the reachable set using both zonotopes (blue) and polynomial
zonotopes (cyan). This comparison clearly shows the superiority of our novel approach. …

Robust Fault Detection based on Zonotopic Observers for Linear Parameter Varying Systems

R Lamouchi, M Amairi, T Raïssi… - 2022 30th Mediterranean …, 2022 - ieeexplore.ieee.org
… using zonotope techniques due to its geometrical flexibility and the reduced complexity [12].
Fault detection observer method using zonotope … 2, we can compute the error zonotope ed …

Deformation Cones of Hypergraphic Polytopes

A Padrol, V Pilaud, G Poullot - FPSAC 2022-34th …, 2022 - hal.archives-ouvertes.fr
zonotope of the complete graph or as the nestohedron of the complete building set. A graphical
zonotope … of ZG is a zonotope, which is the graphical zonotope of a subgraph of G up to …

The Neural Network Verification (NNV) Tool

HD Tran, DM Lopez, X Yang, P Musau… - … IEEE Workshop on …, 2020 - ieeexplore.ieee.org
… Additionally, NNV supports over-approximate analysis for nonlinear plant models by
combining the star set analysis used for FFNNs with the zonotope-based analysis for nonlinear …

[HTML][HTML] Guaranteed State Estimation via Remainder-Form Decomposition Function-Based Set Inclusion for Nonlinear Discrete-Time Systems

F Shoaib - 2021 - search.proquest.com
… In this section, Problem 1 is addressed, assuming that the initial set is a zonotope bundle
(Lemma 1) or a constraint zonotope (Lemma 2). The strategy is defined below, however based …

Set-Based State Estimation Approaches for Descriptor Systems

Y Wang - Advances in State Estimation, Diagnosis and Control of …, 2021 - Springer
… In this chapter, we investigate state estimation approaches based on zonotopes for descriptor
system (2.1). We propose two set-based approaches to use zonotope bounding uncertain …

Reachability analysis for hybrid systems with nonlinear guard sets

N Kochdumper, M Althoff - … of the 23rd International Conference on …, 2020 - dl.acm.org
… We therefore use Taylor models or polynomial zonotopes for representing reachable sets,
which allows us to combine our approach with many different reachability algorithms for …

The robustness of the generalized Gini index

M Franciosi, S Settepanella, A Terni - arXiv preprint arXiv:2007.12924, 2020 - arxiv.org
… Finally in Section 4 we investigate the zonotope approach in production theory proposed
in [Hil] (1981), we generalize the Gini volume introduced in [DGMS] (2016) and we present a …

On the length of monotone paths in polyhedra

M Blanchard, JA De Loera, Q Louveaux - SIAM Journal on Discrete …, 2021 - SIAM
zonotopes are no larger than the number of edge directions of the … zonotope is the Minkowski
sum of a set of edge directions. In the following, we will denote by Z(v1,...,vm) the zonotope

A Novel Method Designing Optimal Observer Gain for Robust Fault Detection

J Tan, X Wang, X Han, W Yang, B Liang - IFAC-PapersOnLine, 2022 - Elsevier
This paper considers the design of optimal gain of set-value observer for robust fault
detection (FD) from a new perspective. Set-based robust FD can be implemented by real-timely …