Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis

DOI10.1109/TAC.2020.3024348zbMath1471.93026arXiv1901.01780MaRDI QIDQ4957696

Niklas Kochdumper, Matthias Althoff

Publication date: 9 September 2021

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1901.01780

zbMATH Keywords

hybrid systemsnonlinear dynamicsreachability analysissparse polynomial zonotopes

Mathematics Subject Classification ID

Nonlinear systems in control theory (93C10) Algebraic methods (93B25) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (13)

Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering ⋮ Geometric control of hybrid systems ⋮ Adaptive parameter tuning for reachability analysis of nonlinear systems ⋮ Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis ⋮ Event-based fault estimation and compensation for discrete-time systems via zonotopes ⋮ Constrained polynomial zonotopes ⋮ Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems ⋮ Towards optimal space-time discretization for reachable sets of nonlinear control systems ⋮ Computation of invariant sets for discrete‐time uncertain systems ⋮ Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes ⋮ Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis ⋮ Towards global neural network abstractions with locally-exact reconstruction ⋮ Adaptive reachability algorithms for nonlinear systems using abstraction error analysis

This page was built for publication: Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis