Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes
DOI10.1145/3575870.3587130OpenAlexW4375851942MaRDI QIDQ6202100
Niklas Kochdumper, Unnamed Author, Stanley Bak
Publication date: 21 February 2024
Published in: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3575870.3587130
formal verificationreachability analysislinear systems with uncertain parameterspolynomial zonotopes
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cites Work
- Unnamed Item
- Unnamed Item
- Control and estimation in linear time-varying systems based on ellipsoidal reachability sets
- Reachability analysis of linear systems using support functions
- Simulation-equivalent reachability of large linear systems with inputs
- Conservative time discretization: a comparative study
- Affine arithmetic: concepts and applications
- Reachable set computation for uncertain time-varying linear systems
- Avoiding geometric intersection operations in reachability analysis of hybrid systems
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
- Flowpipe approximation and clustering in space-time
- A Remark on Stirling's Formula
- Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
- Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices
- Parsimonious, Simulation Based Verification of Linear Systems
- Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
- Overapproximating Reachable Tubes of Linear Time-Varying Systems
- Reachability Analysis of Large Linear Systems With Uncertain Inputs in the Krylov Subspace
- Utilizing dependencies to obtain subsets of reachable sets
- Numerical verification of affine systems with up to a billion dimensions
- Computational techniques for hybrid system verification
- Hybrid Systems: Computation and Control
- Constrained polynomial zonotopes
This page was built for publication: Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes