Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
From MaRDI portal
Publication:4957696
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
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 (12)
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 ⋮ 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
